Trace number 4116653

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
toysat 2016-05-02? (TO) 1800.05 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-7.opb
MD5SUM61ae36a4f676caa4ef52360a8e78a841
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-27T01:04:51+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4116653-1466982291.opb"]
0.00/0.01	c use --random-gen="421372013 1511819327 220097632 2366127515 1579596084 2920792804 3526766081 2719494913 1931276082 2467541856 1066879267 2024582637 407088183 3733703250 3217961358 2636735576 3664366146 221053017 4079676469 2472726625 3106730526 917280231 1194482079 1266899619 3669516036 31872939 2122571537 4154008952 3145407840 391151496 2558401586 2603509120 1215296427 539310581 1159112395 1687393990 1895037411 1006123927 137717874 216384197 2147960006 1601064514 2735747577 1357940823 3192592498 104687332 1482639452 2232743069 2912479589 4155059686 657949070 2019774548 2288331452 1586835522 704591861 1276918444 1553161149 1272350557 2767150523 1486796351 2325778467 343079600 1280804119 151932686 1782018841 209913328 757591605 2454606643 2511023790 1325919423 3446490458 2581246904 1485723025 1437792337 1616465030 3237559524 746549278 496038773 534038428 2231561296 1553632348 1586534311 3606144128 3169180645 179270861 313471228 387366305 2556728606 2074300810 2383375876 2185744121 1417452658 2233482394 561769678 2922034382 2907357938 2462723582 3018947160 3206076062 419626951 3808180658 2331938408 3197747078 1299823719 3071875233 1124115969 3514795978 2216084847 120498961 1209933713 3904193939 3084550737 2530594925 2555402096 2799763409 872940390 3931337282 2185335481 2842598512 2249104511 339903502 4069824438 743014279 42900997 1411682026 552592338 2005841953 1363034223 2190995294 2432698289 658494672 54891787 2915094662 3291092118 3129550717 1340211696 3801251308 690544107 263399343 1433402931 4122585620 1615925311 247970855 803463722 1554796156 1055727282 607264945 1839552926 2345653821 4244460633 1245560861 2568840648 2741567043 2001826915 2579128579 2888759221 1573756251 2658167014 3164983844 9471096 3623505931 995218213 2693308836 2791059501 429640926 2922661915 3550864220 2035738104 2953963481 852171592 1960357270 2578077894 907311468 1810816069 1555369052 3583106624 3662537493 3250057990 1627105437 702277102 1284197214 319947874 2719206078 4041893485 3809358929 745512744 1841098357 916969315 4277384760 4155432611 1620599772 1280320300 534907451 3393151272 3053437563 1806515982 2087812254 3296463019 1368144574 227789364 935016917 1642552745 3204291442 2844136574 444398350 2413449209 1467085709 483574991 3251791432 2547728688 1573041766 250939813 1090732690 532537296 2647547199 4042131308 3068985919 2244418477 3067279249 925576835 3612067125 3240906002 1588930974 1706487580 3222440736 2824503152 2684427370 1587330822 4015306103 4256389778 2435805726 4150924201 607103074 1907415099 3127485271 3072550361 1580040958 3336945419 2611858560 577017779 205071860 3321801121 197063117 3435811195 2544603657 1212420843 2486246639 1398876522 3336067010 3462410906 1958564846 3911595840 1178365118 3720712683 579601589 3374506146 255 362436" option to reproduce the execution
0.08/0.12	c #vars 4288
0.08/0.12	c #constraints 9536
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      907 |        0
0.28/0.35	c  0.1s |       1 |      538 |      100 |     4565      0 |      907 |      944
0.48/0.50	c  0.2s |       2 |     1426 |      250 |     5022      0 |      907 |      944
0.58/0.63	c  0.4s |       3 |     3447 |      475 |     5525      0 |      907 |      944
0.99/1.04	c  0.8s |       4 |     5539 |      813 |     6078      0 |      907 |      944
1.38/1.49	c  1.2s |       5 |     7715 |     1320 |     6686      0 |      907 |      944
1.98/2.00	c  1.7s |       6 |    13332 |     2081 |     8091      0 |      908 |      944
2.48/2.59	c  2.3s |       7 |    19545 |     3223 |     8901      0 |      908 |      944
3.78/3.83	c  3.6s |       8 |    28022 |     4936 |     9792      0 |      908 |      944
5.79/5.83	c  5.6s |       8 |    30882 |     6336 |     9792      0 |      908 |      944
6.99/7.08	c  6.8s |       9 |    32478 |     7506 |    10772      0 |      908 |      944
9.09/9.11	c  8.8s |       9 |    41405 |     9706 |    10772      0 |      908 |      944
11.09/11.15	c 10.9s |       9 |    43069 |    10906 |    10772      0 |      908 |      944
11.88/11.95	c 11.7s |      10 |    43654 |    11361 |    11850      0 |      908 |      944
13.98/14.01	c 13.7s |      10 |    56070 |    14061 |    11850      0 |      909 |      944
16.08/16.10	c 15.8s |      10 |    58607 |    15961 |    11850      1 |      909 |      944
17.28/17.31	c 17.0s |      11 |    60848 |    17144 |    13036      1 |      909 |      944
19.28/19.31	c 19.0s |      11 |    66582 |    19344 |    13036      1 |      909 |      944
21.28/21.38	c 21.1s |      11 |    69435 |    21144 |    13036      1 |      909 |      944
23.38/23.47	c 23.2s |      11 |    77257 |    23244 |    13036      2 |      909 |      944
25.38/25.48	c 25.2s |      11 |    81182 |    25244 |    13036      2 |      909 |      944
26.08/26.17	c 25.9s |      12 |    82178 |    25819 |    14340      2 |      909 |      944
28.27/28.35	c 28.1s |      12 |    90219 |    27819 |    14340      2 |      909 |      944
30.37/30.41	c 30.1s |      12 |    91975 |    29019 |    14340      2 |      909 |      944
32.58/32.64	c 32.4s |      12 |    93142 |    30019 |    14340      2 |      909 |      944
34.78/34.80	c 34.5s |      12 |    94563 |    31119 |    14340      2 |      909 |      944
36.78/36.83	c 36.6s |      12 |    95645 |    32019 |    14340      3 |      909 |      944
38.98/39.04	c 38.8s |      12 |    96840 |    33019 |    14340      3 |      909 |      944
41.18/41.20	c 40.9s |      12 |    97906 |    33919 |    14340      3 |      909 |      944
43.28/43.30	c 43.0s |      12 |    98974 |    34819 |    14340      3 |      909 |      944
45.28/45.38	c 45.1s |      12 |   100313 |    35819 |    14340      3 |      909 |      944
47.29/47.39	c 47.1s |      12 |   101510 |    36719 |    14340      3 |      909 |      944
49.38/49.44	c 49.2s |      12 |   102657 |    37619 |    14340      3 |      909 |      944
51.58/51.64	c 51.4s |      12 |   103806 |    38519 |    14340      3 |      909 |      944
52.18/52.25	c 52.0s |      13 |   104256 |    38832 |    15775      3 |      909 |      944
54.18/54.27	c 54.0s |      13 |   116411 |    41332 |    15775      4 |      909 |      944
56.18/56.29	c 56.0s |      13 |   123632 |    43732 |    15775      4 |      909 |      944
58.28/58.39	c 58.1s |      13 |   127102 |    45532 |    15775      4 |      909 |      944
60.48/60.53	c 60.2s |      13 |   128497 |    46632 |    15775      4 |      909 |      944
62.57/62.67	c 62.4s |      13 |   130131 |    47932 |    15775      4 |      909 |      944
64.77/64.85	c 64.6s |      13 |   131494 |    49032 |    15775      4 |      909 |      944
66.77/66.87	c 66.6s |      13 |   132724 |    50032 |    15775      4 |      909 |      944
68.87/69.00	c 68.7s |      13 |   133783 |    50932 |    15775      4 |      909 |      944
70.97/71.03	c 70.8s |      13 |   134569 |    51632 |    15775      5 |      909 |      944
73.17/73.26	c 73.0s |      13 |   135324 |    52332 |    15775      5 |      909 |      944
75.37/75.48	c 75.2s |      13 |   136269 |    53132 |    15775      5 |      909 |      944
77.57/77.62	c 77.3s |      13 |   137215 |    53932 |    15775      5 |      909 |      944
79.87/79.90	c 79.6s |      13 |   138145 |    54732 |    15775      5 |      909 |      944
81.87/81.96	c 81.7s |      13 |   139104 |    55532 |    15775      5 |      909 |      944
84.17/84.23	c 84.0s |      13 |   139889 |    56232 |    15775      5 |      909 |      944
86.26/86.33	c 86.1s |      13 |   141125 |    57132 |    15775      5 |      909 |      944
88.46/88.56	c 88.3s |      13 |   142298 |    58132 |    17353      5 |      909 |      944
89.07/89.13	c 88.9s |      14 |   142538 |    58352 |    17353      5 |      909 |      944
91.07/91.18	c 90.9s |      14 |   146291 |    60052 |    17353      5 |      909 |      944
93.17/93.26	c 93.0s |      14 |   148062 |    61452 |    17353      5 |      909 |      944
95.27/95.39	c 95.1s |      14 |   149437 |    62552 |    17353      6 |      909 |      944
97.37/97.47	c 97.2s |      14 |   150960 |    63752 |    17353      6 |      909 |      944
99.57/99.66	c 99.4s |      14 |   152364 |    64852 |    17353      6 |      909 |      944
101.67/101.76	c  101s |      14 |   153531 |    65852 |    17353      6 |      909 |      944
103.97/104.02	c  103s |      14 |   154566 |    66752 |    17353      6 |      909 |      944
106.07/106.15	c  105s |      14 |   155481 |    67552 |    17353      6 |      909 |      944
108.07/108.18	c  107s |      14 |   156372 |    68352 |    17353      6 |      909 |      944
110.27/110.31	c  110s |      14 |   157303 |    69152 |    17353      6 |      909 |      944
112.37/112.44	c  112s |      14 |   158219 |    69952 |    17353      6 |      909 |      944
114.47/114.59	c  114s |      14 |   159142 |    70752 |    17353      6 |      909 |      944
116.67/116.75	c  116s |      14 |   159934 |    71452 |    17353      6 |      909 |      944
118.77/118.85	c  118s |      14 |   160793 |    72152 |    17353      6 |      909 |      944
120.76/120.86	c  120s |      14 |   162571 |    73152 |    17353      7 |      909 |      944
122.76/122.87	c  122s |      14 |   163932 |    74152 |    17353      7 |      909 |      944
124.76/124.89	c  124s |      14 |   164761 |    74852 |    17353      7 |      909 |      944
126.86/126.94	c  126s |      14 |   165542 |    75552 |    17353      7 |      909 |      944
129.06/129.17	c  128s |      14 |   166626 |    76352 |    17353      7 |      909 |      944
131.16/131.21	c  130s |      14 |   167722 |    77252 |    17353      7 |      909 |      944
133.26/133.38	c  133s |      14 |   168697 |    78052 |    17353      7 |      909 |      944
135.46/135.56	c  135s |      14 |   170034 |    79052 |    17353      7 |      909 |      944
137.66/137.77	c  137s |      14 |   171008 |    79852 |    17353      7 |      909 |      944
139.86/139.90	c  139s |      14 |   171860 |    80552 |    17353      7 |      909 |      944
141.86/141.95	c  141s |      14 |   172692 |    81252 |    17353      7 |      909 |      944
144.06/144.16	c  143s |      14 |   173471 |    81952 |    17353      7 |      909 |      944
146.16/146.27	c  145s |      14 |   174134 |    82552 |    17353      7 |      909 |      944
148.16/148.29	c  148s |      14 |   174832 |    83152 |    17353      8 |      909 |      944
150.35/150.47	c  150s |      14 |   175783 |    83952 |    17353      8 |      909 |      944
152.55/152.60	c  152s |      14 |   176692 |    84752 |    17353      8 |      909 |      944
154.55/154.69	c  154s |      14 |   177593 |    85552 |    17353      8 |      909 |      944
156.85/156.93	c  156s |      14 |   178374 |    86252 |    17353      8 |      909 |      944
159.15/159.26	c  158s |      14 |   179138 |    86952 |    17353      8 |      909 |      944
161.35/161.41	c  161s |      14 |   179815 |    87552 |    19089      8 |      909 |      944
161.66/161.71	c  161s |      15 |   179911 |    87632 |    19089      8 |      909 |      944
163.65/163.73	c  163s |      15 |   185484 |    89332 |    19089      8 |      909 |      944
165.65/165.78	c  165s |      15 |   191557 |    91532 |    19089      8 |      909 |      944
167.75/167.83	c  167s |      15 |   194226 |    92932 |    19089      8 |      909 |      944
169.85/169.99	c  169s |      15 |   199066 |    94732 |    19089      9 |      909 |      944
171.95/172.01	c  171s |      15 |   201113 |    96132 |    19089      9 |      909 |      944
174.05/174.12	c  173s |      15 |   202755 |    97332 |    19089      9 |      909 |      944
176.15/176.23	c  175s |      15 |   203943 |    98332 |    19089      9 |      909 |      944
178.36/178.41	c  178s |      15 |   205215 |    99332 |    19089      9 |      909 |      944
180.46/180.59	c  180s |      15 |   206101 |   100132 |    19089      9 |      909 |      944
182.66/182.75	c  182s |      15 |   207032 |   100932 |    19089      9 |      909 |      944
184.86/184.98	c  184s |      15 |   207821 |   101632 |    19089      9 |      909 |      944
186.96/187.10	c  186s |      15 |   208748 |   102432 |    19089      9 |      909 |      944
189.26/189.32	c  189s |      15 |   209628 |   103232 |    19089      9 |      909 |      944
191.36/191.43	c  191s |      15 |   210624 |   104032 |    19089      9 |      909 |      944
193.45/193.52	c  193s |      15 |   211306 |   104632 |    19089      9 |      909 |      944
195.45/195.58	c  195s |      15 |   211994 |   105232 |    19089      9 |      909 |      944
198.15/198.23	c  197s |      15 |   212642 |   105832 |    19089     10 |      909 |      944
200.45/200.56	c  200s |      15 |   213288 |   106432 |    19089     10 |      909 |      944
202.65/202.76	c  202s |      15 |   213931 |   107032 |    19089     10 |      909 |      944
204.85/204.98	c  204s |      15 |   214785 |   107832 |    19089     10 |      909 |      944
206.95/207.01	c  206s |      15 |   215437 |   108432 |    19089     10 |      909 |      944
208.95/209.02	c  208s |      15 |   216126 |   109032 |    19089     10 |      909 |      944
210.95/211.04	c  210s |      15 |   216757 |   109632 |    19089     10 |      909 |      944
213.15/213.24	c  212s |      15 |   217417 |   110232 |    19089     10 |      909 |      944
215.45/215.51	c  215s |      15 |   218063 |   110832 |    19089     10 |      909 |      944
217.75/217.81	c  217s |      15 |   218751 |   111432 |    19089     10 |      909 |      944
220.05/220.13	c  219s |      15 |   219381 |   112032 |    19089     10 |      909 |      944
222.34/222.45	c  222s |      15 |   220139 |   112732 |    19089     10 |      909 |      944
224.54/224.61	c  224s |      15 |   220798 |   113332 |    19089     10 |      909 |      944
226.65/226.78	c  226s |      15 |   221435 |   113932 |    19089     10 |      909 |      944
229.04/229.12	c  228s |      15 |   222082 |   114532 |    19089     10 |      909 |      944
231.34/231.42	c  231s |      15 |   222714 |   115132 |    19089     10 |      909 |      944
233.54/233.63	c  233s |      15 |   223363 |   115732 |    19089     10 |      909 |      944
236.14/236.23	c  235s |      15 |   226109 |   117032 |    19089     11 |      909 |      944
238.24/238.30	c  238s |      15 |   229160 |   118532 |    19089     11 |      909 |      944
240.34/240.42	c  240s |      15 |   232623 |   119932 |    19089     11 |      909 |      944
242.34/242.49	c  242s |      15 |   234379 |   121032 |    19089     11 |      909 |      944
244.44/244.52	c  244s |      15 |   236307 |   122232 |    19089     11 |      909 |      944
246.64/246.71	c  246s |      15 |   237518 |   123132 |    19089     11 |      909 |      944
248.65/248.73	c  248s |      15 |   238349 |   123832 |    19089     11 |      909 |      944
250.85/250.95	c  250s |      15 |   239217 |   124532 |    19089     11 |      909 |      944
252.95/253.06	c  252s |      15 |   240073 |   125232 |    19089     11 |      909 |      944
254.94/255.06	c  254s |      15 |   241039 |   126032 |    19089     11 |      909 |      944
257.04/257.12	c  256s |      15 |   241600 |   126532 |    19089     11 |      909 |      944
259.04/259.19	c  258s |      15 |   242298 |   127132 |    19089     11 |      909 |      944
261.24/261.34	c  261s |      15 |   242976 |   127732 |    19089     11 |      909 |      944
263.44/263.55	c  263s |      15 |   243534 |   128232 |    19089     12 |      909 |      944
265.54/265.69	c  265s |      15 |   244414 |   128932 |    19089     12 |      909 |      944
267.84/267.93	c  267s |      15 |   245319 |   129732 |    19089     12 |      909 |      944
269.94/270.01	c  269s |      15 |   246158 |   130432 |    19089     12 |      909 |      944
272.04/272.10	c  271s |      15 |   246688 |   130932 |    20998     12 |      909 |      944
274.24/274.36	c  274s |      15 |   247357 |   131532 |    20998     12 |      909 |      944
274.34/274.44	c  274s |      16 |   247387 |   131552 |    20998     12 |      909 |      944
276.44/276.53	c  276s |      16 |   252038 |   132952 |    20998     12 |      909 |      944
278.54/278.62	c  278s |      16 |   253321 |   134152 |    20998     12 |      909 |      944
280.64/280.78	c  280s |      16 |   254597 |   135352 |    20998     12 |      909 |      944
282.65/282.80	c  282s |      16 |   255623 |   136352 |    20998     12 |      909 |      944
284.74/284.89	c  284s |      16 |   256581 |   137252 |    20998     12 |      909 |      944
286.84/286.94	c  286s |      16 |   257510 |   138152 |    20998     12 |      909 |      944
288.84/288.95	c  288s |      16 |   258268 |   138852 |    20998     12 |      909 |      944
290.94/291.07	c  290s |      16 |   259201 |   139752 |    20998     12 |      909 |      944
293.14/293.21	c  292s |      16 |   260126 |   140652 |    20998     12 |      909 |      944
295.64/295.70	c  295s |      16 |   260952 |   141452 |    20998     13 |      909 |      944
297.73/297.81	c  297s |      16 |   261798 |   142252 |    20998     13 |      909 |      944
299.73/299.82	c  299s |      16 |   264737 |   143352 |    20998     13 |      909 |      944
301.73/301.84	c  301s |      16 |   266280 |   144752 |    20998     13 |      909 |      944
303.73/303.85	c  303s |      16 |   270610 |   146452 |    20998     13 |      909 |      944
305.74/305.90	c  305s |      16 |   272064 |   147652 |    20998     13 |      909 |      944
307.94/308.06	c  307s |      16 |   273303 |   148752 |    20998     13 |      909 |      944
310.03/310.15	c  309s |      16 |   274535 |   149852 |    20998     13 |      909 |      944
312.13/312.21	c  311s |      16 |   275564 |   150752 |    20998     13 |      909 |      944
314.23/314.37	c  314s |      16 |   276769 |   151752 |    20998     13 |      909 |      944
316.33/316.43	c  316s |      16 |   278008 |   152752 |    20998     13 |      909 |      944
318.43/318.56	c  318s |      16 |   279268 |   153652 |    20998     14 |      909 |      944
320.63/320.78	c  320s |      16 |   280617 |   154752 |    20998     14 |      909 |      944
322.73/322.83	c  322s |      16 |   281503 |   155552 |    20998     14 |      909 |      944
324.93/325.00	c  324s |      16 |   282780 |   156652 |    20998     14 |      909 |      944
326.92/327.05	c  326s |      16 |   283754 |   157552 |    20998     14 |      909 |      944
329.12/329.22	c  328s |      16 |   284741 |   158452 |    20998     14 |      909 |      944
331.32/331.46	c  331s |      16 |   285743 |   159352 |    20998     14 |      909 |      944
333.42/333.59	c  333s |      16 |   286816 |   160252 |    20998     14 |      909 |      944
335.43/335.59	c  335s |      16 |   287699 |   161052 |    20998     14 |      909 |      944
337.73/337.83	c  337s |      16 |   288611 |   161852 |    20998     14 |      909 |      944
339.72/339.90	c  339s |      16 |   289364 |   162552 |    20998     14 |      909 |      944
341.92/342.03	c  341s |      16 |   290851 |   163452 |    20998     14 |      909 |      944
344.02/344.17	c  343s |      16 |   292247 |   164352 |    20998     14 |      909 |      944
346.12/346.28	c  345s |      16 |   294234 |   165452 |    20998     14 |      909 |      944
348.32/348.42	c  348s |      16 |   295136 |   166252 |    20998     15 |      909 |      944
350.42/350.51	c  350s |      16 |   297072 |   167552 |    20998     15 |      909 |      944
352.42/352.52	c  352s |      16 |   298413 |   168652 |    20998     15 |      909 |      944
354.52/354.69	c  354s |      16 |   299691 |   169752 |    20998     15 |      909 |      944
356.62/356.74	c  356s |      16 |   300890 |   170752 |    20998     15 |      909 |      944
358.72/358.84	c  358s |      16 |   301904 |   171652 |    20998     15 |      909 |      944
360.73/360.86	c  360s |      16 |   302996 |   172552 |    20998     15 |      909 |      944
362.72/362.88	c  362s |      16 |   304086 |   173452 |    20998     15 |      909 |      944
365.02/365.13	c  364s |      16 |   305126 |   174352 |    20998     15 |      909 |      944
367.22/367.31	c  367s |      16 |   306148 |   175252 |    20998     15 |      909 |      944
369.32/369.42	c  369s |      16 |   307060 |   176052 |    20998     15 |      909 |      944
371.52/371.63	c  371s |      16 |   307958 |   176852 |    20998     15 |      909 |      944
373.62/373.78	c  373s |      16 |   308729 |   177552 |    20998     15 |      909 |      944
375.92/376.00	c  375s |      16 |   309402 |   178152 |    20998     16 |      909 |      944
378.12/378.23	c  377s |      16 |   310379 |   179052 |    20998     16 |      909 |      944
380.22/380.39	c  380s |      16 |   311400 |   179952 |    20998     16 |      909 |      944
382.32/382.45	c  382s |      16 |   312284 |   180752 |    20998     16 |      909 |      944
384.52/384.69	c  384s |      16 |   313286 |   181652 |    20998     16 |      909 |      944
386.82/386.92	c  386s |      16 |   314156 |   182452 |    20998     16 |      909 |      944
388.92/389.03	c  388s |      16 |   314908 |   183152 |    20998     16 |      909 |      944
391.12/391.26	c  390s |      16 |   315675 |   183852 |    20998     16 |      909 |      944
393.42/393.59	c  393s |      16 |   316437 |   184552 |    20998     16 |      909 |      944
395.71/395.88	c  395s |      16 |   317181 |   185252 |    20998     16 |      909 |      944
397.71/397.88	c  397s |      16 |   317807 |   185852 |    20998     16 |      909 |      944
399.91/400.06	c  399s |      16 |   318448 |   186452 |    20998     16 |      909 |      944
402.11/402.23	c  401s |      16 |   319351 |   187252 |    20998     16 |      909 |      944
404.31/404.45	c  404s |      16 |   320263 |   188052 |    20998     16 |      909 |      944
406.61/406.71	c  406s |      16 |   321041 |   188752 |    20998     16 |      909 |      944
408.61/408.79	c  408s |      16 |   321831 |   189452 |    20998     16 |      909 |      944
410.71/410.87	c  410s |      16 |   322688 |   190152 |    20998     16 |      909 |      944
412.81/412.91	c  412s |      16 |   323675 |   190852 |    20998     17 |      909 |      944
414.81/414.97	c  414s |      16 |   325158 |   191952 |    20998     17 |      909 |      944
416.82/416.99	c  416s |      16 |   326412 |   192952 |    20998     17 |      909 |      944
418.91/419.03	c  418s |      16 |   327529 |   193852 |    20998     17 |      909 |      944
420.91/421.07	c  420s |      16 |   328573 |   194752 |    20998     17 |      909 |      944
423.21/423.36	c  423s |      16 |   329450 |   195552 |    20998     17 |      909 |      944
425.51/425.60	c  425s |      16 |   330340 |   196352 |    23098     17 |      909 |      944
427.50/427.65	c  427s |      16 |   331297 |   197152 |    23098     17 |      909 |      944
428.40/428.51	c  428s |      17 |   331609 |   197432 |    23098     17 |      909 |      944
430.40/430.54	c  430s |      17 |   336491 |   199332 |    23098     17 |      909 |      944
432.41/432.56	c  432s |      17 |   342415 |   201532 |    23098     17 |      909 |      944
434.42/434.60	c  434s |      17 |   346731 |   203532 |    23098     17 |      909 |      944
436.51/436.69	c  436s |      17 |   350229 |   205132 |    23098     18 |      909 |      944
438.61/438.74	c  438s |      17 |   352055 |   206432 |    23098     18 |      909 |      944
440.61/440.76	c  440s |      17 |   353872 |   207632 |    23098     18 |      909 |      944
442.71/442.87	c  442s |      17 |   355359 |   208732 |    23098     18 |      909 |      944
444.71/444.88	c  444s |      17 |   356871 |   209832 |    23098     18 |      909 |      944
446.91/447.05	c  446s |      17 |   357923 |   210732 |    23098     18 |      909 |      944
449.01/449.15	c  448s |      17 |   359174 |   211732 |    23098     18 |      909 |      944
451.21/451.31	c  451s |      17 |   360279 |   212632 |    23098     18 |      909 |      944
453.31/453.47	c  453s |      17 |   361646 |   213632 |    23098     18 |      909 |      944
455.41/455.56	c  455s |      17 |   362817 |   214532 |    23098     18 |      909 |      944
457.71/457.85	c  457s |      17 |   363933 |   215432 |    23098     18 |      909 |      944
459.81/459.93	c  459s |      17 |   365084 |   216332 |    23098     18 |      909 |      944
462.01/462.16	c  461s |      17 |   366037 |   217132 |    23098     18 |      909 |      944
464.21/464.36	c  464s |      17 |   367100 |   217932 |    23098     19 |      909 |      944
466.41/466.54	c  466s |      17 |   368171 |   218732 |    23098     19 |      909 |      944
468.51/468.69	c  468s |      17 |   369389 |   219632 |    23098     19 |      909 |      944
470.60/470.75	c  470s |      17 |   370443 |   220432 |    23098     19 |      909 |      944
472.91/473.03	c  472s |      17 |   371409 |   221232 |    23098     19 |      909 |      944
475.11/475.22	c  474s |      17 |   372542 |   222132 |    23098     19 |      909 |      944
477.10/477.25	c  476s |      17 |   373539 |   222932 |    23098     19 |      909 |      944
479.20/479.35	c  479s |      17 |   374384 |   223632 |    23098     19 |      909 |      944
481.20/481.36	c  481s |      17 |   375081 |   224232 |    23098     19 |      909 |      944
483.50/483.64	c  483s |      17 |   376143 |   225032 |    23098     19 |      909 |      944
485.50/485.69	c  485s |      17 |   376864 |   225632 |    23098     19 |      909 |      944
487.80/487.91	c  487s |      17 |   377587 |   226232 |    23098     19 |      909 |      944
489.90/490.02	c  489s |      17 |   378321 |   226832 |    23098     19 |      909 |      944
492.00/492.15	c  491s |      17 |   379006 |   227432 |    23098     19 |      909 |      944
494.20/494.38	c  494s |      17 |   379730 |   228032 |    23098     19 |      909 |      944
496.30/496.47	c  496s |      17 |   380307 |   228532 |    23098     19 |      909 |      944
498.70/498.83	c  498s |      17 |   380987 |   229132 |    23098     19 |      909 |      944
501.19/501.33	c  501s |      17 |   381656 |   229732 |    23098     19 |      909 |      944
503.49/503.64	c  503s |      17 |   382347 |   230332 |    23098     19 |      909 |      944
505.79/505.94	c  505s |      17 |   382888 |   230832 |    23098     19 |      909 |      944
508.10/508.24	c  507s |      17 |   383426 |   231332 |    23098     20 |      909 |      944
510.19/510.37	c  510s |      17 |   384088 |   231932 |    23098     20 |      909 |      944
512.39/512.57	c  512s |      17 |   384869 |   232632 |    23098     20 |      909 |      944
514.70/514.83	c  514s |      17 |   385764 |   233332 |    23098     20 |      909 |      944
516.90/517.08	c  516s |      17 |   386744 |   234132 |    23098     20 |      909 |      944
519.10/519.27	c  518s |      17 |   387791 |   234932 |    23098     20 |      909 |      944
521.30/521.43	c  521s |      17 |   388807 |   235732 |    23098     20 |      909 |      944
523.39/523.59	c  523s |      17 |   389780 |   236532 |    23098     20 |      909 |      944
525.70/525.87	c  525s |      17 |   390577 |   237232 |    23098     20 |      909 |      944
527.99/528.18	c  527s |      17 |   391576 |   238032 |    23098     20 |      909 |      944
530.09/530.22	c  529s |      17 |   392321 |   238632 |    23098     20 |      909 |      944
532.19/532.34	c  532s |      17 |   393007 |   239232 |    23098     20 |      909 |      944
534.49/534.63	c  534s |      17 |   393720 |   239832 |    23098     20 |      909 |      944
536.69/536.83	c  536s |      17 |   394417 |   240432 |    23098     20 |      909 |      944
539.09/539.29	c  539s |      17 |   395094 |   241032 |    23098     20 |      909 |      944
541.29/541.46	c  541s |      17 |   395958 |   241732 |    23098     20 |      909 |      944
543.48/543.67	c  543s |      17 |   396696 |   242332 |    23098     20 |      909 |      944
545.88/546.05	c  545s |      17 |   397410 |   242932 |    23098     20 |      909 |      944
548.18/548.36	c  548s |      17 |   398076 |   243532 |    23098     20 |      909 |      944
550.68/550.81	c  550s |      17 |   398728 |   244032 |    23098     21 |      909 |      944
552.78/552.99	c  552s |      17 |   399826 |   244932 |    23098     21 |      909 |      944
555.08/555.22	c  554s |      17 |   400821 |   245732 |    23098     21 |      909 |      944
557.08/557.22	c  556s |      17 |   401660 |   246432 |    23098     21 |      909 |      944
559.28/559.48	c  559s |      17 |   402483 |   247132 |    23098     21 |      909 |      944
561.38/561.51	c  561s |      17 |   403179 |   247732 |    23098     21 |      909 |      944
563.48/563.65	c  563s |      17 |   404018 |   248432 |    23098     21 |      909 |      944
565.68/565.86	c  565s |      17 |   405035 |   249232 |    23098     21 |      909 |      944
567.88/568.07	c  567s |      17 |   405723 |   249832 |    23098     21 |      909 |      944
570.19/570.37	c  570s |      17 |   406376 |   250432 |    23098     21 |      909 |      944
572.39/572.55	c  572s |      17 |   407227 |   251132 |    23098     21 |      909 |      944
574.38/574.57	c  574s |      17 |   407821 |   251632 |    23098     21 |      909 |      944
576.39/576.58	c  576s |      17 |   408399 |   252132 |    23098     21 |      909 |      944
578.59/578.71	c  578s |      17 |   409100 |   252732 |    23098     21 |      909 |      944
580.58/580.72	c  580s |      17 |   409695 |   253232 |    23098     21 |      909 |      944
582.78/582.96	c  582s |      17 |   410395 |   253832 |    23098     21 |      909 |      944
584.98/585.11	c  584s |      17 |   411121 |   254432 |    23098     21 |      909 |      944
587.29/587.43	c  587s |      17 |   411683 |   254932 |    23098     21 |      909 |      944
589.49/589.61	c  589s |      17 |   412247 |   255432 |    23098     21 |      909 |      944
591.58/591.79	c  591s |      17 |   412802 |   255932 |    23098     21 |      909 |      944
593.68/593.88	c  593s |      17 |   413366 |   256432 |    23098     21 |      909 |      944
595.98/596.10	c  595s |      17 |   414077 |   257032 |    23098     21 |      909 |      944
598.08/598.25	c  597s |      17 |   414647 |   257532 |    23098     22 |      909 |      944
600.08/600.27	c  599s |      17 |   415340 |   258132 |    23098     22 |      909 |      944
602.18/602.35	c  602s |      17 |   416031 |   258732 |    23098     22 |      909 |      944
604.38/604.52	c  604s |      17 |   416846 |   259432 |    23098     22 |      909 |      944
606.68/606.85	c  606s |      17 |   417641 |   260132 |    23098     22 |      909 |      944
608.78/608.94	c  608s |      17 |   418202 |   260632 |    23098     22 |      909 |      944
610.98/611.14	c  610s |      17 |   419127 |   261432 |    23098     22 |      909 |      944
613.37/613.51	c  613s |      17 |   419921 |   262132 |    23098     22 |      909 |      944
615.57/615.76	c  615s |      17 |   420604 |   262732 |    23098     22 |      909 |      944
617.87/618.03	c  617s |      17 |   421270 |   263332 |    23098     22 |      909 |      944
620.17/620.37	c  620s |      17 |   421975 |   263932 |    23098     22 |      909 |      944
622.48/622.69	c  622s |      17 |   422647 |   264532 |    23098     22 |      909 |      944
624.68/624.81	c  624s |      17 |   423227 |   265032 |    23098     22 |      909 |      944
626.77/626.90	c  626s |      17 |   423794 |   265532 |    23098     22 |      909 |      944
629.08/629.24	c  628s |      17 |   424344 |   266032 |    23098     22 |      909 |      944
631.28/631.47	c  631s |      17 |   424886 |   266532 |    23098     22 |      909 |      944
633.48/633.63	c  633s |      17 |   425577 |   267132 |    23098     22 |      909 |      944
635.68/635.84	c  635s |      17 |   426279 |   267732 |    23098     22 |      909 |      944
637.67/637.89	c  637s |      17 |   426872 |   268232 |    23098     22 |      909 |      944
640.07/640.23	c  639s |      17 |   427422 |   268732 |    23098     22 |      909 |      944
642.47/642.63	c  642s |      17 |   427985 |   269232 |    23098     22 |      909 |      944
644.67/644.87	c  644s |      17 |   428539 |   269732 |    23098     22 |      909 |      944
646.67/646.89	c  646s |      17 |   428990 |   270132 |    23098     22 |      909 |      944
648.76/648.90	c  648s |      17 |   429338 |   270432 |    23098     23 |      909 |      944
650.96/651.11	c  650s |      17 |   430307 |   271232 |    23098     23 |      909 |      944
652.96/653.13	c  652s |      17 |   431145 |   271932 |    23098     23 |      909 |      944
655.07/655.24	c  654s |      17 |   431815 |   272532 |    23098     23 |      909 |      944
657.37/657.56	c  657s |      17 |   432603 |   273232 |    23098     23 |      909 |      944
659.57/659.78	c  659s |      17 |   433430 |   273932 |    23098     23 |      909 |      944
661.67/661.80	c  661s |      17 |   434115 |   274532 |    23098     23 |      909 |      944
663.67/663.84	c  663s |      17 |   434775 |   275132 |    23098     23 |      909 |      944
665.97/666.12	c  665s |      17 |   435443 |   275732 |    23098     23 |      909 |      944
668.17/668.38	c  668s |      17 |   436404 |   276532 |    23098     23 |      909 |      944
670.47/670.64	c  670s |      17 |   437341 |   277332 |    23098     23 |      909 |      944
672.47/672.68	c  672s |      17 |   438067 |   277932 |    23098     23 |      909 |      944
674.77/674.91	c  674s |      17 |   438725 |   278532 |    23098     23 |      909 |      944
676.77/676.91	c  676s |      17 |   439432 |   279132 |    23098     23 |      909 |      944
679.07/679.27	c  678s |      17 |   440112 |   279732 |    23098     23 |      909 |      944
681.27/681.45	c  681s |      17 |   440795 |   280332 |    23098     23 |      909 |      944
683.37/683.56	c  683s |      17 |   441495 |   280932 |    23098     23 |      909 |      944
685.46/685.65	c  685s |      17 |   442173 |   281532 |    23098     23 |      909 |      944
687.76/687.96	c  687s |      17 |   442852 |   282132 |    23098     23 |      909 |      944
689.86/690.05	c  689s |      17 |   443565 |   282732 |    23098     23 |      909 |      944
692.06/692.25	c  691s |      17 |   444117 |   283232 |    23098     23 |      909 |      944
694.36/694.55	c  694s |      17 |   444706 |   283732 |    23098     24 |      909 |      944
696.46/696.62	c  696s |      17 |   445394 |   284332 |    23098     24 |      909 |      944
698.76/698.93	c  698s |      17 |   446197 |   285032 |    23098     24 |      909 |      944
701.06/701.26	c  700s |      17 |   446978 |   285732 |    23098     24 |      909 |      944
703.36/703.55	c  703s |      17 |   447660 |   286332 |    23098     24 |      909 |      944
705.46/705.68	c  705s |      17 |   448321 |   286932 |    23098     24 |      909 |      944
707.66/707.86	c  707s |      17 |   449000 |   287532 |    23098     24 |      909 |      944
709.76/709.92	c  709s |      17 |   449544 |   288032 |    23098     24 |      909 |      944
712.06/712.28	c  712s |      17 |   450191 |   288632 |    23098     24 |      909 |      944
714.26/714.48	c  714s |      17 |   450872 |   289232 |    23098     24 |      909 |      944
716.46/716.69	c  716s |      17 |   451780 |   289932 |    23098     24 |      909 |      944
718.66/718.82	c  718s |      17 |   452466 |   290532 |    23098     24 |      909 |      944
720.76/720.92	c  720s |      17 |   453030 |   291032 |    23098     24 |      909 |      944
722.96/723.12	c  722s |      17 |   453750 |   291632 |    23098     24 |      909 |      944
725.15/725.30	c  725s |      17 |   454475 |   292232 |    23098     24 |      909 |      944
727.15/727.38	c  727s |      17 |   455184 |   292832 |    23098     24 |      909 |      944
729.35/729.54	c  729s |      17 |   455929 |   293432 |    23098     24 |      909 |      944
731.36/731.59	c  731s |      17 |   456661 |   294032 |    23098     24 |      909 |      944
733.35/733.59	c  733s |      17 |   457403 |   294632 |    25408     24 |      909 |      944
735.45/735.66	c  735s |      17 |   458119 |   295232 |    25408     24 |      909 |      944
737.65/737.87	c  737s |      17 |   458828 |   295832 |    25408     24 |      909 |      944
739.25/739.49	c  739s |      18 |   459333 |   296252 |    25408     24 |      909 |      944
741.36/741.51	c  741s |      18 |   464205 |   297452 |    25408     24 |      909 |      944
743.76/743.94	c  743s |      18 |   466374 |   298952 |    25408     25 |      909 |      944
745.86/746.03	c  745s |      18 |   472835 |   301252 |    25408     25 |      909 |      944
747.86/748.06	c  747s |      18 |   475683 |   302952 |    25408     25 |      909 |      944
749.96/750.18	c  749s |      18 |   477459 |   304052 |    25408     25 |      909 |      944
752.05/752.29	c  752s |      18 |   478837 |   305052 |    25408     25 |      909 |      944
754.15/754.38	c  754s |      18 |   480091 |   306052 |    25408     25 |      909 |      944
756.25/756.46	c  756s |      18 |   481282 |   306952 |    25408     25 |      909 |      944
758.35/758.56	c  758s |      18 |   482141 |   307652 |    25408     25 |      909 |      944
760.55/760.76	c  760s |      18 |   483060 |   308452 |    25408     25 |      909 |      944
762.65/762.89	c  762s |      18 |   483883 |   309152 |    25408     25 |      909 |      944
764.75/764.94	c  764s |      18 |   484800 |   309852 |    25408     25 |      909 |      944
766.85/767.02	c  766s |      18 |   485611 |   310552 |    25408     25 |      909 |      944
768.95/769.19	c  768s |      18 |   486426 |   311252 |    25408     25 |      909 |      944
771.25/771.41	c  771s |      18 |   487413 |   312052 |    25408     25 |      909 |      944
773.26/773.43	c  773s |      18 |   488207 |   312752 |    25408     25 |      909 |      944
775.46/775.66	c  775s |      18 |   488871 |   313352 |    25408     26 |      909 |      944
777.55/777.76	c  777s |      18 |   489672 |   314052 |    25408     26 |      909 |      944
779.65/779.83	c  779s |      18 |   490335 |   314652 |    25408     26 |      909 |      944
781.65/781.85	c  781s |      18 |   490997 |   315252 |    25408     26 |      909 |      944
783.95/784.11	c  783s |      18 |   491806 |   315952 |    25408     26 |      909 |      944
785.95/786.12	c  785s |      18 |   492444 |   316552 |    25408     26 |      909 |      944
788.15/788.38	c  788s |      18 |   493174 |   317152 |    25408     26 |      909 |      944
790.44/790.66	c  790s |      18 |   493894 |   317752 |    25408     26 |      909 |      944
792.54/792.75	c  792s |      18 |   494446 |   318252 |    25408     26 |      909 |      944
795.04/795.25	c  794s |      18 |   495006 |   318752 |    25408     26 |      909 |      944
797.14/797.31	c  797s |      18 |   495636 |   319252 |    25408     26 |      909 |      944
799.35/799.50	c  799s |      18 |   496435 |   319852 |    25408     26 |      909 |      944
801.35/801.50	c  801s |      18 |   497022 |   320352 |    25408     26 |      909 |      944
803.35/803.52	c  803s |      18 |   497584 |   320852 |    25408     26 |      909 |      944
805.65/805.85	c  805s |      18 |   498149 |   321352 |    25408     26 |      909 |      944
807.75/807.96	c  807s |      18 |   498714 |   321852 |    25408     26 |      909 |      944
809.84/810.06	c  809s |      18 |   499311 |   322352 |    25408     26 |      909 |      944
811.94/812.14	c  811s |      18 |   500188 |   322952 |    25408     26 |      909 |      944
814.04/814.22	c  813s |      18 |   503085 |   324252 |    25408     26 |      909 |      944
816.05/816.24	c  815s |      18 |   505423 |   325852 |    25408     26 |      909 |      944
818.44/818.69	c  818s |      18 |   507032 |   327352 |    25408     27 |      909 |      944
820.64/820.84	c  820s |      18 |   508476 |   328652 |    25408     27 |      909 |      944
822.75/822.93	c  822s |      18 |   509614 |   329752 |    25408     27 |      909 |      944
824.85/825.04	c  824s |      18 |   510664 |   330752 |    25408     27 |      909 |      944
826.94/827.17	c  826s |      18 |   511874 |   331852 |    25408     27 |      909 |      944
828.94/829.19	c  828s |      18 |   516627 |   333552 |    25408     27 |      909 |      944
831.04/831.20	c  830s |      18 |   525869 |   335852 |    25408     27 |      909 |      944
833.04/833.23	c  832s |      18 |   533697 |   338152 |    25408     27 |      909 |      944
835.04/835.26	c  834s |      18 |   536965 |   339752 |    25408     27 |      909 |      944
837.24/837.43	c  837s |      18 |   539811 |   341252 |    25408     27 |      909 |      944
839.33/839.55	c  839s |      18 |   541370 |   342352 |    25408     28 |      909 |      944
841.34/841.57	c  841s |      18 |   542758 |   343452 |    25408     28 |      909 |      944
843.54/843.74	c  843s |      18 |   546673 |   345252 |    25408     28 |      909 |      944
845.63/845.86	c  845s |      18 |   548336 |   346352 |    25408     28 |      909 |      944
847.63/847.88	c  847s |      18 |   549428 |   347152 |    25408     28 |      909 |      944
849.83/850.07	c  849s |      18 |   550323 |   347852 |    25408     28 |      909 |      944
851.93/852.17	c  851s |      18 |   552982 |   349252 |    25408     28 |      909 |      944
853.93/854.19	c  853s |      18 |   554488 |   350252 |    25408     28 |      909 |      944
856.03/856.20	c  855s |      18 |   555804 |   351152 |    25408     28 |      909 |      944
858.13/858.33	c  858s |      18 |   557004 |   352052 |    25408     28 |      909 |      944
860.34/860.54	c  860s |      18 |   558009 |   352852 |    25408     28 |      909 |      944
862.64/862.81	c  862s |      18 |   558967 |   353652 |    25408     28 |      909 |      944
864.64/864.88	c  864s |      18 |   559817 |   354352 |    25408     28 |      909 |      944
866.94/867.10	c  866s |      18 |   560688 |   355052 |    25408     28 |      909 |      944
869.03/869.23	c  868s |      18 |   561411 |   355652 |    25408     28 |      909 |      944
871.53/871.76	c  871s |      18 |   562076 |   356252 |    25408     29 |      909 |      944
873.73/873.98	c  873s |      18 |   562781 |   356852 |    25408     29 |      909 |      944
876.03/876.28	c  875s |      18 |   563457 |   357452 |    25408     29 |      909 |      944
878.23/878.43	c  878s |      18 |   564160 |   358052 |    25408     29 |      909 |      944
880.23/880.45	c  880s |      18 |   564998 |   358752 |    25408     29 |      909 |      944
882.33/882.58	c  882s |      18 |   565674 |   359352 |    25408     29 |      909 |      944
884.53/884.78	c  884s |      18 |   566368 |   359952 |    25408     29 |      909 |      944
886.93/887.17	c  886s |      18 |   567062 |   360552 |    25408     29 |      909 |      944
889.23/889.46	c  889s |      18 |   567755 |   361152 |    25408     29 |      909 |      944
891.63/891.84	c  891s |      18 |   568469 |   361752 |    25408     29 |      909 |      944
893.83/894.01	c  893s |      18 |   569453 |   362452 |    25408     29 |      909 |      944
895.83/896.04	c  895s |      18 |   570153 |   363052 |    25408     29 |      909 |      944
897.93/898.19	c  897s |      18 |   570877 |   363652 |    25408     29 |      909 |      944
900.33/900.52	c  900s |      18 |   571757 |   364352 |    25408     29 |      909 |      944
902.52/902.76	c  902s |      18 |   572435 |   364952 |    25408     29 |      909 |      944
904.82/905.08	c  904s |      18 |   573162 |   365552 |    25408     29 |      909 |      944
907.02/907.23	c  906s |      18 |   573757 |   366052 |    25408     29 |      909 |      944
909.22/909.45	c  909s |      18 |   574504 |   366652 |    25408     29 |      909 |      944
911.32/911.56	c  911s |      18 |   575112 |   367152 |    25408     29 |      909 |      944
913.62/913.87	c  913s |      18 |   575816 |   367752 |    25408     29 |      909 |      944
916.13/916.31	c  916s |      18 |   576516 |   368352 |    25408     29 |      909 |      944
918.33/918.58	c  918s |      18 |   577272 |   368952 |    25408     29 |      909 |      944
920.53/920.79	c  920s |      18 |   577838 |   369452 |    25408     29 |      909 |      944
922.92/923.14	c  922s |      18 |   578422 |   369952 |    25408     29 |      909 |      944
924.92/925.17	c  924s |      18 |   578876 |   370352 |    25408     29 |      909 |      944
927.23/927.47	c  927s |      18 |   579368 |   370752 |    25408     30 |      909 |      944
929.33/929.60	c  929s |      18 |   580111 |   371352 |    25408     30 |      909 |      944
931.42/931.64	c  931s |      18 |   580860 |   371952 |    25408     30 |      909 |      944
933.62/933.81	c  933s |      18 |   581586 |   372552 |    25408     30 |      909 |      944
935.62/935.88	c  935s |      18 |   582288 |   373152 |    25408     30 |      909 |      944
937.82/938.09	c  937s |      18 |   582959 |   373752 |    25408     30 |      909 |      944
939.92/940.18	c  939s |      18 |   583524 |   374252 |    25408     30 |      909 |      944
942.32/942.54	c  942s |      18 |   584195 |   374852 |    25408     30 |      909 |      944
944.73/944.93	c  944s |      18 |   584845 |   375452 |    25408     30 |      909 |      944
946.72/946.93	c  946s |      18 |   585427 |   375952 |    25408     30 |      909 |      944
948.82/949.00	c  948s |      18 |   585996 |   376452 |    25408     30 |      909 |      944
950.92/951.10	c  950s |      18 |   586565 |   376952 |    25408     30 |      909 |      944
952.92/953.19	c  952s |      18 |   587143 |   377452 |    25408     30 |      909 |      944
955.21/955.45	c  955s |      18 |   587710 |   377952 |    25408     30 |      909 |      944
957.41/957.63	c  957s |      18 |   588278 |   378452 |    25408     30 |      909 |      944
959.51/959.73	c  959s |      18 |   589024 |   379052 |    25408     30 |      909 |      944
961.81/962.08	c  961s |      18 |   589752 |   379652 |    25408     30 |      909 |      944
964.11/964.33	c  964s |      18 |   590337 |   380152 |    25408     30 |      909 |      944
966.61/966.81	c  966s |      18 |   590909 |   380652 |    25408     30 |      909 |      944
968.92/969.17	c  968s |      18 |   591485 |   381152 |    25408     30 |      909 |      944
971.32/971.57	c  971s |      18 |   592040 |   381652 |    25408     30 |      909 |      944
973.72/973.93	c  973s |      18 |   592780 |   382252 |    25408     30 |      909 |      944
975.82/976.02	c  975s |      18 |   593371 |   382752 |    25408     30 |      909 |      944
978.22/978.40	c  978s |      18 |   593930 |   383252 |    25408     30 |      909 |      944
980.22/980.44	c  980s |      18 |   594356 |   383652 |    25408     30 |      909 |      944
982.22/982.44	c  982s |      18 |   594808 |   384052 |    25408     30 |      909 |      944
984.42/984.65	c  984s |      18 |   595248 |   384452 |    25408     30 |      909 |      944
986.62/986.87	c  986s |      18 |   595586 |   384752 |    25408     31 |      909 |      944
988.72/988.91	c  988s |      18 |   596303 |   385352 |    25408     31 |      909 |      944
990.81/991.01	c  990s |      18 |   597006 |   385952 |    25408     31 |      909 |      944
992.81/993.04	c  992s |      18 |   597554 |   386452 |    25408     31 |      909 |      944
995.11/995.35	c  995s |      18 |   598243 |   387052 |    25408     31 |      909 |      944
997.41/997.70	c  997s |      18 |   598921 |   387652 |    25408     31 |      909 |      944
999.61/999.86	c  999s |      18 |   599493 |   388152 |    25408     31 |      909 |      944
1001.81/1002.10	c 1001s |      18 |   600063 |   388652 |    25408     31 |      909 |      944
1004.31/1004.53	c 1004s |      18 |   600614 |   389152 |    25408     31 |      909 |      944
1006.61/1006.82	c 1006s |      18 |   601177 |   389652 |    25408     31 |      909 |      944
1008.70/1008.91	c 1008s |      18 |   601717 |   390152 |    25408     31 |      909 |      944
1010.90/1011.13	c 1010s |      18 |   602255 |   390652 |    25408     31 |      909 |      944
1013.20/1013.41	c 1013s |      18 |   602813 |   391152 |    25408     31 |      909 |      944
1015.50/1015.70	c 1015s |      18 |   603364 |   391652 |    25408     31 |      909 |      944
1017.80/1018.06	c 1017s |      18 |   603960 |   392152 |    25408     31 |      909 |      944
1020.00/1020.29	c 1020s |      18 |   604536 |   392652 |    25408     31 |      909 |      944
1022.10/1022.31	c 1022s |      18 |   604968 |   393052 |    25408     31 |      909 |      944
1024.10/1024.33	c 1024s |      18 |   605402 |   393452 |    25408     31 |      909 |      944
1026.40/1026.69	c 1026s |      18 |   605960 |   393952 |    25408     31 |      909 |      944
1028.60/1028.86	c 1028s |      18 |   606585 |   394452 |    25408     31 |      909 |      944
1031.00/1031.26	c 1030s |      18 |   607302 |   395052 |    25408     31 |      909 |      944
1033.00/1033.29	c 1033s |      18 |   607892 |   395552 |    25408     31 |      909 |      944
1035.51/1035.76	c 1035s |      18 |   608605 |   396152 |    25408     31 |      909 |      944
1037.51/1037.77	c 1037s |      18 |   609225 |   396652 |    25408     31 |      909 |      944
1040.01/1040.24	c 1039s |      18 |   609797 |   397152 |    25408     31 |      909 |      944
1042.31/1042.58	c 1042s |      18 |   610552 |   397752 |    25408     31 |      909 |      944
1044.51/1044.77	c 1044s |      18 |   611142 |   398252 |    25408     31 |      909 |      944
1046.60/1046.80	c 1046s |      18 |   611713 |   398752 |    25408     31 |      909 |      944
1048.70/1048.95	c 1048s |      18 |   612253 |   399152 |    25408     32 |      909 |      944
1050.80/1051.03	c 1050s |      18 |   613122 |   399852 |    25408     32 |      909 |      944
1052.90/1053.13	c 1052s |      18 |   613809 |   400452 |    25408     32 |      909 |      944
1054.90/1055.18	c 1054s |      18 |   614495 |   401052 |    25408     32 |      909 |      944
1057.30/1057.50	c 1057s |      18 |   615169 |   401652 |    25408     32 |      909 |      944
1059.60/1059.89	c 1059s |      18 |   615832 |   402252 |    25408     32 |      909 |      944
1061.90/1062.15	c 1061s |      18 |   616491 |   402852 |    25408     32 |      909 |      944
1064.20/1064.42	c 1064s |      18 |   617190 |   403452 |    25408     32 |      909 |      944
1066.50/1066.72	c 1066s |      18 |   617859 |   404052 |    25408     32 |      909 |      944
1068.50/1068.75	c 1068s |      18 |   618430 |   404552 |    25408     32 |      909 |      944
1070.60/1070.82	c 1070s |      18 |   618994 |   405052 |    25408     32 |      909 |      944
1072.59/1072.89	c 1072s |      18 |   619561 |   405552 |    25408     32 |      909 |      944
1074.89/1075.19	c 1074s |      18 |   620245 |   406152 |    25408     32 |      909 |      944
1077.09/1077.32	c 1077s |      18 |   620805 |   406652 |    25408     32 |      909 |      944
1079.29/1079.55	c 1079s |      18 |   621376 |   407152 |    25408     32 |      909 |      944
1081.69/1081.91	c 1081s |      18 |   622115 |   407752 |    25408     32 |      909 |      944
1083.78/1084.03	c 1083s |      18 |   622674 |   408252 |    25408     32 |      909 |      944
1085.88/1086.14	c 1085s |      18 |   623257 |   408752 |    25408     32 |      909 |      944
1087.98/1088.22	c 1087s |      18 |   623846 |   409252 |    25408     32 |      909 |      944
1090.19/1090.45	c 1090s |      18 |   624443 |   409752 |    25408     32 |      909 |      944
1092.68/1092.91	c 1092s |      18 |   624997 |   410252 |    25408     32 |      909 |      944
1095.18/1095.47	c 1095s |      18 |   625546 |   410752 |    25408     32 |      909 |      944
1097.28/1097.52	c 1097s |      18 |   626001 |   411152 |    25408     32 |      909 |      944
1099.68/1099.90	c 1099s |      18 |   626550 |   411652 |    25408     32 |      909 |      944
1101.99/1102.24	c 1101s |      18 |   627085 |   412152 |    25408     32 |      909 |      944
1104.38/1104.64	c 1104s |      18 |   627627 |   412652 |    25408     32 |      909 |      944
1106.58/1106.88	c 1106s |      18 |   627966 |   412952 |    25408     33 |      909 |      944
1108.78/1109.09	c 1108s |      18 |   628718 |   413552 |    25408     33 |      909 |      944
1110.98/1111.27	c 1110s |      18 |   629422 |   414152 |    25408     33 |      909 |      944
1113.08/1113.38	c 1113s |      18 |   630131 |   414752 |    25408     33 |      909 |      944
1115.18/1115.40	c 1115s |      18 |   630712 |   415252 |    25408     33 |      909 |      944
1117.18/1117.45	c 1117s |      18 |   631268 |   415752 |    25408     33 |      909 |      944
1119.37/1119.63	c 1119s |      18 |   631820 |   416252 |    25408     33 |      909 |      944
1121.57/1121.87	c 1121s |      18 |   632369 |   416752 |    25408     33 |      909 |      944
1123.87/1124.13	c 1123s |      18 |   632916 |   417252 |    25408     33 |      909 |      944
1125.97/1126.20	c 1125s |      18 |   633487 |   417752 |    25408     33 |      909 |      944
1127.97/1128.23	c 1127s |      18 |   633928 |   418152 |    25408     33 |      909 |      944
1130.07/1130.35	c 1130s |      18 |   634535 |   418652 |    25408     33 |      909 |      944
1132.07/1132.36	c 1132s |      18 |   635151 |   419152 |    25408     33 |      909 |      944
1134.27/1134.51	c 1134s |      18 |   635758 |   419652 |    25408     33 |      909 |      944
1136.37/1136.62	c 1136s |      18 |   636347 |   420152 |    25408     33 |      909 |      944
1138.38/1138.63	c 1138s |      18 |   636834 |   420552 |    25408     33 |      909 |      944
1140.47/1140.80	c 1140s |      18 |   637423 |   421052 |    25408     33 |      909 |      944
1142.78/1143.01	c 1142s |      18 |   638034 |   421552 |    25408     33 |      909 |      944
1145.17/1145.42	c 1145s |      18 |   638616 |   422052 |    25408     33 |      909 |      944
1147.18/1147.49	c 1147s |      18 |   639088 |   422452 |    25408     33 |      909 |      944
1149.67/1149.95	c 1149s |      18 |   639710 |   422952 |    25408     33 |      909 |      944
1151.77/1152.04	c 1151s |      18 |   640295 |   423452 |    25408     33 |      909 |      944
1153.97/1154.22	c 1153s |      18 |   640900 |   423952 |    25408     33 |      909 |      944
1156.17/1156.42	c 1156s |      18 |   641491 |   424452 |    25408     33 |      909 |      944
1158.26/1158.52	c 1158s |      18 |   641942 |   424852 |    25408     33 |      909 |      944
1160.37/1160.65	c 1160s |      18 |   642385 |   425252 |    25408     33 |      909 |      944
1162.47/1162.78	c 1162s |      18 |   642819 |   425652 |    25408     33 |      909 |      944
1164.67/1164.97	c 1164s |      18 |   643284 |   426052 |    25408     33 |      909 |      944
1166.76/1167.06	c 1166s |      18 |   643743 |   426452 |    25408     33 |      909 |      944
1168.76/1169.06	c 1168s |      18 |   644202 |   426852 |    25408     33 |      909 |      944
1170.76/1171.06	c 1170s |      18 |   644412 |   427052 |    25408     34 |      909 |      944
1173.06/1173.36	c 1173s |      18 |   645104 |   427652 |    25408     34 |      909 |      944
1175.25/1175.57	c 1175s |      18 |   645779 |   428252 |    25408     34 |      909 |      944
1177.35/1177.67	c 1177s |      18 |   646458 |   428852 |    25408     34 |      909 |      944
1179.65/1179.91	c 1179s |      18 |   647157 |   429452 |    25408     34 |      909 |      944
1181.85/1182.16	c 1181s |      18 |   647833 |   430052 |    25408     34 |      909 |      944
1184.15/1184.43	c 1184s |      18 |   648373 |   430552 |    25408     34 |      909 |      944
1186.35/1186.67	c 1186s |      18 |   648927 |   431052 |    25408     34 |      909 |      944
1188.65/1188.90	c 1188s |      18 |   649480 |   431552 |    25408     34 |      909 |      944
1190.96/1191.27	c 1190s |      18 |   650041 |   432052 |    25408     34 |      909 |      944
1193.46/1193.77	c 1193s |      18 |   650605 |   432552 |    25408     34 |      909 |      944
1195.96/1196.20	c 1195s |      18 |   651156 |   433052 |    25408     34 |      909 |      944
1197.96/1198.27	c 1197s |      18 |   651774 |   433552 |    25408     34 |      909 |      944
1200.06/1200.37	c 1200s |      18 |   652478 |   434152 |    25408     34 |      909 |      944
1202.36/1202.63	c 1202s |      18 |   653189 |   434752 |    25408     34 |      909 |      944
1204.55/1204.83	c 1204s |      18 |   653887 |   435352 |    25408     34 |      909 |      944
1206.85/1207.14	c 1206s |      18 |   654610 |   435952 |    25408     34 |      909 |      944
1209.05/1209.33	c 1209s |      18 |   655180 |   436452 |    25408     34 |      909 |      944
1211.15/1211.47	c 1211s |      18 |   655764 |   436952 |    25408     34 |      909 |      944
1213.45/1213.79	c 1213s |      18 |   656359 |   437452 |    25408     34 |      909 |      944
1215.85/1216.13	c 1215s |      18 |   656939 |   437952 |    25408     34 |      909 |      944
1218.04/1218.36	c 1218s |      18 |   657520 |   438452 |    25408     34 |      909 |      944
1220.44/1220.77	c 1220s |      18 |   658189 |   438952 |    25408     34 |      909 |      944
1222.74/1223.03	c 1222s |      18 |   658762 |   439452 |    25408     34 |      909 |      944
1225.14/1225.42	c 1225s |      18 |   659334 |   439952 |    25408     34 |      909 |      944
1227.64/1227.98	c 1227s |      18 |   659906 |   440452 |    25408     34 |      909 |      944
1229.74/1230.07	c 1229s |      18 |   660364 |   440852 |    25408     34 |      909 |      944
1231.93/1232.23	c 1231s |      18 |   660816 |   441252 |    25408     34 |      909 |      944
1234.33/1234.63	c 1234s |      18 |   661266 |   441652 |    27949     35 |      909 |      944
1236.63/1236.94	c 1236s |      18 |   661833 |   442152 |    27949     35 |      909 |      944
1238.73/1239.02	c 1238s |      18 |   662382 |   442652 |    27949     35 |      909 |      944
1240.83/1241.18	c 1240s |      18 |   662973 |   443152 |    27949     35 |      909 |      944
1243.32/1243.60	c 1243s |      18 |   663656 |   443752 |    27949     35 |      909 |      944
1245.32/1245.68	c 1245s |      18 |   664240 |   444252 |    27949     35 |      909 |      944
1246.32/1246.66	c 1246s |      19 |   664485 |   444482 |    27949     35 |      909 |      944
1248.42/1248.75	c 1248s |      19 |   669792 |   446182 |    27949     35 |      909 |      944
1250.43/1250.78	c 1250s |      19 |   673386 |   448182 |    27949     35 |      909 |      944
1252.52/1252.86	c 1252s |      19 |   675093 |   449482 |    27949     35 |      909 |      944
1254.52/1254.89	c 1254s |      19 |   676568 |   450682 |    27949     35 |      909 |      944
1256.63/1256.91	c 1256s |      19 |   677585 |   451582 |    27949     35 |      909 |      944
1258.62/1258.97	c 1258s |      19 |   678622 |   452482 |    27949     35 |      909 |      944
1260.82/1261.10	c 1260s |      19 |   679695 |   453382 |    27949     35 |      909 |      944
1263.02/1263.32	c 1263s |      19 |   680545 |   454182 |    27949     35 |      909 |      944
1265.32/1265.61	c 1265s |      19 |   681430 |   454982 |    27949     35 |      909 |      944
1267.52/1267.85	c 1267s |      19 |   682340 |   455782 |    27949     35 |      909 |      944
1269.72/1270.01	c 1269s |      19 |   683313 |   456582 |    27949     35 |      909 |      944
1271.72/1272.09	c 1271s |      19 |   687561 |   457682 |    27949     36 |      909 |      944
1273.82/1274.11	c 1273s |      19 |   691913 |   459982 |    27949     36 |      909 |      944
1275.82/1276.18	c 1275s |      19 |   695323 |   461982 |    27949     36 |      909 |      944
1277.92/1278.27	c 1277s |      19 |   697138 |   463382 |    27949     36 |      909 |      944
1280.02/1280.30	c 1280s |      19 |   698632 |   464582 |    27949     36 |      909 |      944
1282.02/1282.37	c 1282s |      19 |   701138 |   466082 |    27949     36 |      909 |      944
1284.21/1284.50	c 1284s |      19 |   704504 |   467782 |    27949     36 |      909 |      944
1286.31/1286.63	c 1286s |      19 |   710969 |   469982 |    27949     36 |      909 |      944
1288.41/1288.78	c 1288s |      19 |   712423 |   471382 |    27949     36 |      909 |      944
1290.61/1290.91	c 1290s |      19 |   713720 |   472582 |    27949     36 |      909 |      944
1292.71/1293.02	c 1292s |      19 |   714683 |   473482 |    27949     37 |      909 |      944
1294.81/1295.16	c 1294s |      19 |   715976 |   474682 |    27949     37 |      909 |      944
1296.81/1297.17	c 1296s |      19 |   717032 |   475682 |    27949     37 |      909 |      944
1298.91/1299.23	c 1298s |      19 |   719333 |   476982 |    27949     37 |      909 |      944
1301.01/1301.34	c 1301s |      19 |   720900 |   477982 |    27949     37 |      909 |      944
1303.10/1303.40	c 1303s |      19 |   722123 |   479082 |    27949     37 |      909 |      944
1305.30/1305.62	c 1305s |      19 |   723003 |   479882 |    27949     37 |      909 |      944
1307.40/1307.70	c 1307s |      19 |   723749 |   480582 |    27949     37 |      909 |      944
1309.50/1309.87	c 1309s |      19 |   724411 |   481182 |    27949     37 |      909 |      944
1311.60/1311.90	c 1311s |      19 |   725059 |   481782 |    27949     37 |      909 |      944
1313.60/1313.92	c 1313s |      19 |   725707 |   482382 |    27949     37 |      909 |      944
1315.70/1316.03	c 1315s |      19 |   726413 |   482982 |    27949     37 |      909 |      944
1318.00/1318.38	c 1318s |      19 |   727069 |   483582 |    27949     37 |      909 |      944
1320.30/1320.68	c 1320s |      19 |   727710 |   484182 |    27949     37 |      909 |      944
1322.50/1322.88	c 1322s |      19 |   728247 |   484682 |    27949     37 |      909 |      944
1324.89/1325.23	c 1324s |      19 |   728897 |   485282 |    27949     37 |      909 |      944
1326.99/1327.38	c 1327s |      19 |   729568 |   485882 |    27949     37 |      909 |      944
1329.39/1329.78	c 1329s |      19 |   730208 |   486482 |    27949     37 |      909 |      944
1331.59/1331.94	c 1331s |      19 |   730756 |   486982 |    27949     37 |      909 |      944
1333.79/1334.18	c 1333s |      19 |   731304 |   487482 |    27949     37 |      909 |      944
1335.89/1336.24	c 1335s |      19 |   731858 |   487982 |    27949     37 |      909 |      944
1337.89/1338.29	c 1338s |      19 |   732389 |   488482 |    27949     37 |      909 |      944
1339.99/1340.35	c 1340s |      19 |   732831 |   488882 |    27949     38 |      909 |      944
1342.29/1342.62	c 1342s |      19 |   733498 |   489482 |    27949     38 |      909 |      944
1344.39/1344.76	c 1344s |      19 |   734163 |   490082 |    27949     38 |      909 |      944
1346.59/1346.95	c 1346s |      19 |   734707 |   490582 |    27949     38 |      909 |      944
1348.79/1349.12	c 1348s |      19 |   735226 |   491082 |    27949     38 |      909 |      944
1350.79/1351.13	c 1350s |      19 |   735803 |   491582 |    27949     38 |      909 |      944
1353.19/1353.58	c 1353s |      19 |   736455 |   492182 |    27949     38 |      909 |      944
1355.49/1355.89	c 1355s |      19 |   736972 |   492682 |    27949     38 |      909 |      944
1357.68/1358.02	c 1357s |      19 |   737964 |   493482 |    27949     38 |      909 |      944
1359.78/1360.17	c 1359s |      19 |   738853 |   494282 |    27949     38 |      909 |      944
1361.98/1362.33	c 1362s |      19 |   739739 |   495082 |    27949     38 |      909 |      944
1364.08/1364.47	c 1364s |      19 |   740495 |   495782 |    27949     38 |      909 |      944
1366.28/1366.65	c 1366s |      19 |   741294 |   496482 |    27949     38 |      909 |      944
1368.38/1368.77	c 1368s |      19 |   741942 |   497082 |    27949     38 |      909 |      944
1370.78/1371.11	c 1370s |      19 |   742562 |   497682 |    27949     38 |      909 |      944
1372.88/1373.23	c 1372s |      19 |   743234 |   498282 |    27949     38 |      909 |      944
1375.28/1375.60	c 1375s |      19 |   743857 |   498882 |    27949     38 |      909 |      944
1377.37/1377.78	c 1377s |      19 |   744513 |   499482 |    27949     38 |      909 |      944
1379.37/1379.79	c 1379s |      19 |   745028 |   499982 |    27949     38 |      909 |      944
1381.77/1382.10	c 1381s |      19 |   745655 |   500582 |    27949     38 |      909 |      944
1383.77/1384.18	c 1383s |      19 |   746325 |   501182 |    27949     38 |      909 |      944
1385.87/1386.28	c 1386s |      19 |   746989 |   501782 |    27949     38 |      909 |      944
1388.07/1388.45	c 1388s |      19 |   747632 |   502382 |    27949     38 |      909 |      944
1390.47/1390.82	c 1390s |      19 |   748264 |   502982 |    27949     38 |      909 |      944
1392.47/1392.85	c 1392s |      19 |   748780 |   503482 |    27949     38 |      909 |      944
1394.59/1394.93	c 1394s |      19 |   749312 |   503982 |    27949     38 |      909 |      944
1396.98/1397.32	c 1397s |      19 |   749728 |   504382 |    27949     39 |      909 |      944
1399.08/1399.42	c 1399s |      19 |   750359 |   504982 |    27949     39 |      909 |      944
1401.19/1401.52	c 1401s |      19 |   751113 |   505682 |    27949     39 |      909 |      944
1403.28/1403.64	c 1403s |      19 |   751872 |   506382 |    27949     39 |      909 |      944
1405.37/1405.74	c 1405s |      19 |   752647 |   507082 |    27949     39 |      909 |      944
1407.47/1407.83	c 1407s |      19 |   753389 |   507782 |    27949     39 |      909 |      944
1409.67/1410.08	c 1409s |      19 |   754160 |   508482 |    27949     39 |      909 |      944
1411.97/1412.39	c 1412s |      19 |   754915 |   509182 |    27949     39 |      909 |      944
1414.06/1414.49	c 1414s |      19 |   755540 |   509782 |    27949     39 |      909 |      944
1416.16/1416.55	c 1416s |      19 |   756194 |   510382 |    27949     39 |      909 |      944
1418.26/1418.65	c 1418s |      19 |   756826 |   510982 |    27949     39 |      909 |      944
1420.46/1420.89	c 1420s |      19 |   757661 |   511682 |    27949     39 |      909 |      944
1422.56/1422.94	c 1422s |      19 |   758526 |   512382 |    27949     39 |      909 |      944
1424.76/1425.16	c 1424s |      19 |   759201 |   512982 |    27949     39 |      909 |      944
1426.96/1427.36	c 1427s |      19 |   759892 |   513582 |    27949     39 |      909 |      944
1429.06/1429.41	c 1429s |      19 |   760593 |   514182 |    27949     39 |      909 |      944
1431.36/1431.73	c 1431s |      19 |   761400 |   514882 |    27949     39 |      909 |      944
1433.55/1433.90	c 1433s |      19 |   762116 |   515482 |    27949     39 |      909 |      944
1435.75/1436.19	c 1435s |      19 |   762816 |   516082 |    27949     39 |      909 |      944
1438.15/1438.51	c 1438s |      19 |   763493 |   516682 |    27949     39 |      909 |      944
1440.25/1440.68	c 1440s |      19 |   764178 |   517282 |    27949     39 |      909 |      944
1442.55/1442.94	c 1442s |      19 |   764715 |   517782 |    27949     39 |      909 |      944
1444.55/1444.99	c 1444s |      19 |   765297 |   518282 |    27949     39 |      909 |      944
1446.75/1447.15	c 1446s |      19 |   765858 |   518782 |    27949     39 |      909 |      944
1449.15/1449.58	c 1449s |      19 |   766415 |   519282 |    27949     39 |      909 |      944
1451.45/1451.87	c 1451s |      19 |   766989 |   519782 |    27949     39 |      909 |      944
1453.54/1453.96	c 1453s |      19 |   767429 |   520182 |    27949     40 |      909 |      944
1455.84/1456.20	c 1455s |      19 |   768587 |   520982 |    27949     40 |      909 |      944
1458.14/1458.60	c 1458s |      19 |   769325 |   521682 |    27949     40 |      909 |      944
1460.44/1460.85	c 1460s |      19 |   770062 |   522382 |    27949     40 |      909 |      944
1462.64/1463.02	c 1462s |      19 |   770808 |   523082 |    27949     40 |      909 |      944
1464.73/1465.11	c 1464s |      19 |   771423 |   523682 |    27949     40 |      909 |      944
1466.73/1467.15	c 1466s |      19 |   772056 |   524282 |    27949     40 |      909 |      944
1468.93/1469.34	c 1469s |      19 |   772684 |   524882 |    27949     40 |      909 |      944
1471.23/1471.63	c 1471s |      19 |   773313 |   525482 |    27949     40 |      909 |      944
1473.52/1473.92	c 1473s |      19 |   773822 |   525982 |    27949     40 |      909 |      944
1475.72/1476.19	c 1475s |      19 |   774436 |   526582 |    27949     40 |      909 |      944
1478.13/1478.52	c 1478s |      19 |   775075 |   527182 |    27949     40 |      909 |      944
1480.42/1480.82	c 1480s |      19 |   775816 |   527882 |    27949     40 |      909 |      944
1482.53/1482.92	c 1482s |      19 |   776441 |   528482 |    27949     40 |      909 |      944
1484.72/1485.16	c 1484s |      19 |   777074 |   529082 |    27949     40 |      909 |      944
1486.82/1487.29	c 1487s |      19 |   777741 |   529682 |    27949     40 |      909 |      944
1489.02/1489.44	c 1489s |      19 |   778438 |   530282 |    27949     40 |      909 |      944
1491.51/1491.94	c 1491s |      19 |   779107 |   530882 |    27949     40 |      909 |      944
1493.70/1494.14	c 1493s |      19 |   779704 |   531382 |    27949     40 |      909 |      944
1495.80/1496.22	c 1495s |      19 |   780284 |   531882 |    27949     40 |      909 |      944
1497.91/1498.36	c 1498s |      19 |   780839 |   532382 |    27949     40 |      909 |      944
1500.40/1500.82	c 1500s |      19 |   781377 |   532882 |    27949     40 |      909 |      944
1502.60/1503.05	c 1502s |      19 |   781949 |   533382 |    27949     40 |      909 |      944
1505.00/1505.44	c 1505s |      19 |   782645 |   533982 |    27949     40 |      909 |      944
1507.09/1507.59	c 1507s |      19 |   783184 |   534482 |    27949     40 |      909 |      944
1509.19/1509.67	c 1509s |      19 |   783767 |   534982 |    27949     40 |      909 |      944
1511.69/1512.10	c 1511s |      19 |   784352 |   535482 |    27949     41 |      909 |      944
1513.89/1514.33	c 1514s |      19 |   785187 |   536182 |    27949     41 |      909 |      944
1515.89/1516.36	c 1516s |      19 |   785709 |   536682 |    27949     41 |      909 |      944
1518.19/1518.63	c 1518s |      19 |   786461 |   537382 |    27949     41 |      909 |      944
1520.28/1520.80	c 1520s |      19 |   787115 |   537982 |    27949     41 |      909 |      944
1522.49/1522.98	c 1522s |      19 |   787797 |   538582 |    27949     41 |      909 |      944
1524.69/1525.19	c 1524s |      19 |   788442 |   539182 |    27949     41 |      909 |      944
1526.89/1527.36	c 1527s |      19 |   789111 |   539782 |    27949     41 |      909 |      944
1528.99/1529.40	c 1529s |      19 |   789980 |   540482 |    27949     41 |      909 |      944
1531.09/1531.56	c 1531s |      19 |   790625 |   541082 |    27949     41 |      909 |      944
1533.09/1533.58	c 1533s |      19 |   791295 |   541682 |    27949     41 |      909 |      944
1535.38/1535.85	c 1535s |      19 |   791997 |   542282 |    27949     41 |      909 |      944
1537.58/1538.05	c 1537s |      19 |   792588 |   542782 |    27949     41 |      909 |      944
1539.58/1540.08	c 1539s |      19 |   793128 |   543282 |    27949     41 |      909 |      944
1541.78/1542.23	c 1541s |      19 |   793821 |   543882 |    27949     41 |      909 |      944
1543.77/1544.29	c 1544s |      19 |   794503 |   544482 |    27949     41 |      909 |      944
1545.87/1546.30	c 1546s |      19 |   795029 |   544982 |    27949     41 |      909 |      944
1548.07/1548.57	c 1548s |      19 |   795565 |   545482 |    27949     41 |      909 |      944
1550.47/1550.96	c 1550s |      19 |   796213 |   546082 |    27949     41 |      909 |      944
1552.57/1553.09	c 1552s |      19 |   796752 |   546582 |    27949     41 |      909 |      944
1554.86/1555.35	c 1555s |      19 |   797312 |   547082 |    27949     41 |      909 |      944
1556.96/1557.47	c 1557s |      19 |   797855 |   547582 |    27949     41 |      909 |      944
1559.37/1559.83	c 1559s |      19 |   798393 |   548082 |    27949     41 |      909 |      944
1561.57/1562.02	c 1561s |      19 |   798954 |   548582 |    27949     41 |      909 |      944
1563.86/1564.33	c 1564s |      19 |   799387 |   548982 |    27949     41 |      909 |      944
1565.96/1566.48	c 1566s |      19 |   799827 |   549382 |    27949     41 |      909 |      944
1568.35/1568.86	c 1568s |      19 |   800386 |   549882 |    27949     41 |      909 |      944
1570.85/1571.33	c 1571s |      19 |   800954 |   550382 |    27949     41 |      909 |      944
1572.84/1573.39	c 1573s |      19 |   801392 |   550782 |    27949     41 |      909 |      944
1575.24/1575.76	c 1575s |      19 |   801836 |   551182 |    27949     42 |      909 |      944
1577.65/1578.10	c 1577s |      19 |   802616 |   551882 |    27949     42 |      909 |      944
1579.65/1580.17	c 1579s |      19 |   803179 |   552382 |    27949     42 |      909 |      944
1581.75/1582.24	c 1581s |      19 |   803734 |   552882 |    27949     42 |      909 |      944
1584.15/1584.62	c 1584s |      19 |   804285 |   553382 |    27949     42 |      909 |      944
1586.15/1586.64	c 1586s |      19 |   804846 |   553882 |    27949     42 |      909 |      944
1588.25/1588.71	c 1588s |      19 |   805397 |   554382 |    27949     42 |      909 |      944
1590.35/1590.84	c 1590s |      19 |   805944 |   554882 |    27949     42 |      909 |      944
1592.35/1592.85	c 1592s |      19 |   806519 |   555382 |    27949     42 |      909 |      944
1594.44/1594.99	c 1594s |      19 |   807076 |   555882 |    27949     42 |      909 |      944
1596.75/1597.23	c 1596s |      19 |   807624 |   556382 |    27949     42 |      909 |      944
1599.04/1599.54	c 1599s |      19 |   808278 |   556982 |    27949     42 |      909 |      944
1601.24/1601.79	c 1601s |      19 |   808943 |   557582 |    27949     42 |      909 |      944
1603.34/1603.86	c 1603s |      19 |   809496 |   558082 |    27949     42 |      909 |      944
1605.54/1606.04	c 1605s |      19 |   810033 |   558582 |    27949     42 |      909 |      944
1607.63/1608.19	c 1607s |      19 |   810703 |   559182 |    27949     42 |      909 |      944
1609.94/1610.41	c 1610s |      19 |   811266 |   559682 |    27949     42 |      909 |      944
1612.23/1612.72	c 1612s |      19 |   812019 |   560282 |    27949     42 |      909 |      944
1614.43/1614.95	c 1614s |      19 |   812703 |   560882 |    27949     42 |      909 |      944
1616.63/1617.18	c 1616s |      19 |   813492 |   561582 |    27949     42 |      909 |      944
1618.92/1619.49	c 1619s |      19 |   814175 |   562182 |    27949     42 |      909 |      944
1621.03/1621.55	c 1621s |      19 |   814728 |   562682 |    27949     42 |      909 |      944
1623.42/1623.90	c 1623s |      19 |   815288 |   563182 |    27949     42 |      909 |      944
1625.52/1626.03	c 1625s |      19 |   815893 |   563682 |    27949     42 |      909 |      944
1627.82/1628.33	c 1628s |      19 |   816593 |   564282 |    27949     42 |      909 |      944
1630.12/1630.60	c 1630s |      19 |   817296 |   564882 |    27949     42 |      909 |      944
1632.11/1632.69	c 1632s |      19 |   817896 |   565382 |    27949     42 |      909 |      944
1634.41/1634.94	c 1634s |      19 |   818452 |   565882 |    27949     42 |      909 |      944
1636.42/1636.97	c 1636s |      19 |   818902 |   566282 |    27949     42 |      909 |      944
1638.71/1639.25	c 1638s |      19 |   819500 |   566782 |    27949     43 |      909 |      944
1640.91/1641.49	c 1641s |      19 |   820280 |   567482 |    27949     43 |      909 |      944
1643.20/1643.75	c 1643s |      19 |   821062 |   568182 |    27949     43 |      909 |      944
1645.40/1645.91	c 1645s |      19 |   821847 |   568882 |    27949     43 |      909 |      944
1647.50/1648.05	c 1647s |      19 |   822488 |   569482 |    27949     43 |      909 |      944
1649.62/1650.16	c 1649s |      19 |   823136 |   570082 |    27949     43 |      909 |      944
1651.71/1652.23	c 1651s |      19 |   823822 |   570682 |    27949     43 |      909 |      944
1653.91/1654.47	c 1654s |      19 |   824620 |   571382 |    27949     43 |      909 |      944
1656.30/1656.84	c 1656s |      19 |   825256 |   571982 |    27949     43 |      909 |      944
1658.41/1658.90	c 1658s |      19 |   825769 |   572482 |    27949     43 |      909 |      944
1660.51/1661.00	c 1660s |      19 |   826324 |   572982 |    27949     43 |      909 |      944
1662.60/1663.13	c 1662s |      19 |   826978 |   573582 |    27949     43 |      909 |      944
1664.90/1665.44	c 1665s |      19 |   827705 |   574182 |    27949     43 |      909 |      944
1667.20/1667.75	c 1667s |      19 |   828360 |   574782 |    27949     43 |      909 |      944
1669.49/1670.06	c 1669s |      19 |   829029 |   575382 |    27949     43 |      909 |      944
1671.50/1672.08	c 1671s |      19 |   829563 |   575882 |    27949     43 |      909 |      944
1673.59/1674.16	c 1673s |      19 |   830105 |   576382 |    27949     43 |      909 |      944
1675.89/1676.46	c 1676s |      19 |   830659 |   576882 |    27949     43 |      909 |      944
1678.19/1678.73	c 1678s |      19 |   831216 |   577382 |    27949     43 |      909 |      944
1680.39/1680.93	c 1680s |      19 |   831756 |   577882 |    27949     43 |      909 |      944
1682.88/1683.44	c 1683s |      19 |   832290 |   578382 |    27949     43 |      909 |      944
1684.98/1685.57	c 1685s |      19 |   832823 |   578882 |    27949     43 |      909 |      944
1687.28/1687.85	c 1687s |      19 |   833418 |   579382 |    27949     43 |      909 |      944
1689.58/1690.17	c 1689s |      19 |   834160 |   579982 |    27949     43 |      909 |      944
1692.08/1692.62	c 1692s |      19 |   834704 |   580482 |    27949     43 |      909 |      944
1694.37/1694.97	c 1694s |      19 |   835405 |   581082 |    27949     43 |      909 |      944
1696.78/1697.36	c 1697s |      19 |   835966 |   581582 |    27949     43 |      909 |      944
1699.08/1699.61	c 1699s |      19 |   836425 |   581982 |    27949     44 |      909 |      944
1701.18/1701.73	c 1701s |      19 |   837212 |   582682 |    27949     44 |      909 |      944
1703.17/1703.77	c 1703s |      19 |   837892 |   583282 |    27949     44 |      909 |      944
1705.27/1705.81	c 1705s |      19 |   838563 |   583882 |    27949     44 |      909 |      944
1707.57/1708.12	c 1707s |      19 |   839198 |   584482 |    27949     44 |      909 |      944
1709.56/1710.17	c 1709s |      19 |   839846 |   585082 |    27949     44 |      909 |      944
1711.56/1712.19	c 1711s |      19 |   840516 |   585682 |    27949     44 |      909 |      944
1713.66/1714.28	c 1714s |      19 |   841197 |   586282 |    27949     44 |      909 |      944
1716.06/1716.63	c 1716s |      19 |   841859 |   586882 |    27949     44 |      909 |      944
1718.36/1718.99	c 1718s |      19 |   842536 |   587482 |    27949     44 |      909 |      944
1720.66/1721.25	c 1720s |      19 |   843214 |   588082 |    27949     44 |      909 |      944
1722.95/1723.55	c 1723s |      19 |   843747 |   588582 |    27949     44 |      909 |      944
1724.95/1725.58	c 1725s |      19 |   844306 |   589082 |    27949     44 |      909 |      944
1727.25/1727.88	c 1727s |      19 |   845006 |   589682 |    27949     44 |      909 |      944
1729.65/1730.27	c 1729s |      19 |   845702 |   590282 |    27949     44 |      909 |      944
1731.75/1732.30	c 1732s |      19 |   846509 |   590882 |    27949     44 |      909 |      944
1733.85/1734.46	c 1734s |      19 |   847086 |   591382 |    27949     44 |      909 |      944
1736.15/1736.79	c 1736s |      19 |   847634 |   591882 |    27949     44 |      909 |      944
1738.75/1739.30	c 1739s |      19 |   848161 |   592382 |    27949     44 |      909 |      944
1740.75/1741.31	c 1741s |      19 |   848588 |   592782 |    27949     44 |      909 |      944
1742.95/1743.57	c 1743s |      19 |   849156 |   593282 |    27949     44 |      909 |      944
1745.04/1745.67	c 1745s |      19 |   849834 |   593782 |    27949     44 |      909 |      944
1747.25/1747.85	c 1747s |      19 |   850388 |   594282 |    27949     44 |      909 |      944
1749.35/1749.95	c 1749s |      19 |   850963 |   594782 |    27949     44 |      909 |      944
1751.55/1752.15	c 1751s |      19 |   851512 |   595282 |    27949     44 |      909 |      944
1753.65/1754.26	c 1753s |      19 |   852064 |   595782 |    27949     44 |      909 |      944
1755.75/1756.35	c 1756s |      19 |   852634 |   596282 |    27949     44 |      909 |      944
1758.05/1758.65	c 1758s |      19 |   853334 |   596882 |    27949     44 |      909 |      944
1760.15/1760.79	c 1760s |      19 |   854021 |   597382 |    27949     45 |      909 |      944
1762.45/1763.02	c 1762s |      19 |   855315 |   598482 |    27949     45 |      909 |      944
1764.75/1765.37	c 1765s |      19 |   856434 |   599382 |    27949     45 |      909 |      944
1766.95/1767.59	c 1767s |      19 |   857467 |   600182 |    27949     45 |      909 |      944
1769.05/1769.66	c 1769s |      19 |   858769 |   601282 |    27949     45 |      909 |      944
1771.25/1771.81	c 1771s |      19 |   859832 |   602182 |    27949     45 |      909 |      944
1773.35/1773.94	c 1773s |      19 |   861051 |   603182 |    27949     45 |      909 |      944
1775.55/1776.17	c 1775s |      19 |   862288 |   604182 |    27949     45 |      909 |      944
1777.74/1778.37	c 1778s |      19 |   863228 |   604982 |    27949     45 |      909 |      944
1779.94/1780.58	c 1780s |      19 |   864165 |   605782 |    27949     45 |      909 |      944
1782.14/1782.78	c 1782s |      19 |   865276 |   606682 |    27949     45 |      909 |      944
1784.34/1784.98	c 1784s |      19 |   867125 |   607882 |    27949     45 |      909 |      944
1786.64/1787.20	c 1786s |      19 |   868912 |   608982 |    27949     45 |      909 |      944
1788.64/1789.24	c 1788s |      19 |   870068 |   609882 |    27949     45 |      909 |      944
1790.84/1791.49	c 1791s |      19 |   871146 |   610682 |    27949     45 |      909 |      944
1792.84/1793.50	c 1793s |      19 |   872107 |   611382 |    27949     45 |      909 |      944
1794.94/1795.51	c 1795s |      19 |   873081 |   612082 |    27949     45 |      909 |      944
1797.24/1797.81	c 1797s |      19 |   874145 |   612882 |    27949     45 |      909 |      944
1799.34/1799.92	c 1799s |      19 |   874939 |   613482 |    27949     46 |      909 |      944

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4116653-1466982291/watcher-4116653-1466982291 -o /tmp/evaluation-result-4116653-1466982291/solver-4116653-1466982291 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466982291-26272 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116653-1466982291.opb 

