Trace number 1821689

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 r-2009-03-18? (TO) 1200.01 1199.94

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
MD5SUMe868383f091c36fa9594c670095c9824
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 variables1584
Number of clauses91646
Sum of the clauses size272553
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22569
Number of clauses of size 389054
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.00	c Parsing...
0.03/0.06	c ==============================================================================
0.03/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.03/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.03/0.06	c ==============================================================================
0.03/0.06	c |         0 |   91646   272553 |   27493       0        0     nan |  0.000 % |
0.62/0.66	c |         0 |   90841   386353 |      --       0       --      -- |     --   | -805/113800
0.62/0.66	c ==============================================================================
0.62/0.66	c Result  :   #vars: 958   #clauses: 90841   #literals: 386353
0.62/0.66	c CPU time:   0.66 s
0.62/0.66	c ==============================================================================
0.72/0.78	c This is MiniSat 2.0 beta
0.72/0.78	c WARNING: for repeatability, setting FPU to use double precision
0.72/0.78	c ============================[ Problem Statistics ]=============================
0.72/0.78	c |                                                                             |
0.72/0.78	c |  Number of variables:  958                                                  |
0.72/0.78	c |  Number of clauses:    90841                                                |
0.79/0.84	c |  Parsing time:         0.04         s                                       |
0.79/0.84	c ============================[ Search Statistics ]==============================
0.79/0.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.84	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.79/0.84	c ===============================================================================
0.79/0.84	c |         0 |     958    90841   386353 |    30280        0    nan |  0.000 % |
0.79/0.97	c |       512 |     958    90841   386353 |    30280      512     43 |  0.000 % |
1.02/1.12	c |      1025 |     958    90841   386353 |    30280     1025     50 |  0.000 % |
1.22/1.24	c |      1538 |     958    90841   386353 |    30280     1538     54 |  0.000 % |
1.72/1.71	c |      2562 |     958    90841   386353 |    30280     2562     56 |  0.000 % |
1.82/1.91	c |      3077 |     958    90841   386353 |    30280     3077     55 |  0.000 % |
2.12/2.16	c |      3590 |     958    90841   386353 |    30280     3590     56 |  0.000 % |
2.62/2.67	c |      4614 |     958    90841   386353 |    30280     4614     55 |  0.000 % |
3.52/3.55	c |      6664 |     958    90841   386353 |    30280     6664     49 |  0.000 % |
3.82/3.82	c |      7176 |     958    90841   386353 |    30280     7176     48 |  0.000 % |
4.12/4.12	c |      7691 |     958    90841   386353 |    30280     7691     47 |  0.000 % |
4.72/4.71	c |      8716 |     958    90841   386353 |    30280     8716     45 |  0.000 % |
5.02/5.01	c |      9228 |     958    90841   386353 |    30280     9228     44 |  0.000 % |
5.32/5.33	c |      9743 |     958    90841   386353 |    30280     9743     43 |  0.000 % |
5.92/5.93	c |     10768 |     958    90841   386353 | 2147483647    10768     42 |  0.001 % |
6.82/6.88	c |     12824 |     958    90841   386353 | 2147483647    12824     40 |  0.000 % |
8.83/8.84	c |     16921 |     958    90841   386353 | 2147483647    16921     37 |  0.000 % |
9.02/9.09	c |     17437 |     958    90841   386353 | 2147483647    17437     37 |  0.000 % |
9.32/9.35	c |     17951 |     958    90841   386353 | 2147483647    17951     37 |  0.000 % |
9.72/9.78	c |     18976 |     958    90841   386353 | 2147483647    18976     36 |  0.000 % |
10.02/10.03	c |     19489 |     958    90841   386353 | 2147483647    19489     36 |  0.000 % |
10.22/10.25	c |     20004 |     958    90841   386353 | 2147483647    20004     36 |  0.000 % |
10.82/10.82	c |     21029 |     958    90841   386353 | 2147483647    21029     37 |  0.000 % |
11.82/11.84	c |     23078 |     958    90841   386353 | 2147483647    23078     40 |  0.000 % |
12.13/12.13	c |     23590 |     958    90841   386353 | 2147483647    23590     40 |  0.000 % |
12.42/12.46	c |     24103 |     958    90841   386353 | 2147483647    24103     41 |  0.000 % |
13.12/13.13	c |     25127 |     958    90841   386353 | 2147483647    25127     41 |  0.000 % |
13.42/13.48	c |     25640 |     958    90841   386353 | 2147483647    25640     41 |  0.000 % |
13.62/13.67	c |     26153 |     958    90841   386353 | 2147483647    26153     41 |  0.000 % |
14.02/14.06	c |     27180 |     958    90841   386353 | 2147483647    27180     42 |  0.000 % |
14.62/14.69	c |     29229 |     958    90841   386353 | 2147483647    29229     44 |  0.000 % |
16.02/16.07	c |     33325 |     958    90841   386353 | 2147483647    33325     46 |  0.000 % |
19.62/19.64	c |     41517 |     958    90841   386353 |    40002    36197     48 |  0.000 % |
19.92/19.97	c |     42030 |     958    90841   386353 |    40002    36710     48 |  0.000 % |
20.22/20.23	c |     42544 |     958    90841   386353 |    40002    37224     49 |  0.000 % |
21.22/21.23	c |     43569 |     958    90841   386353 |    40002    38249     49 |  0.000 % |
21.62/21.62	c |     44081 |     958    90841   386353 |    40002    38761     49 |  0.000 % |
21.92/21.96	c |     44594 |     958    90841   386353 |    40002    39274     49 |  0.000 % |
22.82/22.84	c |     45618 |     958    90841   386353 |    40002    36283     52 |  0.000 % |
24.52/24.55	c |     47667 |     958    90841   386353 |    40002    38332     52 |  0.000 % |
24.92/24.96	c |     48180 |     958    90841   386353 |    40002    38845     52 |  0.000 % |
25.42/25.48	c |     48695 |     958    90841   386353 |    40002    39360     52 |  0.000 % |
26.22/26.22	c |     49721 |     958    90841   386353 |    40002    36373     54 |  0.000 % |
26.52/26.60	c |     50235 |     958    90841   386353 | 2147483647    36887     54 |  0.000 % |
26.92/26.92	c |     50747 |     958    90841   386353 | 2147483647    37399     54 |  0.000 % |
27.42/27.51	c |     51775 |     958    90841   386353 | 2147483647    38427     54 |  0.001 % |
28.72/28.75	c |     53825 |     958    90841   386353 | 2147483647    40477     53 |  0.000 % |
30.92/30.95	c |     57921 |     958    90841   386353 | 2147483647    44573     53 |  0.002 % |
31.42/31.44	c |     58435 |     958    90841   386353 | 2147483647    45087     53 |  0.000 % |
31.82/31.90	c |     58947 |     958    90841   386353 | 2147483647    45599     53 |  0.000 % |
32.62/32.71	c |     59974 |     958    90841   386353 | 2147483647    46626     52 |  0.001 % |
33.12/33.13	c |     60491 |     958    90841   386353 | 2147483647    47143     52 |  0.000 % |
33.52/33.60	c |     61003 |     958    90841   386353 | 2147483647    47655     52 |  0.000 % |
34.42/34.44	c |     62027 |     958    90841   386353 | 2147483647    48679     52 |  0.000 % |
36.52/36.56	c |     64075 |     958    90841   386353 | 2147483647    50727     52 |  0.000 % |
37.02/37.08	c |     64587 |     958    90841   386353 | 2147483647    51239     52 |  0.000 % |
37.52/37.51	c |     65100 |     958    90841   386353 | 2147483647    51752     52 |  0.000 % |
38.22/38.28	c |     66124 |     958    90841   386353 | 2147483647    52776     52 |  0.000 % |
38.72/38.78	c |     66637 |     958    90841   386353 | 2147483647    53289     52 |  0.000 % |
39.22/39.25	c |     67151 |     958    90841   386353 | 2147483647    53803     52 |  0.000 % |
40.23/40.29	c |     68175 |     958    90841   386353 | 2147483647    54827     52 |  0.000 % |
42.13/42.20	c |     70224 |     958    90841   386353 | 2147483647    56876     52 |  0.000 % |
45.53/45.55	c |     74320 |     958    90841   386353 | 2147483647    60972     51 |  0.000 % |
53.13/53.13	c |     82514 |     958    90841   386353 | 2147483647    69166     49 |  0.000 % |
72.33/72.36	c |     98899 |     958    90841   386353 | 2147483647    85551     52 |  0.000 % |
73.03/73.04	c |     99411 |     958    90841   386353 | 2147483647    86063     52 |  0.000 % |
73.73/73.77	c |     99925 |     958    90841   386353 | 2147483647    86577     52 |  0.000 % |
75.03/75.11	c |    100950 |     958    90841   386353 |    86653    78923     53 |  0.000 % |
75.63/75.69	c |    101462 |     958    90841   386353 |    86653    79435     53 |  0.000 % |
76.33/76.36	c |    101974 |     958    90841   386353 |    86653    79947     53 |  0.000 % |
77.53/77.58	c |    102998 |     958    90841   386353 |    86653    80971     52 |  0.000 % |
80.03/80.07	c |    105046 |     958    90841   386353 |    86653    83019     52 |  0.000 % |
80.73/80.74	c |    105562 |     958    90841   386353 |    86653    83535     52 |  0.000 % |
81.33/81.41	c |    106075 |     958    90841   386353 |    86653    84048     52 |  0.000 % |
82.73/82.74	c |    107100 |     958    90841   386353 |    86653    85073     52 |  0.000 % |
83.33/83.36	c |    107612 |     958    90841   386353 |    86653    85585     52 |  0.000 % |
83.93/83.95	c |    108124 |     958    90841   386353 |    86653    86097     52 |  0.000 % |
85.33/85.35	c |    109149 |     958    90841   386353 |    86653    78447     51 |  0.000 % |
87.83/87.90	c |    111200 |     958    90841   386353 | 2147483647    80498     52 |  0.000 % |
91.43/91.51	c |    115296 |     958    90841   386353 | 2147483647    84594     52 |  0.000 % |
92.03/92.03	c |    115809 |     958    90841   386353 | 2147483647    85107     52 |  0.000 % |
92.73/92.76	c |    116322 |     958    90841   386353 | 2147483647    85620     52 |  0.000 % |
93.73/93.81	c |    117346 |     958    90841   386353 | 2147483647    86644     52 |  0.000 % |
94.23/94.23	c |    117858 |     958    90841   386353 | 2147483647    87156     52 |  0.000 % |
94.63/94.70	c |    118370 |     958    90841   386353 | 2147483647    87668     52 |  0.000 % |
95.33/95.39	c |    119396 |     958    90841   386353 | 2147483647    88694     52 |  0.000 % |
97.73/97.74	c |    121444 |     958    90841   386353 | 2147483647    90742     53 |  0.000 % |
98.13/98.18	c |    121956 |     958    90841   386353 | 2147483647    91254     53 |  0.000 % |
98.83/98.89	c |    122468 |     958    90841   386353 | 2147483647    91766     52 |  0.000 % |
100.33/100.37	c |    123494 |     958    90841   386353 | 2147483647    92792     52 |  0.000 % |
100.93/100.99	c |    124009 |     958    90841   386353 | 2147483647    93307     52 |  0.000 % |
101.63/101.67	c |    124523 |     958    90841   386353 | 2147483647    93821     52 |  0.000 % |
102.93/102.96	c |    125547 |     958    90841   386353 | 2147483647    94845     53 |  0.000 % |
105.23/105.25	c |    127595 |     958    90841   386353 | 2147483647    96893     53 |  0.000 % |
109.83/109.86	c |    131692 |     958    90841   386353 |    99300    85711     53 |  0.000 % |
116.13/116.17	c |    139885 |     958    90841   386353 |    99300    93904     54 |  0.000 % |
116.83/116.85	c |    140397 |     958    90841   386353 |    94020    72245     55 |  0.000 % |
117.23/117.26	c |    140911 |     958    90841   386353 |    94020    72759     55 |  0.000 % |
117.93/118.01	c |    141935 |     958    90841   386353 |    94020    73783     55 |  0.000 % |
118.43/118.48	c |    142449 |     958    90841   386353 |    94020    74297     55 |  0.000 % |
119.03/119.05	c |    142962 |     958    90841   386353 |    94020    74810     55 |  0.000 % |
119.83/119.86	c |    143987 |     958    90841   386353 |    94020    75835     55 |  0.000 % |
121.83/121.89	c |    146037 |     958    90841   386353 |    94020    77885     56 |  0.000 % |
122.53/122.53	c |    146549 |     958    90841   386353 |    94020    78397     56 |  0.000 % |
123.13/123.22	c |    147061 |     958    90841   386353 |    94020    78909     56 |  0.000 % |
124.53/124.53	c |    148088 |     958    90841   386353 |    94020    79936     56 |  0.000 % |
125.13/125.20	c |    148603 |     958    90841   386353 |    94020    80451     56 |  0.000 % |
125.63/125.66	c |    149115 |     958    90841   386353 |    94020    80963     56 |  0.000 % |
126.63/126.71	c |    150140 |     958    90841   386353 |    81848    81988     56 |  0.000 % |
128.74/128.78	c |    152189 |     958    90841   386353 |    81848    63451     59 |  0.000 % |
132.83/132.85	c |    156286 |     958    90841   386353 |    81848    67548     59 |  0.001 % |
133.53/133.55	c |    156802 |     958    90841   386353 |    81848    68064     59 |  0.000 % |
134.13/134.14	c |    157314 |     958    90841   386353 |    81848    68576     59 |  0.000 % |
135.23/135.25	c |    158338 |     958    90841   386353 |    81848    69600     59 |  0.000 % |
135.73/135.79	c |    158850 |     958    90841   386353 |    81848    70112     59 |  0.000 % |
136.23/136.27	c |    159363 |     958    90841   386353 |    81848    70625     59 |  0.000 % |
137.54/137.60	c |    160388 |     958    90841   386353 |    71262    50684     61 |  0.000 % |
140.03/140.06	c |    162437 |     958    90841   386353 |    71262    52733     61 |  0.000 % |
140.53/140.58	c |    162949 |     958    90841   386353 |    71262    53245     61 |  0.000 % |
140.93/140.99	c |    163461 |     958    90841   386353 |    71262    53757     61 |  0.000 % |
142.53/142.55	c |    164488 |     958    90841   386353 |    71262    54784     61 |  0.000 % |
143.33/143.37	c |    165000 |     958    90841   386353 |    71262    55296     61 |  0.000 % |
144.03/144.09	c |    165513 |     958    90841   386353 |    71262    55809     61 |  0.000 % |
145.13/145.13	c |    166538 |     958    90841   386353 |    71262    56834     61 |  0.000 % |
147.73/147.81	c |    168587 |     958    90841   386353 |    71262    58883     62 |  0.000 % |
152.53/152.53	c |    172683 |     958    90841   386353 |    60297    50936     63 |  0.000 % |
161.83/161.81	c |    180878 |     958    90841   386353 | 2147483647    59131     62 |  0.000 % |
183.63/183.64	c |    197265 |     958    90841   386353 | 2147483647    75518     59 |  0.000 % |
234.53/234.60	c |    230039 |     958    90841   386353 |    85717    85756     54 |  0.000 % |
235.44/235.46	c |    230551 |     958    90841   386353 |    85717    77014     53 |  0.000 % |
236.03/236.09	c |    231063 |     958    90841   386353 |    85717    77526     53 |  0.000 % |
237.03/237.05	c |    232088 |     958    90841   386353 |    85717    78551     54 |  0.000 % |
237.43/237.41	c |    232602 |     958    90841   386353 |    85717    79065     54 |  0.000 % |
237.83/237.90	c |    233114 |     958    90841   386353 |    85717    79577     54 |  0.000 % |
238.93/238.94	c |    234138 |     958    90841   386353 |    85717    80601     54 |  0.000 % |
240.43/240.50	c |    236186 |     958    90841   386353 |    85717    82649     54 |  0.000 % |
241.03/241.08	c |    236698 |     958    90841   386353 |    85717    83161     54 |  0.000 % |
241.63/241.61	c |    237211 |     958    90841   386353 |    85717    83674     54 |  0.000 % |
242.43/242.45	c |    238235 |     958    90841   386353 |    85717    84698     54 |  0.000 % |
242.93/242.98	c |    238747 |     958    90841   386353 |    85717    85210     54 |  0.000 % |
243.43/243.50	c |    239259 |     958    90841   386353 |    85717    85722     54 |  0.000 % |
245.43/245.44	c |    240283 |     958    90841   386353 |    67672    53021     53 |  0.000 % |
248.03/248.03	c |    242332 |     958    90841   386353 |    67672    55070     53 |  0.000 % |
252.63/252.65	c |    246428 |     958    90841   386353 |    67672    59166     54 |  0.000 % |
252.93/252.97	c |    246941 |     958    90841   386353 |    67672    59679     54 |  0.000 % |
253.63/253.62	c |    247453 |     958    90841   386353 |    67672    60191     54 |  0.000 % |
254.93/254.99	c |    248479 |     958    90841   386353 |    67672    61217     54 |  0.000 % |
255.53/255.58	c |    248991 |     958    90841   386353 |    67672    61729     54 |  0.000 % |
256.03/256.01	c |    249503 |     958    90841   386353 |    67672    62241     54 |  0.000 % |
258.23/258.27	c |    250528 |     958    90841   386353 |    62738    45801     57 |  0.000 % |
261.33/261.31	c |    252577 |     958    90841   386353 |    62738    47850     57 |  0.000 % |
262.03/262.08	c |    253089 |     958    90841   386353 |    62738    48362     57 |  0.000 % |
262.83/262.91	c |    253601 |     958    90841   386353 |    62738    48874     57 |  0.000 % |
264.23/264.28	c |    254625 |     958    90841   386353 |    62738    49898     57 |  0.000 % |
265.03/265.04	c |    255137 |     958    90841   386353 |    62738    50410     57 |  0.000 % |
266.03/266.04	c |    255650 |     958    90841   386353 |    62738    50923     57 |  0.000 % |
268.03/268.07	c |    256676 |     958    90841   386353 |    62738    51949     57 |  0.000 % |
272.13/272.19	c |    258725 |     958    90841   386353 |    62738    53998     57 |  0.000 % |
275.63/275.63	c |    262821 |     958    90841   386353 |    55273    39260     59 |  0.000 % |
291.74/291.78	c |    271014 |     958    90841   386353 |    46439    28274     59 |  0.000 % |
292.34/292.40	c |    271528 |     958    90841   386353 |    46439    28788     59 |  0.000 % |
292.94/292.99	c |    272044 |     958    90841   386353 |    46439    29304     60 |  0.000 % |
294.44/294.46	c |    273068 |     958    90841   386353 |    46439    30328     60 |  0.000 % |
294.84/294.84	c |    273580 |     958    90841   386353 |    46439    30840     60 |  0.000 % |
295.64/295.65	c |    274092 |     958    90841   386353 |    46439    31352     60 |  0.000 % |
296.74/296.81	c |    275117 |     958    90841   386353 |    46439    32377     60 |  0.000 % |
298.74/298.78	c |    277165 |     958    90841   386353 |    46439    34425     60 |  0.000 % |
299.04/299.10	c |    277677 |     958    90841   386353 |    46439    34937     60 |  0.000 % |
299.34/299.39	c |    278189 |     958    90841   386353 |    46439    35449     60 |  0.000 % |
300.04/300.08	c |    279214 |     958    90841   386353 |    46439    36474     59 |  0.000 % |
300.44/300.47	c |    279726 |     958    90841   386353 |    46439    36986     59 |  0.000 % |
300.84/300.87	c |    280238 |     958    90841   386353 | 2147483647    37498     59 |  0.000 % |
301.64/301.62	c |    281263 |     958    90841   386353 | 2147483647    38523     59 |  0.000 % |
304.04/304.08	c |    283311 |     958    90841   386353 | 2147483647    40571     58 |  0.000 % |
308.84/308.85	c |    287407 |     958    90841   386353 | 2147483647    44667     57 |  0.000 % |
309.24/309.24	c |    287920 |     958    90841   386353 | 2147483647    45180     57 |  0.000 % |
309.74/309.79	c |    288434 |     958    90841   386353 | 2147483647    45694     57 |  0.000 % |
311.44/311.44	c |    289460 |     958    90841   386353 | 2147483647    46720     57 |  0.000 % |
312.04/312.05	c |    289973 |     958    90841   386353 | 2147483647    47233     57 |  0.000 % |
312.84/312.83	c |    290485 |     958    90841   386353 | 2147483647    47745     57 |  0.000 % |
313.64/313.63	c |    291511 |     958    90841   386353 | 2147483647    48771     56 |  0.000 % |
317.24/317.28	c |    293560 |     958    90841   386353 | 2147483647    50820     57 |  0.000 % |
317.94/317.92	c |    294072 |     958    90841   386353 | 2147483647    51332     57 |  0.000 % |
318.64/318.70	c |    294584 |     958    90841   386353 | 2147483647    51844     57 |  0.000 % |
320.64/320.68	c |    295608 |     958    90841   386353 | 2147483647    52868     57 |  0.000 % |
321.44/321.43	c |    296120 |     958    90841   386353 | 2147483647    53380     57 |  0.000 % |
322.24/322.22	c |    296635 |     958    90841   386353 | 2147483647    53895     57 |  0.000 % |
324.34/324.39	c |    297659 |     958    90841   386353 | 2147483647    54919     58 |  0.000 % |
327.54/327.60	c |    299709 |     958    90841   386353 | 2147483647    56969     58 |  0.000 % |
331.94/331.97	c |    303807 |     958    90841   386353 |    57260    50880     58 |  0.000 % |
340.64/340.71	c |    311999 |     958    90841   386353 |    57076    52243     58 |  0.000 % |
359.14/359.16	c |    328384 |     958    90841   386353 | 2147483647    62908     58 |  0.000 % |
359.84/359.85	c |    328896 |     958    90841   386353 | 2147483647    63420     58 |  0.000 % |
360.44/360.51	c |    329411 |     958    90841   386353 | 2147483647    63935     58 |  0.000 % |
361.74/361.80	c |    330435 |     958    90841   386353 | 2147483647    64959     58 |  0.000 % |
362.34/362.39	c |    330950 |     958    90841   386353 | 2147483647    65474     58 |  0.000 % |
362.94/363.01	c |    331463 |     958    90841   386353 | 2147483647    65987     58 |  0.000 % |
364.04/364.04	c |    332487 |     958    90841   386353 | 2147483647    67011     58 |  0.000 % |
365.84/365.88	c |    334538 |     958    90841   386353 | 2147483647    69062     57 |  0.000 % |
366.54/366.53	c |    335054 |     958    90841   386353 | 2147483647    69578     57 |  0.000 % |
367.74/367.77	c |    335567 |     958    90841   386353 | 2147483647    70091     57 |  0.000 % |
370.14/370.15	c |    336591 |     958    90841   386353 | 2147483647    71115     57 |  0.000 % |
371.04/371.11	c |    337103 |     958    90841   386353 | 2147483647    71627     57 |  0.000 % |
372.04/372.08	c |    337615 |     958    90841   386353 | 2147483647    72139     57 |  0.000 % |
373.34/373.41	c |    338639 |     958    90841   386353 | 2147483647    73163     57 |  0.000 % |
376.34/376.31	c |    340687 |     958    90841   386353 |    74524    66032     57 |  0.000 % |
382.24/382.27	c |    344783 |     958    90841   386353 |    74524    70128     56 |  0.000 % |
383.04/383.06	c |    345295 |     958    90841   386353 |    74524    70640     56 |  0.000 % |
383.64/383.67	c |    345807 |     958    90841   386353 |    74524    71152     56 |  0.000 % |
385.24/385.29	c |    346831 |     958    90841   386353 |    74524    72176     56 |  0.000 % |
386.15/386.14	c |    347344 |     958    90841   386353 |    74524    72689     56 |  0.000 % |
386.64/386.63	c |    347858 |     958    90841   386353 |    74524    73203     56 |  0.000 % |
388.14/388.13	c |    348883 |     958    90841   386353 |    74524    74228     56 |  0.000 % |
390.44/390.50	c |    350931 |     958    90841   386353 |    65631    58797     56 |  0.000 % |
391.04/391.03	c |    351444 |     958    90841   386353 |    65631    59310     56 |  0.001 % |
391.54/391.54	c |    351957 |     958    90841   386353 |    65631    59823     56 |  0.000 % |
392.54/392.58	c |    352984 |     958    90841   386353 |    65631    60850     56 |  0.000 % |
393.04/393.06	c |    353496 |     958    90841   386353 |    65631    61362     55 |  0.000 % |
393.85/393.86	c |    354009 |     958    90841   386353 |    65631    61875     55 |  0.000 % |
394.84/394.82	c |    355033 |     958    90841   386353 |    65631    62899     55 |  0.000 % |
396.74/396.80	c |    357082 |     958    90841   386353 |    65631    64948     56 |  0.000 % |
403.24/403.21	c |    361178 |     958    90841   386353 | 2147483647    62466     54 |  0.000 % |
409.34/409.36	c |    369372 |     958    90841   386353 | 2147483647    70660     54 |  0.000 % |
410.04/410.08	c |    369887 |     958    90841   386353 | 2147483647    71175     54 |  0.000 % |
410.74/410.72	c |    370399 |     958    90841   386353 | 2147483647    71687     53 |  0.000 % |
411.84/411.88	c |    371426 |     958    90841   386353 | 2147483647    72714     53 |  0.000 % |
412.24/412.25	c |    371938 |     958    90841   386353 | 2147483647    73226     53 |  0.000 % |
412.74/412.78	c |    372453 |     958    90841   386353 | 2147483647    73741     53 |  0.000 % |
413.94/414.00	c |    373477 |     958    90841   386353 | 2147483647    74765     53 |  0.000 % |
416.15/416.14	c |    375525 |     958    90841   386353 | 2147483647    76813     52 |  0.000 % |
416.85/416.91	c |    376037 |     958    90841   386353 | 2147483647    77325     52 |  0.000 % |
417.95/417.96	c |    376552 |     958    90841   386353 | 2147483647    77840     52 |  0.000 % |
419.55/419.59	c |    377576 |     958    90841   386353 | 2147483647    78864     52 |  0.000 % |
420.25/420.22	c |    378090 |     958    90841   386353 | 2147483647    79378     52 |  0.000 % |
421.05/421.07	c |    378602 |     958    90841   386353 | 2147483647    79890     53 |  0.000 % |
422.75/422.78	c |    379628 |     958    90841   386353 | 2147483647    80916     53 |  0.000 % |
426.55/426.57	c |    381676 |     958    90841   386353 | 2147483647    82964     53 |  0.000 % |
432.45/432.44	c |    385772 |     958    90841   386353 | 2147483647    87060     53 |  0.000 % |
433.05/433.04	c |    386285 |     958    90841   386353 | 2147483647    87573     53 |  0.000 % |
433.95/433.97	c |    386799 |     958    90841   386353 | 2147483647    88087     53 |  0.000 % |
435.25/435.27	c |    387823 |     958    90841   386353 | 2147483647    89111     53 |  0.000 % |
435.75/435.79	c |    388336 |     958    90841   386353 | 2147483647    89624     53 |  0.000 % |
436.65/436.63	c |    388848 |     958    90841   386353 | 2147483647    90136     53 |  0.000 % |
437.85/437.86	c |    389872 |     958    90841   386353 | 2147483647    91160     53 |  0.000 % |
440.05/440.05	c |    391920 |     958    90841   386353 |    91290    83747     52 |  0.000 % |
440.55/440.52	c |    392433 |     958    90841   386353 |    91290    84260     52 |  0.000 % |
440.95/440.98	c |    392945 |     958    90841   386353 |    91290    84772     52 |  0.000 % |
442.05/442.06	c |    393970 |     958    90841   386353 |    91290    85797     52 |  0.000 % |
442.55/442.59	c |    394483 |     958    90841   386353 |    91290    86310     52 |  0.000 % |
443.15/443.14	c |    394995 |     958    90841   386353 |    91290    86822     52 |  0.000 % |
443.95/444.00	c |    396019 |     958    90841   386353 |    91290    87846     52 |  0.000 % |
445.75/445.81	c |    398068 |     958    90841   386353 |    91290    89895     52 |  0.000 % |
450.05/450.09	c |    402164 |     958    90841   386353 | 2147483647    84851     52 |  0.000 % |
457.75/457.80	c |    410358 |     958    90841   386353 | 2147483647    93045     52 |  0.000 % |
475.05/475.06	c |    426742 |     958    90841   386353 | 2147483647   109429     52 |  0.000 % |
520.55/520.57	c |    459513 |     958    90841   386353 |   132687   126764     52 |  0.000 % |
606.15/606.18	c |    525050 |     958    90841   386353 |    66946    57388     64 |  0.000 % |
606.85/606.85	c |    525563 |     958    90841   386353 |    66946    57901     64 |  0.000 % |
607.55/607.59	c |    526076 |     958    90841   386353 |    66946    58414     64 |  0.000 % |
608.65/608.66	c |    527103 |     958    90841   386353 |    66946    59441     64 |  0.000 % |
609.55/609.58	c |    527616 |     958    90841   386353 |    66946    59954     64 |  0.000 % |
610.35/610.39	c |    528129 |     958    90841   386353 |    66946    60467     64 |  0.000 % |
611.85/611.86	c |    529153 |     958    90841   386353 |    66946    61491     64 |  0.000 % |
614.55/614.59	c |    531201 |     958    90841   386353 |    62338    53876     63 |  0.000 % |
615.35/615.38	c |    531714 |     958    90841   386353 |    62338    54389     63 |  0.000 % |
616.15/616.13	c |    532226 |     958    90841   386353 |    62338    54901     63 |  0.000 % |
617.35/617.37	c |    533250 |     958    90841   386353 |    62338    55925     63 |  0.000 % |
617.95/617.92	c |    533764 |     958    90841   386353 |    62338    56439     63 |  0.000 % |
618.55/618.59	c |    534279 |     958    90841   386353 |    62338    56954     62 |  0.000 % |
619.85/619.84	c |    535303 |     958    90841   386353 |    62338    57978     62 |  0.000 % |
622.25/622.27	c |    537355 |     958    90841   386353 |    62338    60030     61 |  0.000 % |
626.55/626.59	c |    541453 |     958    90841   386353 | 2147483647    57883     59 |  0.000 % |
627.15/627.11	c |    541966 |     958    90841   386353 | 2147483647    58396     59 |  0.000 % |
627.75/627.79	c |    542478 |     958    90841   386353 | 2147483647    58908     58 |  0.000 % |
628.95/628.99	c |    543504 |     958    90841   386353 | 2147483647    59934     58 |  0.000 % |
629.95/629.91	c |    544016 |     958    90841   386353 | 2147483647    60446     58 |  0.000 % |
630.36/630.34	c |    544528 |     958    90841   386353 | 2147483647    60958     58 |  0.000 % |
633.35/633.36	c |    545552 |     958    90841   386353 | 2147483647    61982     58 |  0.000 % |
638.15/638.13	c |    547601 |     958    90841   386353 | 2147483647    64031     58 |  0.000 % |
639.95/639.99	c |    548115 |     958    90841   386353 | 2147483647    64545     58 |  0.000 % |
641.25/641.29	c |    548627 |     958    90841   386353 | 2147483647    65057     58 |  0.000 % |
643.15/643.20	c |    549655 |     958    90841   386353 | 2147483647    66085     58 |  0.000 % |
644.66/644.63	c |    550168 |     958    90841   386353 | 2147483647    66598     58 |  0.000 % |
645.65/645.67	c |    550680 |     958    90841   386353 | 2147483647    67110     58 |  0.000 % |
647.65/647.62	c |    551710 |     958    90841   386353 | 2147483647    68140     57 |  0.000 % |
650.55/650.57	c |    553760 |     958    90841   386353 | 2147483647    70190     57 |  0.000 % |
657.75/657.71	c |    557856 |     958    90841   386353 | 2147483647    74286     57 |  0.000 % |
670.66/670.67	c |    566049 |     958    90841   386353 |    76432    71760     53 |  0.000 % |
671.56/671.61	c |    566564 |     958    90841   386353 |    76432    72275     53 |  0.000 % |
672.56/672.55	c |    567080 |     958    90841   386353 |    76432    72791     53 |  0.000 % |
673.86/673.85	c |    568105 |     958    90841   386353 |    76432    73816     53 |  0.000 % |
674.46/674.48	c |    568617 |     958    90841   386353 |    76432    74328     53 |  0.000 % |
674.86/674.89	c |    569130 |     958    90841   386353 |    76432    74841     53 |  0.000 % |
675.96/675.93	c |    570155 |     958    90841   386353 | 2147483647    75866     53 |  0.000 % |
677.96/677.99	c |    572206 |     958    90841   386353 | 2147483647    77917     53 |  0.000 % |
678.66/678.64	c |    572718 |     958    90841   386353 | 2147483647    78429     53 |  0.000 % |
679.26/679.30	c |    573232 |     958    90841   386353 | 2147483647    78943     53 |  0.000 % |
680.46/680.48	c |    574256 |     958    90841   386353 | 2147483647    79967     53 |  0.000 % |
681.16/681.21	c |    574769 |     958    90841   386353 | 2147483647    80480     53 |  0.000 % |
681.76/681.79	c |    575282 |     958    90841   386353 | 2147483647    80993     53 |  0.000 % |
683.36/683.36	c |    576306 |     958    90841   386353 | 2147483647    82017     53 |  0.000 % |
686.06/686.04	c |    578354 |     958    90841   386353 | 2147483647    84065     53 |  0.000 % |
691.56/691.56	c |    582450 |     958    90841   386353 |    85711    70661     51 |  0.000 % |
692.26/692.27	c |    582964 |     958    90841   386353 |    85711    71175     51 |  0.000 % |
692.86/692.86	c |    583476 |     958    90841   386353 |    85711    71687     51 |  0.000 % |
693.56/693.59	c |    584500 |     958    90841   386353 |    85711    72711     51 |  0.000 % |
694.26/694.29	c |    585013 |     958    90841   386353 |    85711    73224     52 |  0.000 % |
694.86/694.88	c |    585525 |     958    90841   386353 |    85711    73736     52 |  0.000 % |
696.26/696.28	c |    586549 |     958    90841   386353 |    85711    74760     52 |  0.000 % |
698.06/698.06	c |    588597 |     958    90841   386353 |    85711    76808     53 |  0.000 % |
698.96/698.94	c |    589110 |     958    90841   386353 |    85711    77321     53 |  0.000 % |
699.56/699.59	c |    589622 |     958    90841   386353 |    85711    77833     53 |  0.000 % |
700.96/700.95	c |    590648 |     958    90841   386353 |    78211    63048     50 |  0.000 % |
701.46/701.48	c |    591161 |     958    90841   386353 |    78211    63561     50 |  0.000 % |
701.96/701.97	c |    591674 |     958    90841   386353 |    78211    64074     50 |  0.000 % |
703.06/703.01	c |    592698 |     958    90841   386353 |    78211    65098     50 |  0.000 % |
704.86/704.90	c |    594747 |     958    90841   386353 |    78211    67147     50 |  0.000 % |
709.16/709.16	c |    598843 |     958    90841   386353 |    78211    71243     49 |  0.000 % |
717.36/717.35	c |    607035 |     958    90841   386353 | 2147483647    79435     47 |  0.001 % |
734.36/734.33	c |    623422 |     958    90841   386353 | 2147483647    95822     50 |  0.000 % |
734.86/734.84	c |    623934 |     958    90841   386353 | 2147483647    96334     50 |  0.000 % |
735.46/735.42	c |    624446 |     958    90841   386353 | 2147483647    96846     50 |  0.000 % |
736.36/736.39	c |    625471 |     958    90841   386353 | 2147483647    97871     50 |  0.000 % |
736.96/736.93	c |    625987 |     958    90841   386353 | 2147483647    98387     50 |  0.000 % |
737.46/737.42	c |    626499 |     958    90841   386353 | 2147483647    98899     50 |  0.000 % |
738.66/738.65	c |    627526 |     958    90841   386353 | 2147483647    99926     50 |  0.000 % |
741.06/741.08	c |    629574 |     958    90841   386353 | 2147483647   101974     50 |  0.000 % |
741.86/741.90	c |    630086 |     958    90841   386353 | 2147483647   102486     50 |  0.000 % |
742.57/742.54	c |    630598 |     958    90841   386353 | 2147483647   102998     50 |  0.000 % |
744.06/744.03	c |    631622 |     958    90841   386353 | 2147483647   104022     50 |  0.000 % |
744.66/744.65	c |    632135 |     958    90841   386353 | 2147483647   104535     50 |  0.000 % |
745.36/745.31	c |    632648 |     958    90841   386353 | 2147483647   105048     50 |  0.000 % |
746.46/746.48	c |    633672 |     958    90841   386353 | 2147483647   106072     50 |  0.000 % |
748.16/748.14	c |    635720 |     958    90841   386353 | 2147483647   108120     50 |  0.000 % |
752.06/752.01	c |    639817 |     958    90841   386353 | 2147483647   112217     50 |  0.000 % |
752.96/752.93	c |    640330 |     958    90841   386353 |   112400    96079     51 |  0.000 % |
753.76/753.76	c |    640842 |     958    90841   386353 |   112400    96591     51 |  0.000 % |
754.86/754.85	c |    641866 |     958    90841   386353 |   112400    97615     51 |  0.000 % |
755.36/755.36	c |    642378 |     958    90841   386353 |   112400    98127     52 |  0.000 % |
756.06/756.10	c |    642893 |     958    90841   386353 |   112400    98642     52 |  0.000 % |
756.96/756.98	c |    643917 |     958    90841   386353 |   112400    99666     52 |  0.000 % |
758.66/758.62	c |    645965 |     958    90841   386353 |   112400   101714     52 |  0.000 % |
759.36/759.38	c |    646478 |     958    90841   386353 |   112400   102227     52 |  0.000 % |
759.96/759.96	c |    646991 |     958    90841   386353 |   112400   102740     52 |  0.000 % |
761.06/761.02	c |    648015 |     958    90841   386353 |   112400   103764     52 |  0.000 % |
761.76/761.77	c |    648528 |     958    90841   386353 |   112400   104277     52 |  0.000 % |
762.56/762.52	c |    649041 |     958    90841   386353 |   112400   104790     52 |  0.000 % |
763.86/763.84	c |    650065 |     958    90841   386353 |   105749   105814     52 |  0.000 % |
766.56/766.58	c |    652114 |     958    90841   386353 |   105749    82109     55 |  0.000 % |
771.76/771.71	c |    656213 |     958    90841   386353 |   105749    86208     54 |  0.000 % |
780.76/780.78	c |    664406 |     958    90841   386353 |    89995    83742     52 |  0.000 % |
781.46/781.45	c |    664920 |     958    90841   386353 |    89995    84256     52 |  0.000 % |
782.06/782.05	c |    665432 |     958    90841   386353 |    89995    84768     52 |  0.000 % |
783.36/783.31	c |    666457 |     958    90841   386353 |    89995    85793     52 |  0.000 % |
783.86/783.87	c |    666969 |     958    90841   386353 |    89995    86305     52 |  0.000 % |
784.56/784.55	c |    667485 |     958    90841   386353 |    89995    86821     51 |  0.000 % |
785.86/785.81	c |    668510 |     958    90841   386353 |    89995    87846     51 |  0.000 % |
788.86/788.84	c |    670558 |     958    90841   386353 | 2147483647    89894     52 |  0.000 % |
789.66/789.63	c |    671071 |     958    90841   386353 | 2147483647    90407     52 |  0.000 % |
790.26/790.25	c |    671584 |     958    90841   386353 | 2147483647    90920     52 |  0.000 % |
791.47/791.50	c |    672609 |     958    90841   386353 | 2147483647    91945     52 |  0.000 % |
792.17/792.21	c |    673122 |     958    90841   386353 | 2147483647    92458     52 |  0.000 % |
792.87/792.82	c |    673634 |     958    90841   386353 | 2147483647    92970     52 |  0.000 % |
793.97/793.98	c |    674658 |     958    90841   386353 | 2147483647    93994     52 |  0.000 % |
796.27/796.25	c |    676710 |     958    90841   386353 | 2147483647    96046     52 |  0.000 % |
801.17/801.15	c |    680806 |     958    90841   386353 |    99337    80071     53 |  0.000 % |
801.77/801.74	c |    681319 |     958    90841   386353 |    99337    80584     53 |  0.000 % |
802.07/802.10	c |    681833 |     958    90841   386353 |    99337    81098     53 |  0.000 % |
802.77/802.77	c |    682857 |     958    90841   386353 |    99337    82122     54 |  0.000 % |
803.17/803.20	c |    683369 |     958    90841   386353 |    99337    82634     54 |  0.000 % |
803.67/803.63	c |    683881 |     958    90841   386353 |    99337    83146     54 |  0.000 % |
804.47/804.44	c |    684905 |     958    90841   386353 |    99337    84170     54 |  0.000 % |
806.47/806.44	c |    686957 |     958    90841   386353 |    99337    86222     54 |  0.000 % |
806.97/806.93	c |    687470 |     958    90841   386353 |    99337    86735     54 |  0.000 % |
807.77/807.81	c |    687983 |     958    90841   386353 |    99337    87248     54 |  0.000 % |
809.47/809.50	c |    689009 |     958    90841   386353 |    99337    88274     54 |  0.000 % |
810.27/810.28	c |    689521 |     958    90841   386353 |    99337    88786     54 |  0.000 % |
811.17/811.20	c |    690037 |     958    90841   386353 |    89266    89302     54 |  0.000 % |
812.87/812.82	c |    691065 |     958    90841   386353 |    89266    68922     53 |  0.000 % |
815.47/815.48	c |    693113 |     958    90841   386353 |    89266    70970     54 |  0.000 % |
819.97/819.93	c |    697210 |     958    90841   386353 |    89266    75067     54 |  0.000 % |
827.67/827.71	c |    705404 |     958    90841   386353 |    77857    66066     55 |  0.000 % |
840.87/840.90	c |    721790 |     958    90841   386353 |    59435    42969     60 |  0.000 % |
871.37/871.36	c |    754558 |     958    90841   386353 |    35786    26986     65 |  0.000 % |
871.67/871.68	c |    755075 |     958    90841   386353 |    35786    27503     65 |  0.000 % |
872.07/872.01	c |    755588 |     958    90841   386353 |    35786    28016     65 |  0.000 % |
872.77/872.76	c |    756612 |     958    90841   386353 |    35786    29040     65 |  0.000 % |
873.17/873.19	c |    757124 |     958    90841   386353 |    35786    29552     65 |  0.000 % |
873.67/873.67	c |    757636 |     958    90841   386353 |    35786    30064     65 |  0.000 % |
874.47/874.43	c |    758662 |     958    90841   386353 |    35786    31090     65 |  0.000 % |
876.37/876.38	c |    760710 |     958    90841   386353 |    32429    26412     63 |  0.000 % |
876.87/876.88	c |    761222 |     958    90841   386353 |    32429    26924     63 |  0.000 % |
877.27/877.30	c |    761735 |     958    90841   386353 |    32429    27437     63 |  0.000 % |
878.07/878.07	c |    762759 |     958    90841   386353 |    32429    28461     63 |  0.000 % |
878.47/878.42	c |    763272 |     958    90841   386353 |    32429    28974     62 |  0.000 % |
878.87/878.84	c |    763784 |     958    90841   386353 |    32429    29486     62 |  0.000 % |
879.57/879.56	c |    764809 |     958    90841   386353 |    32429    30511     62 |  0.000 % |
880.97/880.98	c |    766857 |     958    90841   386353 |    32429    32559     61 |  0.000 % |
883.97/883.94	c |    770953 |     958    90841   386353 | 2147483647    33400     59 |  0.000 % |
884.27/884.30	c |    771466 |     958    90841   386353 | 2147483647    33913     59 |  0.000 % |
884.67/884.68	c |    771978 |     958    90841   386353 | 2147483647    34425     59 |  0.000 % |
885.58/885.53	c |    773004 |     958    90841   386353 | 2147483647    35451     59 |  0.000 % |
885.97/886.00	c |    773516 |     958    90841   386353 | 2147483647    35963     59 |  0.000 % |
886.47/886.44	c |    774028 |     958    90841   386353 | 2147483647    36475     60 |  0.000 % |
887.17/887.17	c |    775053 |     958    90841   386353 | 2147483647    37500     60 |  0.000 % |
888.67/888.66	c |    777105 |     958    90841   386353 | 2147483647    39552     60 |  0.000 % |
889.17/889.19	c |    777617 |     958    90841   386353 | 2147483647    40064     60 |  0.000 % |
889.47/889.46	c |    778130 |     958    90841   386353 | 2147483647    40577     59 |  0.000 % |
889.98/889.98	c |    779156 |     958    90841   386353 | 2147483647    41603     59 |  0.000 % |
890.27/890.23	c |    779668 |     958    90841   386353 | 2147483647    42115     59 |  0.000 % |
890.47/890.48	c |    780182 |     958    90841   386353 | 2147483647    42629     58 |  0.000 % |
890.87/890.85	c |    781208 |     958    90841   386353 | 2147483647    43655     58 |  0.000 % |
892.18/892.15	c |    783257 |     958    90841   386353 | 2147483647    45704     57 |  0.000 % |
894.96/894.91	c |    787354 |     958    90841   386353 | 2147483647    49801     56 |  0.000 % |
902.56/902.52	c |    795547 |     958    90841   386353 | 2147483647    57994     54 |  0.000 % |
903.06/903.08	c |    796059 |     958    90841   386353 | 2147483647    58506     54 |  0.000 % |
903.36/903.40	c |    796571 |     958    90841   386353 | 2147483647    59018     54 |  0.000 % |
904.16/904.20	c |    797596 |     958    90841   386353 | 2147483647    60043     55 |  0.000 % |
904.66/904.63	c |    798108 |     958    90841   386353 | 2147483647    60555     55 |  0.000 % |
904.96/904.92	c |    798620 |     958    90841   386353 | 2147483647    61067     55 |  0.000 % |
905.86/905.89	c |    799644 |     958    90841   386353 | 2147483647    62091     55 |  0.000 % |
908.16/908.10	c |    801693 |     958    90841   386353 |    62447    57886     54 |  0.000 % |
908.67/908.64	c |    802206 |     958    90841   386353 |    62447    58399     54 |  0.000 % |
909.26/909.20	c |    802718 |     958    90841   386353 |    62447    58911     54 |  0.000 % |
910.36/910.31	c |    803744 |     958    90841   386353 |    62447    59937     53 |  0.000 % |
910.96/910.90	c |    804256 |     958    90841   386353 |    62447    60449     53 |  0.000 % |
911.46/911.47	c |    804771 |     958    90841   386353 |    62447    60964     53 |  0.000 % |
912.56/912.56	c |    805795 |     958    90841   386353 |    62447    61988     52 |  0.000 % |
914.76/914.75	c |    807844 |     958    90841   386353 |    62447    57780     50 |  0.000 % |
918.57/918.55	c |    811943 |     958    90841   386353 | 2147483647    61879     49 |  0.000 % |
919.07/919.02	c |    812459 |     958    90841   386353 | 2147483647    62395     49 |  0.001 % |
919.57/919.54	c |    812973 |     958    90841   386353 | 2147483647    62909     49 |  0.000 % |
920.57/920.57	c |    813997 |     958    90841   386353 | 2147483647    63933     49 |  0.000 % |
921.07/921.09	c |    814514 |     958    90841   386353 | 2147483647    64450     48 |  0.000 % |
921.67/921.67	c |    815026 |     958    90841   386353 | 2147483647    64962     49 |  0.000 % |
922.67/922.70	c |    816050 |     958    90841   386353 | 2147483647    65986     49 |  0.000 % |
924.07/924.07	c |    818098 |     958    90841   386353 | 2147483647    68034     50 |  0.000 % |
924.67/924.65	c |    818612 |     958    90841   386353 | 2147483647    68548     50 |  0.000 % |
925.17/925.17	c |    819126 |     958    90841   386353 | 2147483647    69062     50 |  0.000 % |
926.17/926.14	c |    820151 |     958    90841   386353 | 2147483647    70087     50 |  0.000 % |
926.97/926.94	c |    820665 |     958    90841   386353 | 2147483647    70601     50 |  0.000 % |
927.57/927.52	c |    821178 |     958    90841   386353 | 2147483647    71114     50 |  0.000 % |
928.77/928.80	c |    822204 |     958    90841   386353 | 2147483647    72140     50 |  0.000 % |
931.27/931.24	c |    824253 |     958    90841   386353 | 2147483647    74189     50 |  0.000 % |
936.07/936.06	c |    828349 |     958    90841   386353 | 2147483647    78285     49 |  0.000 % |
945.07/945.10	c |    836542 |     958    90841   386353 | 2147483647    86478     47 |  0.000 % |
965.57/965.60	c |    852926 |     958    90841   386353 |    99936    89858     51 |  0.000 % |
966.07/966.04	c |    853439 |     958    90841   386353 |    99936    90371     51 |  0.000 % |
966.67/966.62	c |    853952 |     958    90841   386353 |    99936    90884     51 |  0.000 % |
968.07/968.01	c |    854976 |     958    90841   386353 |    99936    91908     51 |  0.000 % |
968.67/968.69	c |    855488 |     958    90841   386353 |    99936    92420     51 |  0.000 % |
969.37/969.34	c |    856000 |     958    90841   386353 |    99936    92932     51 |  0.000 % |
970.67/970.63	c |    857026 |     958    90841   386353 |    99936    93958     51 |  0.000 % |
972.97/972.96	c |    859075 |     958    90841   386353 |    99936    96007     52 |  0.000 % |
973.77/973.71	c |    859587 |     958    90841   386353 |    99936    96519     52 |  0.000 % |
974.47/974.49	c |    860100 |     958    90841   386353 |    96932    97032     52 |  0.000 % |
975.87/975.89	c |    861124 |     958    90841   386353 |    96932    81097     51 |  0.000 % |
976.47/976.45	c |    861636 |     958    90841   386353 |    96932    81609     51 |  0.000 % |
977.07/977.01	c |    862151 |     958    90841   386353 |    96932    82124     51 |  0.000 % |
978.17/978.12	c |    863179 |     958    90841   386353 |    96932    83152     51 |  0.000 % |
980.37/980.38	c |    865227 |     958    90841   386353 |    96932    85200     50 |  0.000 % |
985.07/985.03	c |    869327 |     958    90841   386353 |    96932    89300     50 |  0.000 % |
985.67/985.64	c |    869840 |     958    90841   386353 |    96932    89813     50 |  0.000 % |
986.37/986.36	c |    870355 |     958    90841   386353 | 2147483647    90328     50 |  0.000 % |
987.57/987.60	c |    871382 |     958    90841   386353 | 2147483647    91355     49 |  0.001 % |
988.07/988.05	c |    871895 |     958    90841   386353 | 2147483647    91868     49 |  0.000 % |
988.67/988.67	c |    872410 |     958    90841   386353 | 2147483647    92383     49 |  0.000 % |
989.77/989.75	c |    873436 |     958    90841   386353 | 2147483647    93409     49 |  0.001 % |
991.67/991.69	c |    875487 |     958    90841   386353 | 2147483647    95460     49 |  0.000 % |
992.17/992.13	c |    875999 |     958    90841   386353 | 2147483647    95972     48 |  0.000 % |
992.67/992.69	c |    876512 |     958    90841   386353 | 2147483647    96485     48 |  0.000 % |
994.17/994.11	c |    877539 |     958    90841   386353 | 2147483647    97512     49 |  0.000 % |
994.97/994.92	c |    878051 |     958    90841   386353 | 2147483647    98024     49 |  0.000 % |
995.67/995.62	c |    878563 |     958    90841   386353 | 2147483647    98536     49 |  0.000 % |
996.68/996.68	c |    879589 |     958    90841   386353 | 2147483647    99562     49 |  0.000 % |
999.87/999.84	c |    881638 |     958    90841   386353 | 2147483647   101611     49 |  0.000 % |
1004.77/1004.71	c |    885735 |     958    90841   386353 | 2147483647   105708     50 |  0.000 % |
1013.47/1013.49	c |    893928 |     958    90841   386353 |   109973   100087     50 |  0.000 % |
1014.07/1014.10	c |    894441 |     958    90841   386353 |   109973   100600     50 |  0.000 % |
1014.67/1014.68	c |    894955 |     958    90841   386353 |   109973   101114     50 |  0.000 % |
1015.77/1015.74	c |    895980 |     958    90841   386353 |   109973   102139     50 |  0.000 % |
1016.37/1016.40	c |    896492 |     958    90841   386353 |   109973   102651     50 |  0.000 % |
1017.17/1017.13	c |    897006 |     958    90841   386353 |   109973   103165     50 |  0.000 % |
1018.68/1018.62	c |    898031 |     958    90841   386353 |   109973   104190     50 |  0.000 % |
1021.37/1021.39	c |    900080 |     958    90841   386353 |   106161   106239     50 |  0.000 % |
1022.47/1022.40	c |    900595 |     958    90841   386353 |   106161    87916     52 |  0.000 % |
1023.17/1023.16	c |    901108 |     958    90841   386353 |   106161    88429     52 |  0.000 % |
1024.57/1024.55	c |    902133 |     958    90841   386353 |   106161    89454     52 |  0.000 % |
1025.17/1025.19	c |    902646 |     958    90841   386353 |   106161    89967     52 |  0.000 % |
1025.87/1025.88	c |    903161 |     958    90841   386353 |   106161    90482     52 |  0.000 % |
1027.37/1027.32	c |    904185 |     958    90841   386353 |   106161    91506     52 |  0.000 % |
1030.37/1030.34	c |    906233 |     958    90841   386353 |   106161    93554     52 |  0.000 % |
1035.27/1035.21	c |    910330 |     958    90841   386353 | 2147483647    97651     51 |  0.000 % |
1035.97/1035.92	c |    910844 |     958    90841   386353 | 2147483647    98165     51 |  0.000 % |
1036.57/1036.55	c |    911356 |     958    90841   386353 | 2147483647    98677     51 |  0.000 % |
1037.87/1037.87	c |    912380 |     958    90841   386353 | 2147483647    99701     51 |  0.001 % |
1038.48/1038.50	c |    912896 |     958    90841   386353 | 2147483647   100217     51 |  0.000 % |
1039.07/1039.04	c |    913408 |     958    90841   386353 | 2147483647   100729     51 |  0.000 % |
1040.07/1040.07	c |    914432 |     958    90841   386353 | 2147483647   101753     51 |  0.000 % |
1042.38/1042.38	c |    916481 |     958    90841   386353 | 2147483647   103802     50 |  0.000 % |
1042.98/1043.00	c |    916995 |     958    90841   386353 | 2147483647   104316     50 |  0.000 % |
1043.58/1043.59	c |    917510 |     958    90841   386353 | 2147483647   104831     50 |  0.000 % |
1045.28/1045.31	c |    918535 |     958    90841   386353 | 2147483647   105856     50 |  0.000 % |
1045.88/1045.89	c |    919049 |     958    90841   386353 | 2147483647   106370     50 |  0.000 % |
1046.68/1046.67	c |    919562 |     958    90841   386353 | 2147483647   106883     50 |  0.000 % |
1048.38/1048.36	c |    920587 |     958    90841   386353 | 2147483647   107908     50 |  0.000 % |
1050.08/1050.09	c |    922635 |     958    90841   386353 | 2147483647   109956     51 |  0.000 % |
1054.38/1054.35	c |    926733 |     958    90841   386353 | 2147483647   114054     51 |  0.000 % |
1062.28/1062.23	c |    934927 |     958    90841   386353 |   117321    92655     51 |  0.000 % |
1077.58/1077.58	c |    951311 |     958    90841   386353 |    78259    54115     52 |  0.000 % |
1110.18/1110.11	c |    984080 |     958    90841   386353 |    40595    29560     58 |  0.000 % |
1173.19/1173.17	c |   1049616 |     958    90841   386353 |    35089    35036     78 |  0.000 % |
1200.00/1199.93	HOME/SatELiteGTI: line 36: 19420 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-1821689-1242553004/watcher-1821689-1242553004 -o /tmp/evaluation-result-1821689-1242553004/solver-1821689-1242553004 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821689-1242553004.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: 1.00 1.01 1.00 2/97 19414
/proc/meminfo: memFree=1468520/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2416 CPUtime=0.01
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 369 644 0 0 0 0 1 0 18 0 1 0 1019801366 2473984 277 4294967295 134512640 135169312 3216406192 3216404728 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19414/statm: 604 277 235 161 0 43 0
[pid=19418] ppid=19414 vsize=952 CPUtime=0
/proc/19418/stat : 19418 (SatELite_releas) R 19414 19414 16367 0 -1 4202496 132 0 0 0 0 0 0 0 20 0 1 0 1019801366 974848 67 4294967295 134512640 135223648 3218055216 3218053812 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19418/statm: 238 70 46 174 0 63 0

