Trace number 1833955

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.09 1200.71

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
MD5SUM3cd74d1813a4408b4123afc23df07d7d
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 variables1910
Number of clauses167931
Sum of the clauses size500698
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23312
Number of clauses of size 3164588
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.00/0.00	c Parsing...
0.00/0.09	c ==============================================================================
0.00/0.09	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.09	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.09	c ==============================================================================
0.00/0.09	c |         0 |  167931   500698 |   50379       0        0     nan |  0.000 % |
2.19/2.29	c |         0 |  166431   731017 |      --       0       --      -- |     --   | -1500/230319
2.19/2.29	c ==============================================================================
2.19/2.29	c Result  :   #vars: 1151   #clauses: 166431   #literals: 731017
2.19/2.29	c CPU time:   2.24966 s
2.19/2.29	c ==============================================================================
2.38/2.49	c This is MiniSat 2.0 beta
2.38/2.49	c WARNING: for repeatability, setting FPU to use double precision
2.38/2.49	c ============================[ Problem Statistics ]=============================
2.38/2.49	c |                                                                             |
2.38/2.49	c |  Number of variables:  1151                                                 |
2.38/2.49	c |  Number of clauses:    166431                                               |
2.48/2.58	c |  Parsing time:         0.08         s                                       |
2.48/2.59	c ============================[ Search Statistics ]==============================
2.48/2.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.48/2.59	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.48/2.59	c ===============================================================================
2.48/2.59	c |         0 |    1151   166431   731017 |    55477        0    nan |  0.000 % |
2.48/2.67	c |       100 |    1151   166431   731017 |    55477      100     35 |  0.000 % |
2.48/2.80	c |       201 |    1151   166431   731017 |    55477      201     44 |  0.002 % |
2.48/2.89	c |       301 |    1151   166431   731017 |    55477      301     45 |  0.000 % |
2.48/3.00	c |       411 |    1151   166431   731017 |    55477      411     47 |  0.000 % |
2.48/3.08	c |       513 |    1151   166431   731017 |    55477      513     48 |  0.000 % |
2.48/3.17	c |       623 |    1151   166431   731017 |    55477      623     49 |  0.000 % |
3.18/3.27	c |       747 |    1151   166431   731017 |    55477      747     50 |  0.000 % |
3.27/3.36	c |       847 |    1151   166431   731017 |    55477      847     51 |  0.000 % |
3.38/3.41	c |       958 |    1151   166431   731017 |    55477      958     51 |  0.000 % |
3.38/3.46	c |      1080 |    1151   166431   731017 |    55477     1080     52 |  0.000 % |
3.48/3.53	c |      1214 |    1151   166431   731017 |    55477     1214     54 |  0.000 % |
3.48/3.56	c |      1314 |    1151   166431   731017 |    55477     1314     54 |  0.000 % |
3.48/3.59	c |      1426 |    1151   166431   731017 |    55477     1426     54 |  0.000 % |
3.58/3.63	c |      1548 |    1151   166431   731017 |    55477     1548     54 |  0.000 % |
3.58/3.67	c |      1683 |    1151   166431   731017 |    55477     1683     54 |  0.000 % |
3.68/3.71	c |      1829 |    1151   166431   731017 |    55477     1829     54 |  0.000 % |
3.68/3.74	c |      1930 |    1151   166431   731017 |    55477     1930     54 |  0.000 % |
3.68/3.77	c |      2041 |    1151   166431   731017 |    55477     2041     54 |  0.000 % |
3.77/3.81	c |      2164 |    1151   166431   731017 |    55477     2164     55 |  0.000 % |
3.77/3.85	c |      2298 |    1151   166431   731017 |    55477     2298     54 |  0.000 % |
3.77/3.89	c |      2445 |    1151   166431   731017 |    55477     2445     54 |  0.000 % |
3.87/3.94	c |      2605 |    1151   166431   731017 |    55477     2605     54 |  0.000 % |
3.87/3.97	c |      2709 |    1151   166431   731017 |    55477     2709     54 |  0.000 % |
3.97/4.01	c |      2820 |    1151   166431   731017 |    55477     2820     54 |  0.000 % |
3.97/4.05	c |      2941 |    1151   166431   731017 |    55477     2941     54 |  0.000 % |
4.07/4.13	c |      3074 |    1151   166431   731017 |    55477     3074     54 |  0.000 % |
4.07/4.19	c |      3220 |    1151   166431   731017 |    55477     3220     54 |  0.000 % |
4.17/4.26	c |      3382 |    1151   166431   731017 |    55477     3382     54 |  0.000 % |
4.28/4.33	c |      3559 |    1151   166431   731017 |    55477     3559     54 |  0.000 % |
4.28/4.38	c |      3663 |    1151   166431   731017 |    55477     3663     54 |  0.000 % |
4.38/4.44	c |      3773 |    1151   166431   731017 |    55477     3773     54 |  0.000 % |
4.38/4.48	c |      3894 |    1151   166431   731017 |    55477     3894     54 |  0.000 % |
4.47/4.54	c |      4028 |    1151   166431   731017 |    55477     4028     54 |  0.000 % |
4.57/4.61	c |      4174 |    1151   166431   731017 |    55477     4174     54 |  0.000 % |
4.57/4.68	c |      4335 |    1151   166431   731017 |    55477     4335     54 |  0.000 % |
4.67/4.75	c |      4511 |    1151   166431   731017 |    55477     4511     54 |  0.000 % |
4.77/4.88	c |      4705 |    1151   166431   731017 |    55477     4705     54 |  0.000 % |
4.87/4.96	c |      4807 |    1151   166431   731017 |    55477     4807     54 |  0.000 % |
4.97/5.02	c |      4917 |    1151   166431   731017 |    55477     4917     54 |  0.000 % |
4.97/5.10	c |      5038 |    1151   166431   731017 |    55477     5038     54 |  0.000 % |
5.07/5.18	c |      5171 |    1151   166431   731017 |    55477     5171     54 |  0.000 % |
5.17/5.28	c |      5317 |    1151   166431   731017 |    55477     5317     54 |  0.000 % |
5.27/5.39	c |      5481 |    1151   166431   731017 |    55477     5481     54 |  0.000 % |
5.48/5.55	c |      5657 |    1151   166431   731017 |    55477     5657     54 |  0.000 % |
5.57/5.68	c |      5850 |    1151   166431   731017 |    55477     5850     54 |  0.000 % |
5.77/5.82	c |      6062 |    1151   166431   731017 |    55477     6062     54 |  0.000 % |
5.87/5.90	c |      6163 |    1151   166431   731017 |    55477     6163     54 |  0.000 % |
5.87/5.97	c |      6275 |    1151   166431   731017 |    55477     6275     54 |  0.000 % |
5.97/6.05	c |      6396 |    1151   166431   731017 |    55477     6396     54 |  0.000 % |
6.07/6.14	c |      6529 |    1151   166431   731017 |    55477     6529     54 |  0.000 % |
6.17/6.23	c |      6675 |    1151   166431   731017 |    55477     6675     54 |  0.000 % |
6.27/6.33	c |      6836 |    1151   166431   731017 |    55477     6836     54 |  0.000 % |
6.37/6.50	c |      7013 |    1151   166431   731017 |    55477     7013     54 |  0.000 % |
6.58/6.67	c |      7208 |    1151   166431   731017 |    55477     7208     54 |  0.000 % |
6.77/6.85	c |      7421 |    1151   166431   731017 |    55477     7421     54 |  0.000 % |
6.97/7.04	c |      7655 |    1151   166431   731017 |    55477     7655     54 |  0.000 % |
6.97/7.09	c |      7756 |    1151   166431   731017 |    55477     7756     54 |  0.000 % |
7.07/7.18	c |      7868 |    1151   166431   731017 |    55477     7868     54 |  0.000 % |
7.17/7.29	c |      7990 |    1151   166431   731017 |    55477     7990     54 |  0.000 % |
7.37/7.40	c |      8125 |    1151   166431   731017 |    55477     8125     54 |  0.000 % |
7.47/7.50	c |      8271 |    1151   166431   731017 |    55477     8271     54 |  0.000 % |
7.57/7.60	c |      8431 |    1151   166431   731017 |    55477     8431     54 |  0.000 % |
7.67/7.74	c |      8609 |    1151   166431   731017 |    55477     8609     54 |  0.000 % |
7.77/7.89	c |      8802 |    1151   166431   731017 |    55477     8802     53 |  0.000 % |
7.96/8.06	c |      9016 |    1151   166431   731017 |    55477     9016     53 |  0.000 % |
8.16/8.23	c |      9249 |    1151   166431   731017 |    55477     9249     53 |  0.000 % |
8.36/8.41	c |      9505 |    1151   166431   731017 |    55477     9505     53 |  0.000 % |
8.46/8.52	c |      9605 |    1151   166431   731017 |    55477     9605     53 |  0.000 % |
8.46/8.58	c |      9716 |    1151   166431   731017 |    55477     9716     53 |  0.000 % |
8.56/8.68	c |      9837 |    1151   166431   731017 |    55477     9837     53 |  0.000 % |
8.67/8.80	c |      9970 |    1151   166431   731017 |    55477     9970     53 |  0.000 % |
8.86/9.00	c |     10116 |    1151   166431   731017 | 2147483647    10116     53 |  0.000 % |
9.06/9.13	c |     10277 |    1151   166431   731017 | 2147483647    10277     53 |  0.000 % |
9.16/9.29	c |     10455 |    1151   166431   731017 | 2147483647    10455     53 |  0.000 % |
9.36/9.46	c |     10649 |    1151   166431   731017 | 2147483647    10649     53 |  0.000 % |
9.46/9.59	c |     10861 |    1151   166431   731017 | 2147483647    10861     53 |  0.000 % |
9.77/9.86	c |     11094 |    1151   166431   731017 | 2147483647    11094     53 |  0.000 % |
10.17/10.23	c |     11352 |    1151   166431   731017 | 2147483647    11352     53 |  0.000 % |
10.57/10.63	c |     11633 |    1151   166431   731017 | 2147483647    11633     53 |  0.000 % |
10.67/10.77	c |     11733 |    1151   166431   731017 | 2147483647    11733     53 |  0.000 % |
10.87/10.94	c |     11843 |    1151   166431   731017 | 2147483647    11843     53 |  0.000 % |
10.97/11.09	c |     11966 |    1151   166431   731017 | 2147483647    11966     53 |  0.000 % |
11.17/11.26	c |     12101 |    1151   166431   731017 | 2147483647    12101     53 |  0.000 % |
11.37/11.48	c |     12247 |    1151   166431   731017 | 2147483647    12247     53 |  0.000 % |
11.57/11.62	c |     12409 |    1151   166431   731017 | 2147483647    12409     53 |  0.000 % |
11.77/11.88	c |     12588 |    1151   166431   731017 | 2147483647    12588     53 |  0.000 % |
11.97/12.08	c |     12782 |    1151   166431   731017 | 2147483647    12782     53 |  0.000 % |
12.27/12.39	c |     12994 |    1151   166431   731017 | 2147483647    12994     53 |  0.000 % |
12.67/12.74	c |     13232 |    1151   166431   731017 | 2147483647    13232     53 |  0.000 % |
13.07/13.11	c |     13490 |    1151   166431   731017 | 2147483647    13490     53 |  0.000 % |
13.37/13.40	c |     13773 |    1151   166431   731017 | 2147483647    13773     52 |  0.000 % |
13.67/13.77	c |     14082 |    1151   166431   731017 | 2147483647    14082     52 |  0.000 % |
13.77/13.89	c |     14182 |    1151   166431   731017 | 2147483647    14182     52 |  0.000 % |
13.97/14.02	c |     14293 |    1151   166431   731017 | 2147483647    14293     52 |  0.000 % |
14.07/14.16	c |     14414 |    1151   166431   731017 | 2147483647    14414     52 |  0.000 % |
14.27/14.36	c |     14547 |    1151   166431   731017 | 2147483647    14547     52 |  0.000 % |
14.57/14.62	c |     14693 |    1151   166431   731017 | 2147483647    14693     52 |  0.000 % |
14.77/14.80	c |     14853 |    1151   166431   731017 | 2147483647    14853     52 |  0.000 % |
14.97/15.04	c |     15029 |    1151   166431   731017 | 2147483647    15029     52 |  0.000 % |
15.17/15.22	c |     15223 |    1151   166431   731017 | 2147483647    15223     52 |  0.000 % |
15.37/15.44	c |     15439 |    1151   166431   731017 | 2147483647    15439     52 |  0.000 % |
15.57/15.69	c |     15672 |    1151   166431   731017 | 2147483647    15672     52 |  0.000 % |
16.07/16.11	c |     15928 |    1151   166431   731017 | 2147483647    15928     51 |  0.000 % |
16.56/16.64	c |     16209 |    1151   166431   731017 | 2147483647    16209     51 |  0.000 % |
16.96/17.06	c |     16519 |    1151   166431   731017 | 2147483647    16519     51 |  0.000 % |
17.66/17.71	c |     16860 |    1151   166431   731017 | 2147483647    16860     51 |  0.000 % |
17.86/17.91	c |     16961 |    1151   166431   731017 | 2147483647    16961     51 |  0.000 % |
18.06/18.13	c |     17073 |    1151   166431   731017 | 2147483647    17073     51 |  0.000 % |
18.26/18.31	c |     17194 |    1151   166431   731017 | 2147483647    17194     51 |  0.000 % |
18.46/18.52	c |     17328 |    1151   166431   731017 | 2147483647    17328     51 |  0.000 % |
18.67/18.74	c |     17476 |    1151   166431   731017 | 2147483647    17476     51 |  0.000 % |
18.96/19.02	c |     17637 |    1151   166431   731017 | 2147483647    17637     51 |  0.000 % |
19.16/19.26	c |     17813 |    1151   166431   731017 | 2147483647    17813     50 |  0.000 % |
19.46/19.51	c |     18008 |    1151   166431   731017 | 2147483647    18008     50 |  0.000 % |
20.16/20.20	c |     18221 |    1151   166431   731017 | 2147483647    18221     50 |  0.000 % |
20.77/20.84	c |     18454 |    1151   166431   731017 | 2147483647    18454     50 |  0.000 % |
21.56/21.64	c |     18712 |    1151   166431   731017 | 2147483647    18712     51 |  0.000 % |
22.16/22.29	c |     18993 |    1151   166431   731017 | 2147483647    18993     51 |  0.000 % |
22.76/22.85	c |     19304 |    1151   166431   731017 | 2147483647    19304     51 |  0.000 % |
23.66/23.71	c |     19643 |    1151   166431   731017 | 2147483647    19643     51 |  0.000 % |
24.76/24.89	c |     20015 |    1151   166431   731017 | 2147483647    20015     51 |  0.000 % |
25.26/25.30	c |     20116 |    1151   166431   731017 | 2147483647    20116     51 |  0.000 % |
25.46/25.60	c |     20229 |    1151   166431   731017 | 2147483647    20229     51 |  0.000 % |
25.96/26.07	c |     20350 |    1151   166431   731017 | 2147483647    20350     51 |  0.000 % |
26.36/26.41	c |     20483 |    1151   166431   731017 | 2147483647    20483     51 |  0.000 % |
26.36/26.48	c |     20629 |    1151   166431   731017 | 2147483647    20629     51 |  0.000 % |
26.56/26.64	c |     20793 |    1151   166431   731017 | 2147483647    20793     51 |  0.000 % |
26.66/26.76	c |     20969 |    1151   166431   731017 | 2147483647    20969     51 |  0.000 % |
26.76/26.88	c |     21162 |    1151   166431   731017 | 2147483647    21162     51 |  0.000 % |
26.96/27.04	c |     21375 |    1151   166431   731017 | 2147483647    21375     51 |  0.000 % |
27.16/27.21	c |     21610 |    1151   166431   731017 | 2147483647    21610     51 |  0.000 % |
27.36/27.41	c |     21866 |    1151   166431   731017 | 2147483647    21866     51 |  0.000 % |
27.46/27.58	c |     22149 |    1151   166431   731017 | 2147483647    22149     51 |  0.000 % |
27.66/27.77	c |     22461 |    1151   166431   731017 | 2147483647    22461     51 |  0.000 % |
27.96/28.01	c |     22802 |    1151   166431   731017 | 2147483647    22802     51 |  0.000 % |
28.15/28.24	c |     23175 |    1151   166431   731017 | 2147483647    23175     51 |  0.000 % |
28.65/28.77	c |     23584 |    1151   166431   731017 | 2147483647    23584     51 |  0.000 % |
29.05/29.15	c |     23684 |    1151   166431   731017 | 2147483647    23684     51 |  0.000 % |
29.15/29.26	c |     23794 |    1151   166431   731017 | 2147483647    23794     51 |  0.000 % |
29.56/29.67	c |     23915 |    1151   166431   731017 | 2147483647    23915     51 |  0.000 % |
30.05/30.10	c |     24048 |    1151   166431   731017 | 2147483647    24048     51 |  0.000 % |
30.45/30.58	c |     24194 |    1151   166431   731017 | 2147483647    24194     51 |  0.000 % |
30.95/31.03	c |     24354 |    1151   166431   731017 | 2147483647    24354     51 |  0.000 % |
31.35/31.46	c |     24532 |    1151   166431   731017 | 2147483647    24532     51 |  0.000 % |
31.95/32.01	c |     24728 |    1151   166431   731017 | 2147483647    24728     51 |  0.000 % |
32.55/32.61	c |     24941 |    1151   166431   731017 | 2147483647    24941     51 |  0.000 % |
33.05/33.10	c |     25176 |    1151   166431   731017 | 2147483647    25176     51 |  0.000 % |
33.85/33.91	c |     25432 |    1151   166431   731017 | 2147483647    25432     51 |  0.000 % |
34.45/34.51	c |     25714 |    1151   166431   731017 | 2147483647    25714     51 |  0.000 % |
34.75/34.86	c |     26027 |    1151   166431   731017 | 2147483647    26027     51 |  0.000 % |
35.05/35.11	c |     26366 |    1151   166431   731017 | 2147483647    26366     51 |  0.000 % |
35.35/35.42	c |     26741 |    1151   166431   731017 | 2147483647    26741     51 |  0.000 % |
35.65/35.72	c |     27150 |    1151   166431   731017 | 2147483647    27150     51 |  0.000 % |
35.95/36.09	c |     27600 |    1151   166431   731017 | 2147483647    27600     51 |  0.000 % |
36.05/36.19	c |     27702 |    1151   166431   731017 | 2147483647    27702     51 |  0.000 % |
36.15/36.30	c |     27812 |    1151   166431   731017 | 2147483647    27812     51 |  0.000 % |
36.25/36.39	c |     27934 |    1151   166431   731017 | 2147483647    27934     51 |  0.000 % |
36.45/36.52	c |     28072 |    1151   166431   731017 | 2147483647    28072     51 |  0.000 % |
36.55/36.65	c |     28219 |    1151   166431   731017 | 2147483647    28219     51 |  0.000 % |
36.74/36.80	c |     28379 |    1151   166431   731017 | 2147483647    28379     51 |  0.000 % |
36.95/37.03	c |     28556 |    1151   166431   731017 | 2147483647    28556     51 |  0.000 % |
37.75/37.80	c |     28751 |    1151   166431   731017 | 2147483647    28751     51 |  0.000 % |
38.55/38.62	c |     28964 |    1151   166431   731017 | 2147483647    28964     51 |  0.000 % |
39.55/39.65	c |     29198 |    1151   166431   731017 | 2147483647    29198     51 |  0.000 % |
40.55/40.64	c |     29455 |    1151   166431   731017 | 2147483647    29455     51 |  0.000 % |
41.34/41.46	c |     29736 |    1151   166431   731017 | 2147483647    29736     50 |  0.000 % |
42.44/42.54	c |     30047 |    1151   166431   731017 | 2147483647    30047     50 |  0.000 % |
43.44/43.54	c |     30386 |    1151   166431   731017 | 2147483647    30386     50 |  0.000 % |
44.84/44.91	c |     30758 |    1151   166431   731017 | 2147483647    30758     50 |  0.000 % |
46.24/46.34	c |     31167 |    1151   166431   731017 | 2147483647    31167     50 |  0.000 % |
47.74/47.85	c |     31616 |    1151   166431   731017 | 2147483647    31616     50 |  0.000 % |
49.44/49.58	c |     32109 |    1151   166431   731017 | 2147483647    32109     50 |  0.000 % |
49.74/49.86	c |     32209 |    1151   166431   731017 | 2147483647    32209     50 |  0.000 % |
50.04/50.18	c |     32320 |    1151   166431   731017 | 2147483647    32320     50 |  0.000 % |
50.44/50.59	c |     32441 |    1151   166431   731017 | 2147483647    32441     50 |  0.000 % |
50.64/50.76	c |     32575 |    1151   166431   731017 | 2147483647    32575     50 |  0.000 % |
51.04/51.17	c |     32722 |    1151   166431   731017 | 2147483647    32722     50 |  0.000 % |
51.64/51.76	c |     32884 |    1151   166431   731017 | 2147483647    32884     50 |  0.000 % |
52.14/52.23	c |     33061 |    1151   166431   731017 | 2147483647    33061     50 |  0.000 % |
52.64/52.77	c |     33256 |    1151   166431   731017 | 2147483647    33256     50 |  0.000 % |
53.44/53.53	c |     33468 |    1151   166431   731017 | 2147483647    33468     50 |  0.000 % |
54.04/54.15	c |     33701 |    1151   166431   731017 | 2147483647    33701     50 |  0.000 % |
54.64/54.71	c |     33958 |    1151   166431   731017 | 2147483647    33958     50 |  0.000 % |
55.24/55.38	c |     34239 |    1151   166431   731017 | 2147483647    34239     50 |  0.000 % |
56.04/56.17	c |     34548 |    1151   166431   731017 | 2147483647    34548     50 |  0.000 % |
57.04/57.11	c |     34887 |    1151   166431   731017 | 2147483647    34887     49 |  0.000 % |
57.94/58.01	c |     35260 |    1151   166431   731017 | 2147483647    35260     49 |  0.000 % |
58.54/58.61	c |     35669 |    1151   166431   731017 | 2147483647    35669     49 |  0.000 % |
59.14/59.25	c |     36118 |    1151   166431   731017 | 2147483647    36118     49 |  0.000 % |
59.83/59.93	c |     36612 |    1151   166431   731017 | 2147483647    36612     48 |  0.000 % |
60.73/60.86	c |     37155 |    1151   166431   731017 | 2147483647    37155     48 |  0.001 % |
60.83/60.97	c |     37255 |    1151   166431   731017 | 2147483647    37255     48 |  0.000 % |
61.44/61.59	c |     37366 |    1151   166431   731017 | 2147483647    37366     48 |  0.018 % |
61.73/61.87	c |     37487 |    1151   166431   731017 | 2147483647    37487     48 |  0.000 % |
62.03/62.11	c |     37622 |    1151   166431   731017 | 2147483647    37622     48 |  0.000 % |
62.13/62.29	c |     37770 |    1151   166431   731017 | 2147483647    37770     48 |  0.000 % |
62.43/62.50	c |     37931 |    1151   166431   731017 | 2147483647    37931     48 |  0.000 % |
63.03/63.12	c |     38107 |    1151   166431   731017 | 2147483647    38107     48 |  0.000 % |
63.53/63.60	c |     38301 |    1151   166431   731017 | 2147483647    38301     48 |  0.000 % |
63.93/64.09	c |     38514 |    1151   166431   731017 | 2147483647    38514     47 |  0.000 % |
65.43/65.56	c |     38748 |    1151   166431   731017 | 2147483647    38748     48 |  0.000 % |
65.83/66.00	c |     39005 |    1151   166431   731017 | 2147483647    39005     48 |  0.000 % |
67.33/67.48	c |     39288 |    1151   166431   731017 | 2147483647    39288     48 |  0.000 % |
69.03/69.13	c |     39597 |    1151   166431   731017 | 2147483647    39597     48 |  0.000 % |
70.63/70.71	c |     39939 |    1151   166431   731017 | 2147483647    39939     48 |  0.000 % |
72.54/72.68	c |     40311 |    1151   166431   731017 | 2147483647    40311     48 |  0.000 % |
74.43/74.58	c |     40721 |    1151   166431   731017 | 2147483647    40721     48 |  0.000 % |
76.73/76.81	c |     41171 |    1151   166431   731017 | 2147483647    41171     48 |  0.000 % |
77.43/77.51	c |     41666 |    1151   166431   731017 | 2147483647    41666     48 |  0.000 % |
78.13/78.29	c |     42208 |    1151   166431   731017 | 2147483647    42208     48 |  0.000 % |
78.53/78.69	c |     42805 |    1151   166431   731017 | 2147483647    42805     48 |  0.000 % |
78.73/78.84	c |     42905 |    1151   166431   731017 | 2147483647    42905     48 |  0.000 % |
78.93/79.06	c |     43018 |    1151   166431   731017 | 2147483647    43018     48 |  0.000 % |
79.13/79.22	c |     43139 |    1151   166431   731017 | 2147483647    43139     48 |  0.000 % |
79.43/79.55	c |     43273 |    1151   166431   731017 | 2147483647    43273     48 |  0.000 % |
79.63/79.78	c |     43419 |    1151   166431   731017 | 2147483647    43419     48 |  0.000 % |
79.83/79.98	c |     43580 |    1151   166431   731017 | 2147483647    43580     48 |  0.000 % |
80.43/80.58	c |     43756 |    1151   166431   731017 | 2147483647    43756     48 |  0.000 % |
80.83/80.94	c |     43951 |    1151   166431   731017 | 2147483647    43951     48 |  0.000 % |
81.63/81.74	c |     44164 |    1151   166431   731017 | 2147483647    44164     48 |  0.000 % |
82.72/82.88	c |     44398 |    1151   166431   731017 | 2147483647    44398     48 |  0.000 % |
84.32/84.46	c |     44657 |    1151   166431   731017 | 2147483647    44657     48 |  0.000 % |
85.72/85.83	c |     44938 |    1151   166431   731017 | 2147483647    44938     48 |  0.000 % |
86.82/86.96	c |     45248 |    1151   166431   731017 | 2147483647    45248     48 |  0.000 % |
88.52/88.60	c |     45590 |    1151   166431   731017 | 2147483647    45590     48 |  0.000 % |
90.21/90.38	c |     45962 |    1151   166431   731017 | 2147483647    45962     48 |  0.000 % |
91.31/91.44	c |     46371 |    1151   166431   731017 | 2147483647    46371     48 |  0.000 % |
92.51/92.60	c |     46820 |    1151   166431   731017 | 2147483647    46820     48 |  0.000 % |
92.91/93.08	c |     47314 |    1151   166431   731017 | 2147483647    47314     48 |  0.000 % |
93.42/93.56	c |     47856 |    1151   166431   731017 | 2147483647    47856     48 |  0.000 % |
93.91/94.10	c |     48452 |    1151   166431   731017 | 2147483647    48452     48 |  0.000 % |
94.42/94.57	c |     49110 |    1151   166431   731017 | 2147483647    49110     48 |  0.000 % |
94.52/94.65	c |     49210 |    1151   166431   731017 | 2147483647    49210     48 |  0.000 % |
94.61/94.77	c |     49323 |    1151   166431   731017 | 2147483647    49323     48 |  0.000 % |
94.71/94.89	c |     49444 |    1151   166431   731017 | 2147483647    49444     48 |  0.000 % |
94.91/95.03	c |     49580 |    1151   166431   731017 | 2147483647    49580     48 |  0.000 % |
95.62/95.73	c |     49727 |    1151   166431   731017 | 2147483647    49727     48 |  0.000 % |
96.31/96.45	c |     49888 |    1151   166431   731017 | 2147483647    49888     48 |  0.000 % |
97.11/97.23	c |     50066 |    1151   166431   731017 | 2147483647    50066     48 |  0.000 % |
98.11/98.25	c |     50259 |    1151   166431   731017 | 2147483647    50259     48 |  0.000 % |
99.41/99.51	c |     50476 |    1151   166431   731017 | 2147483647    50476     48 |  0.000 % |
100.71/100.83	c |     50709 |    1151   166431   731017 | 2147483647    50709     48 |  0.000 % |
101.91/102.09	c |     50965 |    1151   166431   731017 | 2147483647    50965     48 |  0.000 % |
103.61/103.74	c |     51246 |    1151   166431   731017 | 2147483647    51246     48 |  0.000 % |
105.11/105.26	c |     51556 |    1151   166431   731017 | 2147483647    51556     48 |  0.000 % |
106.61/106.75	c |     51896 |    1151   166431   731017 | 2147483647    51896     48 |  0.000 % |
108.31/108.42	c |     52269 |    1151   166431   731017 | 2147483647    52269     48 |  0.000 % |
110.31/110.45	c |     52678 |    1151   166431   731017 | 2147483647    52678     48 |  0.000 % |
112.50/112.64	c |     53128 |    1151   166431   731017 | 2147483647    53128     48 |  0.000 % |
115.31/115.40	c |     53621 |    1151   166431   731017 | 2147483647    53621     48 |  0.000 % |
118.30/118.44	c |     54166 |    1151   166431   731017 | 2147483647    54166     48 |  0.000 % |
121.10/121.27	c |     54764 |    1151   166431   731017 | 2147483647    54764     48 |  0.000 % |
123.40/123.55	c |     55419 |    1151   166431   731017 | 2147483647    55419     48 |  0.000 % |
126.20/126.33	c |     56140 |    1151   166431   731017 | 2147483647    56140     49 |  0.000 % |
126.70/126.81	c |     56240 |    1151   166431   731017 | 2147483647    56240     49 |  0.000 % |
127.00/127.15	c |     56350 |    1151   166431   731017 | 2147483647    56350     49 |  0.000 % |
127.69/127.89	c |     56471 |    1151   166431   731017 | 2147483647    56471     49 |  0.000 % |
128.29/128.45	c |     56604 |    1151   166431   731017 | 2147483647    56604     49 |  0.000 % |
129.19/129.35	c |     56750 |    1151   166431   731017 | 2147483647    56750     49 |  0.000 % |
129.79/129.97	c |     56910 |    1151   166431   731017 | 2147483647    56910     49 |  0.000 % |
130.29/130.49	c |     57088 |    1151   166431   731017 | 2147483647    57088     49 |  0.000 % |
130.79/130.92	c |     57281 |    1151   166431   731017 | 2147483647    57281     49 |  0.000 % |
131.49/131.67	c |     57494 |    1151   166431   731017 | 2147483647    57494     49 |  0.000 % |
132.39/132.59	c |     57727 |    1151   166431   731017 | 2147483647    57727     49 |  0.000 % |
133.69/133.84	c |     57983 |    1151   166431   731017 | 2147483647    57983     49 |  0.000 % |
134.79/134.97	c |     58264 |    1151   166431   731017 | 2147483647    58264     49 |  0.000 % |
135.79/135.96	c |     58576 |    1151   166431   731017 | 2147483647    58576     49 |  0.000 % |
137.49/137.62	c |     58916 |    1151   166431   731017 | 2147483647    58916     49 |  0.000 % |
139.69/139.84	c |     59289 |    1151   166431   731017 | 2147483647    59289     49 |  0.000 % |
141.99/142.12	c |     59699 |    1151   166431   731017 | 2147483647    59699     49 |  0.000 % |
143.99/144.17	c |     60148 |    1151   166431   731017 | 2147483647    60148     49 |  0.000 % |
145.79/145.92	c |     60641 |    1151   166431   731017 | 2147483647    60641     49 |  0.000 % |
147.69/147.82	c |     61185 |    1151   166431   731017 | 2147483647    61185     49 |  0.000 % |
149.59/149.79	c |     61781 |    1151   166431   731017 | 2147483647    61781     49 |  0.000 % |
151.79/151.98	c |     62437 |    1151   166431   731017 | 2147483647    62437     49 |  0.000 % |
153.39/153.51	c |     63157 |    1151   166431   731017 | 2147483647    63157     49 |  0.000 % |
154.19/154.34	c |     63949 |    1151   166431   731017 | 2147483647    63949     49 |  0.000 % |
154.29/154.47	c |     64050 |    1151   166431   731017 | 2147483647    64050     48 |  0.000 % |
154.89/155.08	c |     64160 |    1151   166431   731017 | 2147483647    64160     49 |  0.000 % |
155.69/155.86	c |     64281 |    1151   166431   731017 | 2147483647    64281     49 |  0.000 % |
156.28/156.46	c |     64415 |    1151   166431   731017 | 2147483647    64415     49 |  0.000 % |
156.88/157.05	c |     64563 |    1151   166431   731017 | 2147483647    64563     49 |  0.000 % |
157.98/158.10	c |     64723 |    1151   166431   731017 | 2147483647    64723     49 |  0.000 % |
159.08/159.29	c |     64899 |    1151   166431   731017 | 2147483647    64899     49 |  0.000 % |
160.18/160.31	c |     65092 |    1151   166431   731017 | 2147483647    65092     49 |  0.000 % |
161.28/161.49	c |     65307 |    1151   166431   731017 | 2147483647    65307     49 |  0.000 % |
162.69/162.88	c |     65541 |    1151   166431   731017 | 2147483647    65541     49 |  0.000 % |
164.48/164.65	c |     65798 |    1151   166431   731017 | 2147483647    65798     49 |  0.000 % |
165.98/166.19	c |     66080 |    1151   166431   731017 | 2147483647    66080     49 |  0.000 % |
167.68/167.89	c |     66391 |    1151   166431   731017 | 2147483647    66391     49 |  0.000 % |
169.18/169.32	c |     66733 |    1151   166431   731017 | 2147483647    66733     49 |  0.000 % |
170.58/170.77	c |     67106 |    1151   166431   731017 | 2147483647    67106     49 |  0.000 % |
172.57/172.79	c |     67516 |    1151   166431   731017 | 2147483647    67516     49 |  0.000 % |
175.57/175.74	c |     67965 |    1151   166431   731017 | 2147483647    67965     49 |  0.000 % |
178.66/178.83	c |     68459 |    1151   166431   731017 | 2147483647    68459     49 |  0.000 % |
181.37/181.51	c |     69002 |    1151   166431   731017 | 2147483647    69002     49 |  0.000 % |
184.86/185.07	c |     69598 |    1151   166431   731017 | 2147483647    69598     49 |  0.000 % |
188.56/188.78	c |     70256 |    1151   166431   731017 | 2147483647    70256     49 |  0.000 % |
191.97/192.13	c |     70979 |    1151   166431   731017 | 2147483647    70979     49 |  0.000 % |
195.57/195.72	c |     71771 |    1151   166431   731017 | 2147483647    71771     49 |  0.000 % |
199.56/199.78	c |     72642 |    1151   166431   731017 | 2147483647    72642     49 |  0.000 % |
199.97/200.14	c |     72742 |    1151   166431   731017 | 2147483647    72742     49 |  0.000 % |
200.46/200.65	c |     72854 |    1151   166431   731017 | 2147483647    72854     49 |  0.000 % |
200.96/201.13	c |     72975 |    1151   166431   731017 | 2147483647    72975     49 |  0.000 % |
201.76/201.95	c |     73108 |    1151   166431   731017 | 2147483647    73108     49 |  0.000 % |
202.46/202.61	c |     73256 |    1151   166431   731017 | 2147483647    73256     49 |  0.000 % |
203.06/203.22	c |     73416 |    1151   166431   731017 | 2147483647    73416     49 |  0.000 % |
203.37/203.53	c |     73593 |    1151   166431   731017 | 2147483647    73593     49 |  0.000 % |
204.56/204.72	c |     73786 |    1151   166431   731017 | 2147483647    73786     49 |  0.000 % |
205.76/205.94	c |     73998 |    1151   166431   731017 | 2147483647    73998     49 |  0.000 % |
207.16/207.33	c |     74232 |    1151   166431   731017 | 2147483647    74232     49 |  0.000 % |
208.66/208.84	c |     74489 |    1151   166431   731017 | 2147483647    74489     49 |  0.000 % |
210.56/210.73	c |     74771 |    1151   166431   731017 | 2147483647    74771     49 |  0.000 % |
212.06/212.24	c |     75081 |    1151   166431   731017 | 2147483647    75081     49 |  0.000 % |
213.05/213.25	c |     75421 |    1151   166431   731017 | 2147483647    75421     49 |  0.000 % |
214.56/214.72	c |     75794 |    1151   166431   731017 | 2147483647    75794     49 |  0.000 % |
216.65/216.89	c |     76204 |    1151   166431   731017 | 2147483647    76204     49 |  0.000 % |
218.85/219.06	c |     76653 |    1151   166431   731017 | 2147483647    76653     49 |  0.000 % |
221.25/221.40	c |     77151 |    1151   166431   731017 | 2147483647    77151     49 |  0.000 % |
223.54/223.78	c |     77695 |    1151   166431   731017 | 2147483647    77695     49 |  0.000 % |
226.84/227.07	c |     78291 |    1151   166431   731017 | 2147483647    78291     49 |  0.000 % |
229.84/230.08	c |     78947 |    1151   166431   731017 | 2147483647    78947     49 |  0.000 % |
232.94/233.16	c |     79668 |    1151   166431   731017 | 2147483647    79668     49 |  0.000 % |
235.34/235.58	c |     80460 |    1151   166431   731017 | 2147483647    80460     49 |  0.000 % |
238.74/238.90	c |     81331 |    1151   166431   731017 | 2147483647    81331     49 |  0.000 % |
242.24/242.48	c |     82290 |    1151   166431   731017 | 2147483647    82290     49 |  0.000 % |
242.74/242.99	c |     82391 |    1151   166431   731017 | 2147483647    82391     49 |  0.000 % |
243.44/243.68	c |     82501 |    1151   166431   731017 | 2147483647    82501     49 |  0.000 % |
243.94/244.15	c |     82622 |    1151   166431   731017 | 2147483647    82622     49 |  0.000 % |
244.54/244.75	c |     82756 |    1151   166431   731017 | 2147483647    82756     49 |  0.000 % |
245.24/245.46	c |     82902 |    1151   166431   731017 | 2147483647    82902     49 |  0.000 % |
246.24/246.48	c |     83064 |    1151   166431   731017 | 2147483647    83064     49 |  0.000 % |
246.73/246.99	c |     83241 |    1151   166431   731017 | 2147483647    83241     49 |  0.000 % |
248.04/248.20	c |     83435 |    1151   166431   731017 | 2147483647    83435     49 |  0.000 % |
249.24/249.42	c |     83648 |    1151   166431   731017 | 2147483647    83648     49 |  0.000 % |
250.04/250.22	c |     83883 |    1151   166431   731017 | 2147483647    83883     49 |  0.000 % |
251.94/252.13	c |     84139 |    1151   166431   731017 | 2147483647    84139     49 |  0.000 % |
253.44/253.66	c |     84421 |    1151   166431   731017 | 2147483647    84421     49 |  0.000 % |
254.84/255.01	c |     84731 |    1151   166431   731017 | 2147483647    84731     49 |  0.000 % |
256.14/256.37	c |     85071 |    1151   166431   731017 | 2147483647    85071     49 |  0.000 % |
257.84/258.04	c |     85443 |    1151   166431   731017 | 2147483647    85443     49 |  0.000 % |
260.24/260.47	c |     85853 |    1151   166431   731017 | 2147483647    85853     49 |  0.000 % |
263.43/263.65	c |     86302 |    1151   166431   731017 | 2147483647    86302     49 |  0.000 % |
266.03/266.23	c |     86795 |    1151   166431   731017 | 2147483647    86795     49 |  0.000 % |
268.82/269.08	c |     87338 |    1151   166431   731017 | 2147483647    87338     49 |  0.000 % |
271.72/271.93	c |     87934 |    1151   166431   731017 | 2147483647    87934     49 |  0.000 % |
275.83/276.01	c |     88590 |    1151   166431   731017 | 2147483647    88590     49 |  0.000 % |
280.62/280.86	c |     89312 |    1151   166431   731017 | 2147483647    89312     49 |  0.000 % |
284.82/285.00	c |     90105 |    1151   166431   731017 | 2147483647    90105     49 |  0.000 % |
288.91/289.17	c |     90978 |    1151   166431   731017 | 2147483647    90978     48 |  0.000 % |
293.52/293.73	c |     91938 |    1151   166431   731017 | 2147483647    91938     48 |  0.000 % |
297.31/297.56	c |     92991 |    1151   166431   731017 | 2147483647    92991     48 |  0.000 % |
297.81/298.02	c |     93092 |    1151   166431   731017 | 2147483647    93092     48 |  0.000 % |
298.31/298.55	c |     93202 |    1151   166431   731017 | 2147483647    93202     48 |  0.000 % |
298.91/299.13	c |     93323 |    1151   166431   731017 | 2147483647    93323     48 |  0.000 % |
299.51/299.76	c |     93456 |    1151   166431   731017 | 2147483647    93456     48 |  0.000 % |
300.21/300.48	c |     93604 |    1151   166431   731017 | 2147483647    93604     48 |  0.000 % |
301.01/301.20	c |     93765 |    1151   166431   731017 | 2147483647    93765     48 |  0.000 % |
301.81/302.03	c |     93942 |    1151   166431   731017 | 2147483647    93942     48 |  0.000 % |
302.81/303.04	c |     94135 |    1151   166431   731017 | 2147483647    94135     48 |  0.000 % |
303.61/303.80	c |     94347 |    1151   166431   731017 | 2147483647    94347     48 |  0.000 % |
304.91/305.10	c |     94583 |    1151   166431   731017 | 2147483647    94583     48 |  0.000 % |
306.10/306.35	c |     94841 |    1151   166431   731017 | 2147483647    94841     48 |  0.000 % |
307.10/307.39	c |     95122 |    1151   166431   731017 | 2147483647    95122     48 |  0.000 % |
308.90/309.13	c |     95432 |    1151   166431   731017 | 2147483647    95432     48 |  0.000 % |
310.90/311.16	c |     95771 |    1151   166431   731017 | 2147483647    95771     48 |  0.000 % |
312.70/312.93	c |     96145 |    1151   166431   731017 | 2147483647    96145     48 |  0.000 % |
314.31/314.54	c |     96554 |    1151   166431   731017 | 2147483647    96554     48 |  0.000 % |
316.30/316.55	c |     97004 |    1151   166431   731017 | 2147483647    97004     48 |  0.000 % |
318.60/318.89	c |     97498 |    1151   166431   731017 | 2147483647    97498     48 |  0.000 % |
321.10/321.38	c |     98041 |    1151   166431   731017 | 2147483647    98041     48 |  0.000 % |
323.80/324.03	c |     98638 |    1151   166431   731017 | 2147483647    98638     48 |  0.000 % |
327.10/327.37	c |     99293 |    1151   166431   731017 | 2147483647    99293     48 |  0.000 % |
331.30/331.56	c |    100013 |    1151   166431   731017 | 2147483647   100013     48 |  0.000 % |
336.59/336.81	c |    100806 |    1151   166431   731017 | 2147483647   100806     48 |  0.000 % |
342.49/342.78	c |    101678 |    1151   166431   731017 | 2147483647   101678     48 |  0.000 % |
347.99/348.29	c |    102637 |    1151   166431   731017 | 2147483647   102637     48 |  0.000 % |
356.37/356.61	c |    103691 |    1151   166431   731017 | 2147483647   103691     48 |  0.000 % |
362.86/363.19	c |    104849 |    1151   166431   731017 | 2147483647   104849     48 |  0.000 % |
363.77/364.01	c |    104949 |    1151   166431   731017 | 2147483647   104949     48 |  0.000 % |
364.36/364.69	c |    105060 |    1151   166431   731017 | 2147483647   105060     48 |  0.000 % |
365.36/365.67	c |    105181 |    1151   166431   731017 | 2147483647   105181     48 |  0.000 % |
366.26/366.52	c |    105314 |    1151   166431   731017 | 2147483647   105314     48 |  0.000 % |
367.36/367.67	c |    105462 |    1151   166431   731017 | 2147483647   105462     48 |  0.000 % |
368.56/368.89	c |    105622 |    1151   166431   731017 | 2147483647   105622     48 |  0.000 % |
369.96/370.25	c |    105801 |    1151   166431   731017 | 2147483647   105801     48 |  0.000 % |
371.46/371.75	c |    105995 |    1151   166431   731017 | 2147483647   105995     48 |  0.000 % |
373.56/373.82	c |    106209 |    1151   166431   731017 | 2147483647   106209     48 |  0.000 % |
375.06/375.35	c |    106442 |    1151   166431   731017 | 2147483647   106442     48 |  0.000 % |
377.26/377.56	c |    106699 |    1151   166431   731017 | 2147483647   106699     48 |  0.000 % |
379.46/379.72	c |    106982 |    1151   166431   731017 | 2147483647   106982     48 |  0.000 % |
381.66/381.92	c |    107294 |    1151   166431   731017 | 2147483647   107294     48 |  0.000 % |
384.06/384.30	c |    107634 |    1151   166431   731017 | 2147483647   107634     48 |  0.000 % |
386.46/386.73	c |    108007 |    1151   166431   731017 | 2147483647   108007     48 |  0.000 % |
388.66/388.96	c |    108417 |    1151   166431   731017 | 2147483647   108417     48 |  0.000 % |
391.66/391.93	c |    108867 |    1151   166431   731017 | 2147483647   108867     48 |  0.000 % |
394.96/395.21	c |    109362 |    1151   166431   731017 | 2147483647   109362     48 |  0.000 % |
398.55/398.87	c |    109904 |    1151   166431   731017 | 2147483647   109904     48 |  0.000 % |
403.35/403.69	c |    110500 |    1151   166431   731017 |   110001    93228     48 |  0.000 % |
406.65/406.90	c |    111155 |    1151   166431   731017 |   110001    93883     48 |  0.000 % |
411.75/412.03	c |    111875 |    1151   166431   731017 |   110001    94603     48 |  0.000 % |
416.94/417.27	c |    112668 |    1151   166431   731017 |   110001    95396     48 |  0.000 % |
422.44/422.70	c |    113539 |    1151   166431   731017 |   110001    96267     48 |  0.000 % |
428.74/429.04	c |    114498 |    1151   166431   731017 |   110001    97226     48 |  0.000 % |
434.94/435.29	c |    115553 |    1151   166431   731017 |   110001    98281     48 |  0.000 % |
441.14/441.46	c |    116711 |    1151   166431   731017 |   110001    99439     48 |  0.000 % |
447.43/447.77	c |    117986 |    1151   166431   731017 |   110001   100714     48 |  0.000 % |
447.83/448.15	c |    118087 |    1151   166431   731017 |   110001   100815     48 |  0.000 % |
448.43/448.73	c |    118197 |    1151   166431   731017 |   110001   100925     48 |  0.000 % |
449.13/449.42	c |    118320 |    1151   166431   731017 |   110001   101048     48 |  0.000 % |
449.83/450.12	c |    118453 |    1151   166431   731017 |   110001   101181     48 |  0.000 % |
450.73/451.02	c |    118601 |    1151   166431   731017 |   110001   101329     48 |  0.000 % |
451.63/451.96	c |    118761 |    1151   166431   731017 |   110001   101489     48 |  0.000 % |
452.53/452.86	c |    118938 |    1151   166431   731017 |   110001   101666     48 |  0.000 % |
453.53/453.89	c |    119132 |    1151   166431   731017 |   110001   101860     48 |  0.000 % |
454.63/454.98	c |    119344 |    1151   166431   731017 |   110001   102072     48 |  0.000 % |
456.03/456.37	c |    119577 |    1151   166431   731017 |   110001   102305     48 |  0.000 % |
457.42/457.76	c |    119839 |    1151   166431   731017 |   110001   102567     48 |  0.000 % |
459.22/459.54	c |    120120 |    1151   166431   731017 |   102728   102848     48 |  0.000 % |
460.82/461.14	c |    120429 |    1151   166431   731017 |   102728    88393     47 |  0.000 % |
462.52/462.85	c |    120772 |    1151   166431   731017 |   102728    88736     47 |  0.000 % |
464.42/464.71	c |    121144 |    1151   166431   731017 |   102728    89108     47 |  0.000 % |
466.52/466.81	c |    121556 |    1151   166431   731017 |   102728    89520     47 |  0.000 % |
468.92/469.28	c |    122006 |    1151   166431   731017 |   102728    89970     47 |  0.000 % |
472.62/472.92	c |    122500 |    1151   166431   731017 |   102728    90464     48 |  0.000 % |
476.41/476.76	c |    123043 |    1151   166431   731017 |   102728    91007     48 |  0.000 % |
480.21/480.58	c |    123639 |    1151   166431   731017 |   102728    91603     48 |  0.000 % |
484.41/484.70	c |    124295 |    1151   166431   731017 |   102728    92259     48 |  0.000 % |
489.60/489.96	c |    125017 |    1151   166431   731017 |   102728    92981     48 |  0.000 % |
495.40/495.71	c |    125809 |    1151   166431   731017 |   102728    93773     48 |  0.000 % |
501.20/501.57	c |    126682 |    1151   166431   731017 |   102728    94646     48 |  0.000 % |
508.00/508.33	c |    127640 |    1151   166431   731017 |   102728    95604     48 |  0.000 % |
514.19/514.51	c |    128693 |    1151   166431   731017 |   102728    96657     48 |  0.000 % |
520.00/520.33	c |    129851 |    1151   166431   731017 |   102728    97815     48 |  0.000 % |
528.19/528.56	c |    131125 |    1151   166431   731017 |    97964    80781     48 |  0.000 % |
534.88/535.20	c |    132525 |    1151   166431   731017 |    97964    82181     48 |  0.000 % |
535.29/535.63	c |    132628 |    1151   166431   731017 |    97964    82284     48 |  0.000 % |
535.98/536.39	c |    132738 |    1151   166431   731017 |    97964    82394     48 |  0.000 % |
536.68/537.07	c |    132859 |    1151   166431   731017 |    97964    82515     48 |  0.000 % |
537.78/538.10	c |    132992 |    1151   166431   731017 |    97964    82648     48 |  0.000 % |
538.78/539.19	c |    133138 |    1151   166431   731017 |    97964    82794     48 |  0.000 % |
540.18/540.52	c |    133298 |    1151   166431   731017 |    97964    82954     48 |  0.000 % |
541.38/541.74	c |    133474 |    1151   166431   731017 |    97964    83130     48 |  0.000 % |
543.28/543.62	c |    133668 |    1151   166431   731017 |    97964    83324     48 |  0.000 % |
544.18/544.55	c |    133880 |    1151   166431   731017 |    97964    83536     48 |  0.000 % |
546.08/546.42	c |    134113 |    1151   166431   731017 |    97964    83769     48 |  0.000 % |
548.08/548.41	c |    134369 |    1151   166431   731017 |    97964    84025     48 |  0.000 % |
550.48/550.87	c |    134650 |    1151   166431   731017 |    97964    84306     48 |  0.000 % |
552.68/553.01	c |    134959 |    1151   166431   731017 |    97964    84615     48 |  0.000 % |
554.68/555.03	c |    135298 |    1151   166431   731017 |    97964    84954     48 |  0.000 % |
556.68/557.09	c |    135671 |    1151   166431   731017 |    97964    85327     48 |  0.000 % |
558.87/559.25	c |    136081 |    1151   166431   731017 |    97964    85737     48 |  0.000 % |
562.17/562.58	c |    136535 |    1151   166431   731017 |    97964    86191     48 |  0.000 % |
565.47/565.88	c |    137029 |    1151   166431   731017 |    97964    86685     48 |  0.000 % |
569.87/570.28	c |    137572 |    1151   166431   731017 |    97964    87228     48 |  0.000 % |
574.37/574.72	c |    138170 |    1151   166431   731017 |    97964    87826     48 |  0.000 % |
578.56/578.91	c |    138825 |    1151   166431   731017 |    97964    88481     48 |  0.000 % |
583.26/583.64	c |    139548 |    1151   166431   731017 |    97964    89204     48 |  0.000 % |
589.66/590.06	c |    140343 |    1151   166431   731017 |    89657    71902     47 |  0.000 % |
593.26/593.60	c |    141215 |    1151   166431   731017 |    89657    72774     47 |  0.000 % |
598.86/599.28	c |    142174 |    1151   166431   731017 |    89657    73733     47 |  0.000 % |
604.16/604.57	c |    143227 |    1151   166431   731017 |    89657    74786     47 |  0.000 % |
608.25/608.63	c |    144385 |    1151   166431   731017 |    89657    75944     47 |  0.000 % |
616.55/616.95	c |    145659 |    1151   166431   731017 |    89657    77218     47 |  0.000 % |
625.84/626.28	c |    147062 |    1151   166431   731017 |    89657    78621     47 |  0.000 % |
636.33/636.78	c |    148602 |    1151   166431   731017 |    89657    80161     47 |  0.000 % |
637.14/637.59	c |    148702 |    1151   166431   731017 |    89657    80261     47 |  0.000 % |
637.94/638.35	c |    148814 |    1151   166431   731017 |    89657    80373     47 |  0.000 % |
638.94/639.35	c |    148936 |    1151   166431   731017 |    89657    80495     47 |  0.000 % |
640.14/640.58	c |    149071 |    1151   166431   731017 |    89657    80630     47 |  0.000 % |
641.24/641.65	c |    149218 |    1151   166431   731017 |    89657    80777     47 |  0.000 % |
642.34/642.78	c |    149382 |    1151   166431   731017 |    89657    80941     47 |  0.000 % |
643.74/644.13	c |    149560 |    1151   166431   731017 |    89657    81119     47 |  0.000 % |
644.74/645.10	c |    149754 |    1151   166431   731017 |    89657    81313     47 |  0.000 % |
646.24/646.64	c |    149966 |    1151   166431   731017 |    89657    81525     47 |  0.000 % |
648.14/648.55	c |    150200 |    1151   166431   731017 |    81560    81759     47 |  0.000 % |
650.44/650.81	c |    150457 |    1151   166431   731017 |    81560    70208     47 |  0.000 % |
651.94/652.37	c |    150738 |    1151   166431   731017 |    81560    70489     47 |  0.000 % |
654.24/654.64	c |    151047 |    1151   166431   731017 |    81560    70798     47 |  0.000 % |
656.54/656.93	c |    151387 |    1151   166431   731017 |    81560    71138     47 |  0.000 % |
659.04/659.45	c |    151760 |    1151   166431   731017 |    81560    71511     47 |  0.000 % |
661.84/662.29	c |    152171 |    1151   166431   731017 |    81560    71922     47 |  0.000 % |
665.04/665.45	c |    152620 |    1151   166431   731017 |    81560    72371     47 |  0.000 % |
667.03/667.48	c |    153113 |    1151   166431   731017 |    81560    72864     47 |  0.000 % |
669.93/670.35	c |    153656 |    1151   166431   731017 |    81560    73407     47 |  0.000 % |
672.73/673.14	c |    154252 |    1151   166431   731017 |    81560    74003     46 |  0.000 % |
675.93/676.38	c |    154907 |    1151   166431   731017 |    81560    74658     46 |  0.000 % |
678.83/679.23	c |    155627 |    1151   166431   731017 |    81560    75378     46 |  0.000 % |
682.82/683.21	c |    156419 |    1151   166431   731017 |    81560    76170     46 |  0.000 % |
686.03/686.42	c |    157290 |    1151   166431   731017 |    81560    77041     46 |  0.000 % |
691.72/692.14	c |    158249 |    1151   166431   731017 |    81560    78000     46 |  0.000 % |
695.02/695.47	c |    159302 |    1151   166431   731017 |    81560    79053     46 |  0.000 % |
702.02/702.42	c |    160461 |    1151   166431   731017 | 2147483647    80212     46 |  0.000 % |
709.61/710.04	c |    161737 |    1151   166431   731017 | 2147483647    81488     46 |  0.000 % |
718.10/718.53	c |    163140 |    1151   166431   731017 | 2147483647    82891     46 |  0.000 % |
727.50/727.90	c |    164680 |    1151   166431   731017 | 2147483647    84431     46 |  0.000 % |
737.60/738.05	c |    166374 |    1151   166431   731017 | 2147483647    86125     46 |  0.000 % |
738.20/738.69	c |    166475 |    1151   166431   731017 | 2147483647    86226     46 |  0.000 % |
739.30/739.70	c |    166586 |    1151   166431   731017 | 2147483647    86337     46 |  0.000 % |
740.00/740.50	c |    166708 |    1151   166431   731017 | 2147483647    86459     46 |  0.000 % |
741.20/741.68	c |    166842 |    1151   166431   731017 | 2147483647    86593     46 |  0.000 % |
742.50/742.98	c |    166988 |    1151   166431   731017 | 2147483647    86739     46 |  0.000 % |
743.90/744.36	c |    167149 |    1151   166431   731017 | 2147483647    86900     46 |  0.000 % |
744.90/745.37	c |    167325 |    1151   166431   731017 | 2147483647    87076     46 |  0.000 % |
745.89/746.34	c |    167518 |    1151   166431   731017 | 2147483647    87269     46 |  0.000 % |
747.39/747.82	c |    167734 |    1151   166431   731017 | 2147483647    87485     46 |  0.000 % |
748.39/748.87	c |    167967 |    1151   166431   731017 | 2147483647    87718     46 |  0.000 % |
750.39/750.88	c |    168225 |    1151   166431   731017 | 2147483647    87976     46 |  0.000 % |
752.09/752.55	c |    168506 |    1151   166431   731017 | 2147483647    88257     46 |  0.001 % |
754.29/754.74	c |    168815 |    1151   166431   731017 | 2147483647    88566     46 |  0.000 % |
756.99/757.40	c |    169154 |    1151   166431   731017 | 2147483647    88905     46 |  0.000 % |
759.59/760.02	c |    169526 |    1151   166431   731017 | 2147483647    89277     46 |  0.000 % |
762.89/763.31	c |    169936 |    1151   166431   731017 | 2147483647    89687     46 |  0.000 % |
765.48/765.95	c |    170385 |    1151   166431   731017 |    89753    77745     46 |  0.000 % |
767.39/767.82	c |    170879 |    1151   166431   731017 |    89753    78239     46 |  0.000 % |
769.88/770.36	c |    171423 |    1151   166431   731017 |    89753    78783     46 |  0.000 % |
774.08/774.58	c |    172020 |    1151   166431   731017 |    89753    79380     46 |  0.000 % |
778.98/779.47	c |    172675 |    1151   166431   731017 |    89753    80035     46 |  0.000 % |
781.58/782.02	c |    173396 |    1151   166431   731017 |    89753    80756     46 |  0.000 % |
786.38/786.81	c |    174188 |    1151   166431   731017 |    89753    81548     46 |  0.000 % |
791.07/791.57	c |    175060 |    1151   166431   731017 |    89753    82420     46 |  0.000 % |
796.57/797.08	c |    176019 |    1151   166431   731017 |    89753    83379     46 |  0.000 % |
801.87/802.32	c |    177073 |    1151   166431   731017 |    89753    84433     46 |  0.000 % |
807.06/807.59	c |    178235 |    1151   166431   731017 |    89753    85595     46 |  0.000 % |
813.57/814.04	c |    179510 |    1151   166431   731017 |    89753    86870     45 |  0.000 % |
823.36/823.84	c |    180912 |    1151   166431   731017 |    87361    77462     45 |  0.000 % |
831.95/832.45	c |    182452 |    1151   166431   731017 |    87361    79002     45 |  0.000 % |
841.35/841.85	c |    184147 |    1151   166431   731017 |    87361    80697     45 |  0.000 % |
850.64/851.10	c |    186011 |    1151   166431   731017 |    87361    82561     45 |  0.000 % |
851.64/852.11	c |    186114 |    1151   166431   731017 |    87361    82664     45 |  0.000 % |
852.04/852.57	c |    186224 |    1151   166431   731017 |    87361    82774     45 |  0.000 % |
853.04/853.56	c |    186346 |    1151   166431   731017 |    87361    82896     45 |  0.000 % |
853.94/854.45	c |    186483 |    1151   166431   731017 |    87361    83033     45 |  0.000 % |
854.84/855.34	c |    186630 |    1151   166431   731017 |    87361    83180     45 |  0.000 % |
855.44/855.97	c |    186792 |    1151   166431   731017 |    87361    83342     44 |  0.000 % |
856.34/856.88	c |    186968 |    1151   166431   731017 |    87361    83518     44 |  0.000 % |
857.24/857.78	c |    187162 |    1151   166431   731017 |    87361    83712     44 |  0.000 % |
858.24/858.79	c |    187374 |    1151   166431   731017 |    87361    83924     44 |  0.000 % |
859.44/859.97	c |    187607 |    1151   166431   731017 |    87361    84157     44 |  0.000 % |
860.44/860.91	c |    187863 |    1151   166431   731017 |    87361    84413     44 |  0.000 % |
860.74/861.21	c |    188144 |    1151   166431   731017 |    87361    84694     44 |  0.000 % |
861.14/861.62	c |    188453 |    1151   166431   731017 |    87361    85003     44 |  0.000 % |
861.54/862.03	c |    188794 |    1151   166431   731017 |    87361    85344     44 |  0.000 % |
862.64/863.11	c |    189166 |    1151   166431   731017 |    87361    85716     44 |  0.000 % |
863.14/863.61	c |    189576 |    1151   166431   731017 |    87361    86126     44 |  0.001 % |
865.93/866.43	c |    190028 |    1151   166431   731017 | 2147483647    86578     44 |  0.000 % |
867.23/867.71	c |    190522 |    1151   166431   731017 | 2147483647    87072     44 |  0.000 % |
871.43/871.90	c |    191068 |    1151   166431   731017 | 2147483647    87618     44 |  0.000 % |
875.93/876.50	c |    191664 |    1151   166431   731017 | 2147483647    88214     44 |  0.000 % |
879.93/880.41	c |    192320 |    1151   166431   731017 | 2147483647    88870     44 |  0.000 % |
884.63/885.10	c |    193040 |    1151   166431   731017 | 2147483647    89590     44 |  0.000 % |
888.53/889.02	c |    193832 |    1151   166431   731017 | 2147483647    90382     44 |  0.000 % |
895.72/896.27	c |    194703 |    1151   166431   731017 | 2147483647    91253     44 |  0.000 % |
902.02/902.58	c |    195665 |    1151   166431   731017 | 2147483647    92215     44 |  0.000 % |
905.51/906.06	c |    196719 |    1151   166431   731017 | 2147483647    93269     44 |  0.000 % |
909.51/910.02	c |    197878 |    1151   166431   731017 | 2147483647    94428     44 |  0.000 % |
919.61/920.10	c |    199151 |    1151   166431   731017 | 2147483647    95701     45 |  0.000 % |
930.11/930.65	c |    200551 |    1151   166431   731017 | 2147483647    97101     45 |  0.000 % |
942.09/942.68	c |    202094 |    1151   166431   731017 | 2147483647    98644     45 |  0.000 % |
952.69/953.25	c |    203788 |    1151   166431   731017 | 2147483647   100338     45 |  0.000 % |
965.68/966.27	c |    205656 |    1151   166431   731017 | 2147483647   102206     45 |  0.000 % |
982.78/983.39	c |    207705 |    1151   166431   731017 | 2147483647   104255     45 |  0.000 % |
983.98/984.52	c |    207805 |    1151   166431   731017 | 2147483647   104355     45 |  0.000 % |
984.77/985.39	c |    207916 |    1151   166431   731017 | 2147483647   104466     45 |  0.000 % |
985.37/985.91	c |    208037 |    1151   166431   731017 | 2147483647   104587     45 |  0.000 % |
986.18/986.71	c |    208171 |    1151   166431   731017 | 2147483647   104721     45 |  0.000 % |
986.87/987.43	c |    208318 |    1151   166431   731017 | 2147483647   104868     45 |  0.000 % |
988.38/988.92	c |    208478 |    1151   166431   731017 | 2147483647   105028     45 |  0.000 % |
990.48/991.07	c |    208655 |    1151   166431   731017 | 2147483647   105205     45 |  0.000 % |
992.27/992.89	c |    208849 |    1151   166431   731017 | 2147483647   105399     45 |  0.000 % |
994.07/994.61	c |    209061 |    1151   166431   731017 | 2147483647   105611     45 |  0.000 % |
995.77/996.32	c |    209294 |    1151   166431   731017 | 2147483647   105844     45 |  0.000 % |
996.07/996.60	c |    209553 |    1151   166431   731017 | 2147483647   106103     45 |  0.000 % |
998.77/999.33	c |    209835 |    1151   166431   731017 | 2147483647   106385     45 |  0.000 % |
1001.57/1002.17	c |    210145 |    1151   166431   731017 | 2147483647   106695     45 |  0.000 % |
1004.27/1004.83	c |    210485 |    1151   166431   731017 | 2147483647   107035     45 |  0.000 % |
1007.57/1008.10	c |    210858 |    1151   166431   731017 | 2147483647   107408     45 |  0.000 % |
1008.57/1009.17	c |    211269 |    1151   166431   731017 | 2147483647   107819     45 |  0.000 % |
1011.96/1012.59	c |    211719 |    1151   166431   731017 | 2147483647   108269     45 |  0.000 % |
1016.56/1017.13	c |    212212 |    1151   166431   731017 | 2147483647   108762     45 |  0.000 % |
1019.86/1020.42	c |    212755 |    1151   166431   731017 | 2147483647   109305     45 |  0.000 % |
1022.56/1023.10	c |    213351 |    1151   166431   731017 | 2147483647   109901     45 |  0.000 % |
1026.16/1026.70	c |    214006 |    1151   166431   731017 | 2147483647   110556     45 |  0.000 % |
1032.06/1032.68	c |    214726 |    1151   166431   731017 | 2147483647   111276     45 |  0.000 % |
1038.36/1038.93	c |    215519 |    1151   166431   731017 | 2147483647   112069     45 |  0.000 % |
1047.26/1047.85	c |    216390 |    1151   166431   731017 | 2147483647   112940     45 |  0.000 % |
1055.15/1055.76	c |    217349 |    1151   166431   731017 | 2147483647   113899     45 |  0.000 % |
1063.85/1064.46	c |    218403 |    1151   166431   731017 | 2147483647   114953     45 |  0.000 % |
1073.44/1074.02	c |    219562 |    1151   166431   731017 | 2147483647   116112     45 |  0.000 % |
1086.04/1086.61	c |    220836 |    1151   166431   731017 | 2147483647   117386     45 |  0.000 % |
1098.34/1098.91	c |    222238 |    1151   166431   731017 | 2147483647   118788     45 |  0.000 % |
1109.33/1109.99	c |    223778 |    1151   166431   731017 | 2147483647   120328     45 |  0.000 % |
1126.02/1126.66	c |    225473 |    1151   166431   731017 | 2147483647   122023     45 |  0.000 % |
1142.41/1143.05	c |    227336 |    1151   166431   731017 | 2147483647   123886     45 |  0.000 % |
1155.61/1156.22	c |    229385 |    1151   166431   731017 | 2147483647   125935     45 |  0.000 % |
1163.80/1164.42	c |    231641 |    1151   166431   731017 | 2147483647   128191     45 |  0.000 % |
1164.20/1164.88	c |    231743 |    1151   166431   731017 | 2147483647   128293     45 |  0.000 % |
1164.70/1165.33	c |    231853 |    1151   166431   731017 | 2147483647   128403     45 |  0.000 % |
1165.10/1165.72	c |    231980 |    1151   166431   731017 | 2147483647   128530     45 |  0.000 % |
1165.40/1166.07	c |    232116 |    1151   166431   731017 | 2147483647   128666     45 |  0.000 % |
1166.30/1166.99	c |    232262 |    1151   166431   731017 | 2147483647   128812     45 |  0.000 % |
1167.40/1168.05	c |    232422 |    1151   166431   731017 | 2147483647   128972     45 |  0.000 % |
1169.00/1169.61	c |    232599 |    1151   166431   731017 | 2147483647   129149     45 |  0.000 % |
1171.10/1171.80	c |    232792 |    1151   166431   731017 | 2147483647   129342     45 |  0.000 % |
1172.60/1173.29	c |    233004 |    1151   166431   731017 | 2147483647   129554     45 |  0.000 % |
1174.89/1175.50	c |    233238 |    1151   166431   731017 | 2147483647   129788     45 |  0.000 % |
1177.29/1177.97	c |    233494 |    1151   166431   731017 | 2147483647   130044     45 |  0.000 % |
1178.29/1178.93	c |    233775 |    1151   166431   731017 | 2147483647   130325     45 |  0.000 % |
1181.39/1182.03	c |    234084 |    1151   166431   731017 | 2147483647   130634     45 |  0.000 % |
1182.69/1183.31	c |    234423 |    1151   166431   731017 | 2147483647   130973     45 |  0.000 % |
1186.89/1187.54	c |    234795 |    1151   166431   731017 | 2147483647   131345     45 |  0.000 % |
1191.79/1192.46	c |    235206 |    1151   166431   731017 | 2147483647   131756     45 |  0.000 % |
1195.98/1196.62	c |    235656 |    1151   166431   731017 | 2147483647   132206     45 |  0.000 % |

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833955-1242826437/watcher-1833955-1242826437 -o /tmp/evaluation-result-1833955-1242826437/solver-1833955-1242826437 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833955-1242826437.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: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 31723
/proc/meminfo: memFree=1965400/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=0
/proc/31723/stat : 31723 (SatELiteGTI) R 31721 31723 31543 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 310673845 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674091167 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/31723/statm: 1339 237 197 169 0 50 0
[pid=31727] ppid=31723 vsize=872 CPUtime=0
/proc/31727/stat : 31727 (SatELite_releas) R 31723 31723 31543 0 -1 4194304 89 0 0 0 0 0 0 0 18 0 1 0 310673846 892928 75 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/31727/statm: 218 77 49 173 0 43 0