pid=26292
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.17 2.08 2.03 3/172 26297
/proc/meminfo: memFree=31172812/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 699 0 0 0 0 0 0 0 20 0 4 0 31268628 246870016 551 33554432000 4194304 16246674 140734151518432 140734151517856 14999975 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26297/statm: 60271 553 424 2943 0 57165 0
[pid=26297/tid=26302] ppid=26292 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 246870016 579 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 246870016 586 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31268629 246870016 594 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.17 2.08 2.03 3/172 26297
/proc/meminfo: memFree=31172812/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 28464 0 0 0 5 3 0 0 20 0 4 0 31268628 1249447936 28251 33554432000 4194304 16246674 140734151518432 140734151517744 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26297/statm: 305041 28255 801 2943 0 301935 0
[pid=26297/tid=26302] ppid=26292 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1249447936 28257 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1249447936 28259 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1249447936 28259 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200438 s]
/proc/loadavg: 2.17 2.08 2.03 3/172 26297
/proc/meminfo: memFree=31172812/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 48677 0 0 0 13 6 0 0 20 0 4 0 31268628 1332285440 48464 33554432000 4194304 16246674 140734151518432 140734151517744 6762882 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26297/statm: 325265 48464 842 2943 0 322159 0
[pid=26297/tid=26302] ppid=26292 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 48464 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 48464 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 48464 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300388 s]
/proc/loadavg: 2.17 2.08 2.03 3/172 26297
/proc/meminfo: memFree=31172812/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1301060 CPUtime=0.28 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 54321 0 0 0 22 6 0 0 20 0 4 0 31268628 1332285440 54108 33554432000 4194304 16246674 140734151518432 140734151517744 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26297/statm: 325265 54115 882 2943 0 322159 0
[pid=26297/tid=26302] ppid=26292 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 54118 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 54121 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 54124 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700311 s]
/proc/loadavg: 2.17 2.08 2.03 3/172 26297
/proc/meminfo: memFree=31172812/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1301060 CPUtime=0.68 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 106450 0 0 0 55 13 0 0 20 0 4 0 31268628 1332285440 106237 33554432000 4194304 16246674 140734151518432 140734151500352 5516226 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26297/statm: 325265 106242 882 2943 0 322159 0
[pid=26297/tid=26302] ppid=26292 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 106246 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 106250 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1332285440 106253 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.17 2.08 2.03 3/183 26308
/proc/meminfo: memFree=29906328/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1302084 CPUtime=1.48 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 216903 0 0 0 121 27 0 0 20 0 4 0 31268628 1333334016 216690 33554432000 4194304 16246674 140734151518432 140734151500352 5531957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26297/statm: 325521 216700 882 2943 0 322415 0
[pid=26297/tid=26302] ppid=26292 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1333334016 216707 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1333334016 216712 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1333334016 216718 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1302084