[startup+0.023504 s]
/proc/loadavg: 1.00 1.01 1.00 2/97 19414
/proc/meminfo: memFree=1468520/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2416 CPUtime=0.01
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 369 644 0 0 0 0 1 0 18 0 1 0 1019801366 2473984 277 4294967295 134512640 135169312 3216406192 3216404728 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19414/statm: 604 277 235 161 0 43 0
[pid=19418] ppid=19414 vsize=2948 CPUtime=0.02
/proc/19418/stat : 19418 (SatELite_releas) R 19414 19414 16367 0 -1 4202496 601 0 0 0 2 0 0 0 20 0 1 0 1019801366 3018752 536 4294967295 134512640 135223648 3218055216 3218054168 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19418/statm: 737 536 46 174 0 562 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5364

[startup+0.113497 s]
/proc/loadavg: 1.00 1.01 1.00 2/97 19414
/proc/meminfo: memFree=1468520/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2416 CPUtime=0.01
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 369 644 0 0 0 0 1 0 18 0 1 0 1019801366 2473984 277 4294967295 134512640 135169312 3216406192 3216404728 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19414/statm: 604 277 235 161 0 43 0
[pid=19418] ppid=19414 vsize=8060 CPUtime=0.11
/proc/19418/stat : 19418 (SatELite_releas) R 19414 19414 16367 0 -1 4202496 1895 0 0 0 11 0 0 0 21 0 1 0 1019801366 8253440 1830 4294967295 134512640 135223648 3218055216 3218053232 134586754 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19418/statm: 2015 1830 73 174 0 1840 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10476