[startup+0.0986729 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 31723
/proc/meminfo: memFree=1965400/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=0
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310673845 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31723/statm: 1339 237 197 169 0 50 0
[pid=31727] ppid=31723 vsize=11328 CPUtime=0.08
/proc/31727/stat : 31727 (SatELite_releas) R 31723 31723 31543 0 -1 4194304 2581 0 0 0 7 1 0 0 20 0 1 0 310673846 11599872 2567 1992294400 134512640 135223648 4294956128 18446744073709551615 134576631 0 0 4096 3 0 0 0 17 0 0 0
/proc/31727/statm: 2832 2572 75 173 0 2657 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16684

[startup+0.102672 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 31723
/proc/meminfo: memFree=1965400/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=0
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310673845 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31723/statm: 1339 237 197 169 0 50 0
[pid=31727] ppid=31723 vsize=11464 CPUtime=0.08
/proc/31727/stat : 31727 (SatELite_releas) R 31723 31723 31543 0 -1 4194304 2671 0 0 0 7 1 0 0 20 0 1 0 310673846 11739136 2657 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/31727/statm: 2866 2657 75 173 0 2691 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16820

[startup+0.302695 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 31723
/proc/meminfo: memFree=1965400/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=0
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310673845 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31723/statm: 1339 237 197 169 0 50 0
[pid=31727] ppid=31723 vsize=14128 CPUtime=0.28
/proc/31727/stat : 31727 (SatELite_releas) R 31723 31723 31543 0 -1 4194304 3331 0 0 0 26 2 0 0 22 0 1 0 310673846 14467072 3317 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 0 0 0
/proc/31727/statm: 3532 3317 76 173 0 3357 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19484

[startup+0.70274 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 31723
/proc/meminfo: memFree=1965400/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=0
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310673845 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31723/statm: 1339 237 197 169 0 50 0
[pid=31727] ppid=31723 vsize=18312 CPUtime=0.68
/proc/31727/stat : 31727 (SatELite_releas) R 31723 31723 31543 0 -1 4194304 4039 0 0 0 65 3 0 0 25 0 1 0 310673846 18751488 4025 1992294400 134512640 135223648 4294956128 18446744073709551615 134601718 0 0 4096 3 0 0 0 17 0 0 0
/proc/31727/statm: 4578 4025 76 173 0 4403 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 23668

[startup+1.50183 s]
/proc/loadavg: 0.91 0.98 0.99 2/67 31728
/proc/meminfo: memFree=1947400/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=0
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310673845 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31723/statm: 1339 237 197 169 0 50 0
[pid=31727] ppid=31723 vsize=19656 CPUtime=1.48
/proc/31727/stat : 31727 (SatELite_releas) R 31723 31723 31543 0 -1 4194304 4234 0 0 0 145 3 0 0 25 0 1 0 310673846 20127744 4220 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/31727/statm: 4914 4220 76 173 0 4739 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25012

[startup+3.10202 s]
/proc/loadavg: 0.91 0.98 0.99 2/67 31728
/proc/meminfo: memFree=1947336/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 5356
heavy processes:

[startup+6.30136 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31729
/proc/meminfo: memFree=1949448/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=11956 CPUtime=3.79
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 2847 0 0 0 377 2 0 0 25 0 1 0 310674095 12242944 2833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 2989 2833 77 171 0 2816 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17312

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31729
/proc/meminfo: memFree=1947464/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=13796 CPUtime=10.19
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 3299 0 0 0 1016 3 0 0 25 0 1 0 310674095 14127104 3285 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 3449 3285 77 171 0 3276 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 19152

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31729
/proc/meminfo: memFree=1945544/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=15876 CPUtime=22.98
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 3793 0 0 0 2295 3 0 0 25 0 1 0 310674095 16257024 3779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 3969 3779 77 171 0 3796 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 21232

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31729
/proc/meminfo: memFree=1942664/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=18848 CPUtime=48.56
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 4539 0 0 0 4852 4 0 0 25 0 1 0 310674095 19300352 4525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 4712 4525 77 171 0 4539 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 24204

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31729
/proc/meminfo: memFree=1936584/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=25120 CPUtime=99.73
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 6006 0 0 0 9968 5 0 0 25 0 1 0 310674095 25722880 5992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 6280 5992 77 171 0 6107 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 30476

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31729
/proc/meminfo: memFree=1932936/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=28776 CPUtime=159.7
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 6888 0 0 0 15964 6 0 0 25 0 1 0 310674095 29466624 6874 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 7194 6874 77 171 0 7021 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 34132

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31729
/proc/meminfo: memFree=1929800/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=31936 CPUtime=219.67
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 7640 0 0 0 21960 7 0 0 25 0 1 0 310674095 32702464 7626 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 7984 7626 77 171 0 7811 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 37292

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31729
/proc/meminfo: memFree=1927048/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=34728 CPUtime=279.64
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 8346 0 0 0 27956 8 0 0 25 0 1 0 310674095 35561472 8332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 8682 8332 77 171 0 8509 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 40084

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31729
/proc/meminfo: memFree=1923720/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=38160 CPUtime=339.61
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 9141 0 0 0 33952 9 0 0 25 0 1 0 310674095 39075840 9127 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 9540 9127 77 171 0 9367 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 43516


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

/proc/31729/statm: 10205 9810 77 171 0 10032 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 46176

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31731
/proc/meminfo: memFree=1920136/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=40984 CPUtime=639.47
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 9863 0 0 0 63936 11 0 0 25 0 1 0 310674095 41967616 9849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 10246 9849 77 171 0 10073 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 46340

[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31731
/proc/meminfo: memFree=1919944/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=40984 CPUtime=699.44
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 9871 0 0 0 69933 11 0 0 25 0 1 0 310674095 41967616 9857 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 10246 9857 77 171 0 10073 0
Current children cumulated CPU time (s) 701.92
Current children cumulated vsize (KiB) 46340

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31731
/proc/meminfo: memFree=1919816/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=41200 CPUtime=759.41
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 9895 0 0 0 75930 11 0 0 25 0 1 0 310674095 42188800 9881 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 10300 9881 77 171 0 10127 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 46556

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31731
/proc/meminfo: memFree=1918088/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=43344 CPUtime=819.38
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 10330 0 0 0 81927 11 0 0 25 0 1 0 310674095 44384256 10308 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 10836 10308 77 171 0 10663 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 48700

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31731
/proc/meminfo: memFree=1917640/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=43828 CPUtime=879.35
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 10435 0 0 0 87924 11 0 0 25 0 1 0 310674095 44879872 10413 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 10957 10413 77 171 0 10784 0
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (KiB) 49184

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31731
/proc/meminfo: memFree=1917320/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=43828 CPUtime=939.31
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 10478 0 0 0 93920 11 0 0 25 0 1 0 310674095 44879872 10456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 10957 10456 77 171 0 10784 0
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (KiB) 49184

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31731
/proc/meminfo: memFree=1917192/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=43948 CPUtime=999.29
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 10500 0 0 0 99918 11 0 0 25 0 1 0 310674095 45002752 10478 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 10987 10478 77 171 0 10814 0
Current children cumulated CPU time (s) 1001.77
Current children cumulated vsize (KiB) 49304

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31731
/proc/meminfo: memFree=1917000/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=43948 CPUtime=1059.27
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 10511 0 0 0 105915 12 0 0 25 0 1 0 310674095 45002752 10489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 10987 10489 77 171 0 10814 0
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (KiB) 49304

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31731
/proc/meminfo: memFree=1916232/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=44752 CPUtime=1119.24
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 10708 0 0 0 111912 12 0 0 25 0 1 0 310674095 45826048 10686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 11188 10686 77 171 0 11015 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 50108

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31731
/proc/meminfo: memFree=1913992/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=46948 CPUtime=1179.21
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 11252 0 0 0 117909 12 0 0 25 0 1 0 310674095 48074752 11230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 11737 11230 77 171 0 11564 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 52304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31731
/proc/meminfo: memFree=1913480/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=47388 CPUtime=1197.61
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 11360 0 0 0 119748 13 0 0 25 0 1 0 310674095 48525312 11338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 11847 11338 77 171 0 11674 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 52744

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31731
/proc/meminfo: memFree=1913480/2055920 swapFree=4179924/4192956
[pid=31723] ppid=31721 vsize=5356 CPUtime=2.48
/proc/31723/stat : 31723 (SatELiteGTI) S 31721 31723 31543 0 -1 4194304 336 4486 0 0 0 0 243 5 16 0 1 0 310673845 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31723/statm: 1339 239 197 169 0 50 0
[pid=31729] ppid=31723 vsize=47388 CPUtime=1197.61
/proc/31729/stat : 31729 (minisat_static) R 31723 31723 31543 0 -1 4194304 11360 0 0 0 119748 13 0 0 25 0 1 0 310674095 48525312 11338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31729/statm: 11847 11338 77 171 0 11674 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 52744

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31723 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=432630
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=59990
# CPU time returned by wait4() is 2.49262
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.71
CPU time (s): 1200.09
CPU user time (s): 1199.91
CPU system time (s): 0.18
CPU usage (%): 99.9482
Max. virtual memory (cumulated for all children) (KiB): 52744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.43263
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4822
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= 13
involuntary context switches= 14

runsolver used 1.04684 second user time and 3.38648 second system time

The end

Launcher Data 

Begin job on node76 at 2009-05-20 15:33:57
IDJOB=1833955
IDBENCH=71093
IDSOLVER=671
FILE ID=node76/1833955-1242826437
PBS_JOBID= 9322547
Free space on /tmp= 66172 MiB

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

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

MD5SUM BENCH= 3cd74d1813a4408b4123afc23df07d7d
RANDOM SEED=240365032

node76.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1965944 kB
Buffers:         18872 kB
Cached:          34564 kB
SwapCached:       7356 kB
Active:          31028 kB
Inactive:        31224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1965944 kB
SwapTotal:     4192956 kB
SwapFree:      4179924 kB
Dirty:            4224 kB
Writeback:           0 kB
Mapped:          13888 kB
Slab:            13636 kB
Committed_AS:  1024368 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66164 MiB
End job on node76 at 2009-05-20 15:54:00