[startup+3.10043 s]
/proc/loadavg: 2.16 2.08 2.03 3/183 26308
/proc/meminfo: memFree=29021596/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1313348 CPUtime=3.08 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 269333 0 0 0 274 34 0 0 20 0 4 0 31268628 1344868352 269120 33554432000 4194304 16246674 140734151518432 140734151500352 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26297/statm: 328337 269120 888 2943 0 325231 0
[pid=26297/tid=26302] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269120 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269120 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269120 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.30043 s]
/proc/loadavg: 2.16 2.08 2.03 3/183 26308
/proc/meminfo: memFree=29019776/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 269525 0 0 0 592 37 0 0 20 0 4 0 31268628 1344868352 269312 33554432000 4194304 16246674 140734151518432 140734151501424 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 328337 269312 888 2943 0 325231 0
[pid=26297/tid=26302] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269312 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269312 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269312 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.21 2.09 2.03 3/183 26308
/proc/meminfo: memFree=29019820/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 269525 0 0 0 1231 37 0 0 20 0 4 0 31268628 1344868352 269312 33554432000 4194304 16246674 140734151518432 140734151500352 5723568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 328337 269312 888 2943 0 325231 0
[pid=26297/tid=26302] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269312 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269312 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269312 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.18 2.09 2.03 3/183 26308
/proc/meminfo: memFree=29021184/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 269530 0 0 0 2511 37 0 0 20 0 4 0 31268628 1344868352 269317 33554432000 4194304 16246674 140734151518432 140734151501424 13780568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 328337 269317 892 2943 0 325231 0
[pid=26297/tid=26302] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269317 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269317 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269317 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.17 2.10 2.03 3/183 26308
/proc/meminfo: memFree=29021780/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 269530 0 0 0 5070 38 0 0 20 0 4 0 31268628 1344868352 269317 33554432000 4194304 16246674 140734151518432 140734151500352 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 328337 269317 892 2943 0 325231 0
[pid=26297/tid=26302] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269317 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269317 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1344868352 269317 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.10 2.09 2.03 3/183 26309
/proc/meminfo: memFree=29012884/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1316420 CPUtime=102.28 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 270079 0 0 0 10189 39 0 0 20 0 4 0 31268628 1348014080 269866 33554432000 4194304 16246674 140734151518432 140734151501424 5711636 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 329105 269866 892 2943 0 325999 0
[pid=26297/tid=26302] ppid=26292 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1348014080 269866 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1348014080 269866 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1348014080 269866 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276002 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1339972