[startup+0.313486 s]
/proc/loadavg: 1.00 1.01 1.00 2/97 19414
/proc/meminfo: memFree=1468520/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2416 CPUtime=0.01
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 369 644 0 0 0 0 1 0 18 0 1 0 1019801366 2473984 277 4294967295 134512640 135169312 3216406192 3216404728 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19414/statm: 604 277 235 161 0 43 0
[pid=19418] ppid=19414 vsize=10448 CPUtime=0.31
/proc/19418/stat : 19418 (SatELite_releas) R 19414 19414 16367 0 -1 4202496 2458 0 0 0 31 0 0 0 21 0 1 0 1019801366 10698752 2393 4294967295 134512640 135223648 3218055216 3218053312 134585477 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19418/statm: 2612 2393 73 174 0 2437 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 12864

[startup+0.713463 s]
/proc/loadavg: 1.00 1.01 1.00 2/97 19414
/proc/meminfo: memFree=1468520/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2416 CPUtime=0.01
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 369 644 0 0 0 0 1 0 18 0 1 0 1019801366 2473984 277 4294967295 134512640 135169312 3216406192 3216404728 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19414/statm: 604 277 235 161 0 43 0
[pid=19418] ppid=19414 vsize=9684 CPUtime=0.71
/proc/19418/stat : 19418 (SatELite_releas) R 19414 19414 16367 0 -1 4202496 2460 0 0 0 71 0 0 0 22 0 1 0 1019801366 9916416 2216 4294967295 134512640 135223648 3218055216 3218051836 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19418/statm: 2421 2216 74 174 0 2246 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 12100

[startup+1.51342 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 19420
/proc/meminfo: memFree=1460428/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=6964 CPUtime=0.73
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 1669 0 0 0 72 1 0 0 20 0 1 0 1019801444 7131136 1604 4294967295 134512640 135216591 3216574256 3216572448 134529009 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 1741 1604 75 172 0 1568 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9384

[startup+3.11333 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 19420
/proc/meminfo: memFree=1459188/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=7888 CPUtime=2.33
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 1901 0 0 0 232 1 0 0 25 0 1 0 1019801444 8077312 1836 4294967295 134512640 135216591 3216574256 3216572448 134528962 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 1972 1836 75 172 0 1799 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10308

[startup+6.31315 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 19421
/proc/meminfo: memFree=1457980/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=8708 CPUtime=5.53
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 2121 0 0 0 552 1 0 0 25 0 1 0 1019801444 8916992 2056 4294967295 134512640 135216591 3216574256 3216572448 134528902 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 2177 2056 75 172 0 2004 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11128

[startup+12.7128 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 19423
/proc/meminfo: memFree=1455408/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=11336 CPUtime=11.93
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 2763 0 0 0 1189 4 0 0 25 0 1 0 1019801444 11608064 2698 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 2834 2698 75 172 0 2661 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 13756

[startup+25.5121 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 19423
/proc/meminfo: memFree=1450016/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=16424 CPUtime=24.73
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 4056 0 0 0 2468 5 0 0 25 0 1 0 1019801444 16818176 3991 4294967295 134512640 135216591 3216574256 3216572448 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 4106 3991 75 172 0 3933 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 18844

[startup+51.1206 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 19608
/proc/meminfo: memFree=1443700/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=22472 CPUtime=50.34
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 5536 0 0 0 5025 9 0 0 25 0 1 0 1019801444 23011328 5471 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 5618 5471 75 172 0 5445 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 24892

[startup+102.318 s]
/proc/loadavg: 1.12 1.03 1.01 3/99 19617
/proc/meminfo: memFree=1435816/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=30768 CPUtime=101.54
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 7567 0 0 0 10143 11 0 0 25 0 1 0 1019801444 31506432 7502 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 7692 7502 75 172 0 7519 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 33188

[startup+162.314 s]
/proc/loadavg: 1.04 1.02 1.00 3/99 19805
/proc/meminfo: memFree=1434120/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=32384 CPUtime=161.54
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 7990 0 0 0 16142 12 0 0 25 0 1 0 1019801444 33161216 7925 4294967295 134512640 135216591 3216574256 3216572448 134528936 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 8096 7925 75 172 0 7923 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 34804

[startup+222.311 s]
/proc/loadavg: 1.01 1.02 1.00 3/99 19991
/proc/meminfo: memFree=1433700/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=32820 CPUtime=221.54
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 8092 0 0 0 22142 12 0 0 25 0 1 0 1019801444 33607680 8027 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 8205 8027 75 172 0 8032 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 35240

[startup+282.308 s]
/proc/loadavg: 1.00 1.01 1.00 3/99 20179
/proc/meminfo: memFree=1432352/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=34276 CPUtime=281.54
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 8442 0 0 0 28142 12 0 0 25 0 1 0 1019801444 35098624 8377 4294967295 134512640 135216591 3216574256 3216572448 134528955 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 8569 8377 75 172 0 8396 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 36696

[startup+342.314 s]
/proc/loadavg: 1.00 1.01 1.00 3/99 20370
/proc/meminfo: memFree=1432352/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=34276 CPUtime=341.55
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 8442 0 0 0 34143 12 0 0 25 0 1 0 1019801444 35098624 8377 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 8569 8377 75 172 0 8396 0
Current children cumulated CPU time (s) 342.34

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

/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=44276 CPUtime=521.56
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 10901 0 0 0 52141 15 0 0 25 0 1 0 1019801444 45338624 10836 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11069 10836 75 172 0 10896 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 46696

[startup+582.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 21124
/proc/meminfo: memFree=1422184/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=44412 CPUtime=581.56
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 10947 0 0 0 58141 15 0 0 25 0 1 0 1019801444 45477888 10882 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11103 10882 75 172 0 10930 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 46832

[startup+642.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 21313
/proc/meminfo: memFree=1421184/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=45560 CPUtime=641.56
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 11198 0 0 0 64141 15 0 0 25 0 1 0 1019801444 46653440 11133 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11390 11133 75 172 0 11217 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 47980

[startup+702.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 21501
/proc/meminfo: memFree=1421192/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=45560 CPUtime=701.57
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 11198 0 0 0 70142 15 0 0 25 0 1 0 1019801444 46653440 11133 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11390 11133 75 172 0 11217 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 47980

[startup+762.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 21693
/proc/meminfo: memFree=1421424/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=45560 CPUtime=761.58
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 11200 0 0 0 76142 16 0 0 25 0 1 0 1019801444 46653440 11135 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11390 11135 75 172 0 11217 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 47980

[startup+822.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 21879
/proc/meminfo: memFree=1421440/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=45560 CPUtime=821.58
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 11202 0 0 0 82142 16 0 0 25 0 1 0 1019801444 46653440 11137 4294967295 134512640 135216591 3216574256 3216572448 134528984 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11390 11137 75 172 0 11217 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 47980

[startup+882.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 22067
/proc/meminfo: memFree=1421448/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=45560 CPUtime=881.58
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 11202 0 0 0 88142 16 0 0 25 0 1 0 1019801444 46653440 11137 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11390 11137 75 172 0 11217 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 47980

[startup+942.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 22256
/proc/meminfo: memFree=1421324/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=45560 CPUtime=941.58
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 11203 0 0 0 94142 16 0 0 25 0 1 0 1019801444 46653440 11138 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11390 11138 75 172 0 11217 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 47980

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 22444
/proc/meminfo: memFree=1421340/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=45560 CPUtime=1001.58
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 11203 0 0 0 100142 16 0 0 25 0 1 0 1019801444 46653440 11138 4294967295 134512640 135216591 3216574256 3216572448 134528962 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11390 11138 75 172 0 11217 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 47980

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 22632
/proc/meminfo: memFree=1421340/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=45560 CPUtime=1061.59
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 11203 0 0 0 106143 16 0 0 25 0 1 0 1019801444 46653440 11138 4294967295 134512640 135216591 3216574256 3216572448 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11390 11138 75 172 0 11217 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 47980

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 22818
/proc/meminfo: memFree=1421440/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=45560 CPUtime=1121.59
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 11203 0 0 0 112143 16 0 0 25 0 1 0 1019801444 46653440 11138 4294967295 134512640 135216591 3216574256 3216572448 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11390 11138 75 172 0 11217 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 47980

[startup+1182.33 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 23010
/proc/meminfo: memFree=1421332/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=45560 CPUtime=1181.61
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 11203 0 0 0 118145 16 0 0 25 0 1 0 1019801444 46653440 11138 4294967295 134512640 135216591 3216574256 3216572448 134529259 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11390 11138 75 172 0 11217 0
Current children cumulated CPU time (s) 1182.4
Current children cumulated vsize (KiB) 47980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.93 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 23194
/proc/meminfo: memFree=1421152/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=45560 CPUtime=1199.21
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 11203 0 0 0 119905 16 0 0 25 0 1 0 1019801444 46653440 11138 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11390 11138 75 172 0 11217 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 47980

Sending SIGTERM to process tree (bottom up)

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

[startup+1199.93 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 23194
/proc/meminfo: memFree=1421152/2074464 swapFree=1949244/1959888
[pid=19414] ppid=19412 vsize=2420 CPUtime=0.79
/proc/19414/stat : 19414 (SatELiteGTI) S 19412 19414 16367 0 -1 4194304 387 3106 0 0 0 0 79 0 15 0 1 0 1019801366 2478080 278 4294967295 134512640 135169312 3216406192 3216402408 3085590254 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/19414/statm: 605 278 235 161 0 44 0
[pid=19420] ppid=19414 vsize=45560 CPUtime=1199.21
/proc/19420/stat : 19420 (minisat_static) R 19414 19414 16367 0 -1 4202496 11203 0 0 0 119905 16 0 0 25 0 1 0 1019801444 46653440 11138 4294967295 134512640 135216591 3216574256 3216572448 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/19420/statm: 11390 11138 75 172 0 11217 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 47980

Child status: 143
Real time (s): 1199.94
CPU time (s): 1200.01
CPU user time (s): 1199.84
CPU system time (s): 0.17
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 47980

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

runsolver used 0.02 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi11 at 2009-05-17 11:36:44
IDJOB=1821689
IDBENCH=71066
IDSOLVER=658
FILE ID=tipi11/1821689-1242553004
PBS_JOBID=
Free space on /tmp= 9547 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_10_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821689-1242553004/watcher-1821689-1242553004 -o /tmp/evaluation-result-1821689-1242553004/solver-1821689-1242553004 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821689-1242553004.cnf

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

MD5SUM BENCH= e868383f091c36fa9594c670095c9824
RANDOM SEED= 1038016981

Linux tipi11 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.431
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.431
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.77

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
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.79

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
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:       1468776 kB
Buffers:         36420 kB
Cached:         481452 kB
SwapCached:       5248 kB
Active:         266544 kB
Inactive:       263100 kB
HighTotal:     1178688 kB
HighFree:       684704 kB
LowTotal:       895776 kB
LowFree:        784072 kB
SwapTotal:     1959888 kB
SwapFree:      1949244 kB
Dirty:            2948 kB
Writeback:           0 kB
AnonPages:       11244 kB
Mapped:           5020 kB
Slab:            67824 kB
PageTables:        500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    97124 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9547 MiB
End job on tipi11 at 2009-05-17 11:56:44