[startup+1302.3 s]
/proc/loadavg: 2.18 2.17 2.10 3/183 26339
/proc/meminfo: memFree=28976540/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1339972 CPUtime=1302.01 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 276270 0 0 0 130145 56 0 0 20 0 4 0 31268628 1372131328 276229 33554432000 4194304 16246674 140734151518432 140734151500352 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 334993 276229 892 2943 0 331887 0
[pid=26297/tid=26302] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1339972

[startup+1362.3 s]
/proc/loadavg: 2.10 2.15 2.10 3/183 26340
/proc/meminfo: memFree=28974512/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1339972 CPUtime=1361.98 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 276292 0 0 0 136142 56 0 0 20 0 4 0 31268628 1372131328 276229 33554432000 4194304 16246674 140734151518432 140734151500352 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 334993 276229 892 2943 0 331887 0
[pid=26297/tid=26302] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1339972

[startup+1422.3 s]
/proc/loadavg: 2.11 2.15 2.10 4/183 26342
/proc/meminfo: memFree=28975320/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1339972 CPUtime=1421.97 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 276317 0 0 0 142140 57 0 0 20 0 4 0 31268628 1372131328 276229 33554432000 4194304 16246674 140734151518432 140734151500352 12483674 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 334993 276229 892 2943 0 331887 0
[pid=26297/tid=26302] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1339972

[startup+1482.3 s]
/proc/loadavg: 2.08 2.14 2.09 3/183 26343
/proc/meminfo: memFree=28974916/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1339972 CPUtime=1481.92 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 276362 0 0 0 148135 57 0 0 20 0 4 0 31268628 1372131328 276229 33554432000 4194304 16246674 140734151518432 140734151500352 5822240 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 334993 276229 892 2943 0 331887 0
[pid=26297/tid=26302] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1339972

[startup+1542.31 s]
/proc/loadavg: 2.03 2.11 2.08 4/184 26347
/proc/meminfo: memFree=28974524/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1339972 CPUtime=1541.88 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 276408 0 0 0 154130 58 0 0 20 0 4 0 31268628 1372131328 276229 33554432000 4194304 16246674 140734151518432 140734151501424 5545984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 334993 276229 892 2943 0 331887 0
[pid=26297/tid=26302] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1339972

[startup+1602.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/183 26348
/proc/meminfo: memFree=28974628/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1339972 CPUtime=1601.84 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 276454 0 0 0 160125 59 0 0 20 0 4 0 31268628 1372131328 276229 33554432000 4194304 16246674 140734151518432 140734151501424 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 334993 276229 892 2943 0 331887 0
[pid=26297/tid=26302] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1339972

[startup+1662.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/183 26349
/proc/meminfo: memFree=28970548/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1339972 CPUtime=1661.8 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 276502 0 0 0 166120 60 0 0 20 0 4 0 31268628 1372131328 276229 33554432000 4194304 16246674 140734151518432 140734151500352 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 334993 276229 892 2943 0 331887 0
[pid=26297/tid=26302] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1339972

[startup+1722.3 s]
/proc/loadavg: 2.00 2.05 2.07 4/183 26351
/proc/meminfo: memFree=28970684/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1339972 CPUtime=1721.76 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 276549 0 0 0 172116 60 0 0 20 0 4 0 31268628 1372131328 276229 33554432000 4194304 16246674 140734151518432 140734151500352 5673837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 334993 276229 892 2943 0 331887 0
[pid=26297/tid=26302] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1339972

[startup+1782.3 s]
/proc/loadavg: 2.10 2.07 2.07 3/183 26352
/proc/meminfo: memFree=28970256/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1339972 CPUtime=1781.74 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 276559 0 0 0 178113 61 0 0 20 0 4 0 31268628 1372131328 276229 33554432000 4194304 16246674 140734151518432 140734151500352 13780568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 334993 276229 892 2943 0 331887 0
[pid=26297/tid=26302] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1339972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.07 2.07 3/183 26352
/proc/meminfo: memFree=28970256/32872528 swapFree=681168/738400
[pid=26297] ppid=26292 vsize=1339972 CPUtime=1800.04 cores=1,3,5,7
/proc/26297/stat : 26297 (toysat) R 26292 26297 24605 0 -1 4202496 276559 0 0 0 179943 61 0 0 20 0 4 0 31268628 1372131328 276229 33554432000 4194304 16246674 140734151518432 140734151500352 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26297/statm: 334993 276229 892 2943 0 331887 0
[pid=26297/tid=26302] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26302/stat : 26302 (toysat) S 26292 26297 24605 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960869956848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26297/tid=26304] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26304/stat : 26304 (toysat) S 26292 26297 24605 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960859466992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26297/tid=26306] ppid=26292 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/26297/task/26306/stat : 26306 (toysat) S 26292 26297 24605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31268629 1372131328 276229 33554432000 4194304 16246674 140734151518432 139960848993456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1339972

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26297 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.44
CPU system time (s): 0.616906
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1339972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.616906
maximum resident set size= 1104916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276559
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= 389
involuntary context switches= 2919

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49832 second user time and 7.13791 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-27 01:04:51
IDJOB=4116653
IDBENCH=109497
IDSOLVER=2542
FILE ID=node112/4116653-1466982291
RUNJOBID= node112-1466982291-26272
PBS_JOBID= 19976373
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-7.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116653-1466982291/watcher-4116653-1466982291 -o /tmp/evaluation-result-4116653-1466982291/solver-4116653-1466982291 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466982291-26272 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116653-1466982291.opb

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

MD5SUM BENCH= 61ae36a4f676caa4ef52360a8e78a841
RANDOM SEED=1700467230

node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31174092 kB
Buffers:           36580 kB
Cached:           220172 kB
SwapCached:         1692 kB
Active:            87160 kB
Inactive:         172248 kB
Active(anon):       3020 kB
Inactive(anon):     2540 kB
Active(file):      84140 kB
Inactive(file):   169708 kB
Unevictable:      738400 kB
Mlocked:          681168 kB
SwapTotal:      67108856 kB
SwapFree:       67098676 kB
Dirty:             33364 kB
Writeback:             0 kB
AnonPages:        805944 kB
Mapped:             7056 kB
Shmem:                 0 kB
Slab:             568548 kB
SReclaimable:      12352 kB
SUnreclaim:       556196 kB
KernelStack:        1408 kB
PageTables:         5448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     835388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71656 MiB
End job on node112 at 2016-06-27 01:34:52