Trace number 4116557

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.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round23-4.opb
MD5SUM59f2e46de20f76e96a9c0ff4b18f60c6
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 constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
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-27T00:16:24+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-4116557-1466979384.opb"]
0.00/0.01	c use --random-gen="1312863486 2828360882 4192027560 971332361 837194784 3098815589 3583451031 52322950 939568617 91041530 3032783288 1477814094 2041779632 4013773084 1944326934 731843331 3427496020 2152680328 757915985 1320696145 2936716747 2813373810 1483874959 1865962682 2183266780 2104091913 3776950688 1426456145 702904326 975552853 1392633497 64714052 1719968342 655797927 4043958415 2870194695 3819199986 3673265719 1014149608 2362658114 1687843107 3321671780 4165720824 2688505368 655656509 2348071635 3786756431 507351678 347623588 3630286589 1936783835 660844057 3591683646 4231801353 2001721676 3518172161 1412361733 2457323781 2570567531 2874488405 4138750922 2197298929 2210262197 2303765568 759877661 3314269163 1921753321 3828014955 2981814464 3672852215 2285783358 3600940933 3300777912 3091452541 3225123272 1849679206 3616798728 3938775407 3249594864 4138529103 569465498 1762389785 1969039384 831775478 2902621877 928368638 2889796181 2378810558 699484323 710165292 1245180306 1594004445 3667929656 2623679653 3475116197 942362173 3371890661 1708166834 989788848 2855811707 3807056049 244209639 1703412063 3098500551 1546338065 3995602793 318841090 3923290144 1353719656 3429432702 1234327642 45191870 3707070044 614969877 1229767051 789280181 4007140464 2052828047 2966215534 267842844 1044245833 3227637905 2346538180 4124520834 2618733240 619609060 2147509980 3289001430 2138311811 3202455349 364038294 786577147 3449912844 4174422574 1266726934 3386671006 3251739354 3102438342 587809650 1898378263 1237765264 3783210544 4152717151 443775706 2669451346 3145322318 3524281718 2373358765 3142509974 3129485871 134985871 3947881695 2537077040 105773794 793912936 2820669557 3487370166 3750079066 508287853 2663526746 612854911 3451340458 2658237943 2968462836 2465224873 1170912335 1968657115 3801512388 94690797 3488977562 3921076539 202662908 408246822 2271503665 1494197841 978911549 2113710227 2622947995 4147962484 277793362 2481062287 3203947822 996119176 3072735210 2788041230 1256321747 3698524093 1976660783 934724504 3216605417 3708279052 1776902332 3999343281 544707246 347270117 11192214 1957930134 234866263 2104509320 3005249037 2644003863 2659757813 3192525128 2569762272 2948349513 833827728 3096753817 3504884661 366145727 3243978714 2153181824 151194934 2234578879 115316909 2506261512 1835794300 340206204 551729676 3694952815 2391729450 3131533478 3013997290 2435834046 3571299630 3761246835 628562164 2322470278 1673467131 3252237837 3641969400 2042278095 4059097582 770102092 4081588494 1144130493 2085201899 2347487983 340544841 1566797245 1266274447 1265522626 3948604920 805814695 2120903322 605090224 1672798312 3819049857 2267146879 603069304 3318329295 1216951787 2619672748 2218133879 3711410829 3577357148 1267002908 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9504
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 |      733 |        0
0.28/0.35	c  0.1s |       1 |      666 |      100 |     4565      0 |      733 |      618
0.39/0.47	c  0.2s |       2 |     3521 |      250 |     5022      0 |      734 |      618
0.59/0.63	c  0.4s |       3 |     5319 |      475 |     5525      0 |      734 |      618
0.79/0.89	c  0.6s |       4 |     7375 |      813 |     6078      0 |      734 |      618
1.19/1.27	c  1.0s |       5 |    11099 |     1320 |     6686      0 |      734 |      618
1.79/1.86	c  1.6s |       6 |    16129 |     2081 |     8091      0 |      734 |      618
2.58/2.62	c  2.3s |       7 |    22727 |     3223 |     8901      0 |      735 |      618
3.98/4.06	c  3.8s |       8 |    27552 |     4936 |     9792      0 |      735 |      618
6.19/6.20	c  5.9s |       8 |    33068 |     6736 |     9792      0 |      735 |      618
7.19/7.28	c  7.0s |       9 |    36785 |     7506 |    10772      0 |      735 |      618
9.29/9.36	c  9.1s |       9 |    42303 |     9606 |    10772      0 |      735 |      618
11.39/11.44	c 11.2s |       9 |    44213 |    11206 |    10772      0 |      735 |      618
11.59/11.64	c 11.4s |      10 |    44383 |    11361 |    11850      0 |      735 |      618
13.69/13.75	c 13.5s |      10 |    52639 |    13461 |    11850      0 |      735 |      618
15.79/15.89	c 15.6s |      10 |    53957 |    14661 |    11850      0 |      735 |      618
17.89/17.98	c 17.7s |      10 |    55053 |    15661 |    11850      1 |      735 |      618
20.09/20.18	c 19.9s |      10 |    56216 |    16761 |    11850      1 |      735 |      618
20.90/20.92	c 20.6s |      11 |    56621 |    17144 |    13036      1 |      735 |      618
22.89/22.96	c 22.7s |      11 |    67717 |    19644 |    13036      1 |      735 |      618
24.89/24.99	c 24.7s |      11 |    79048 |    22544 |    13036      1 |      735 |      618
27.39/27.45	c 27.2s |      11 |    81381 |    23644 |    13036      2 |      735 |      618
29.39/29.40	c 29.1s |      12 |    86470 |    25819 |    14340      2 |      735 |      618
31.49/31.51	c 31.2s |      12 |    91007 |    27619 |    14340      2 |      735 |      618
33.59/33.64	c 33.4s |      12 |    92855 |    29119 |    14340      2 |      735 |      618
35.69/35.72	c 35.4s |      12 |    94365 |    30419 |    14340      2 |      735 |      618
37.69/37.79	c 37.5s |      12 |    95589 |    31519 |    14340      2 |      735 |      618
39.79/39.89	c 39.6s |      12 |    96661 |    32519 |    14340      2 |      735 |      618
41.89/41.92	c 41.6s |      12 |    97657 |    33419 |    14340      2 |      735 |      618
43.88/43.94	c 43.7s |      12 |    98594 |    34219 |    14340      3 |      735 |      618
46.08/46.15	c 45.9s |      12 |    99759 |    35219 |    14340      3 |      735 |      618
48.28/48.33	c 48.1s |      12 |   100807 |    36119 |    14340      3 |      735 |      618
50.38/50.49	c 50.2s |      12 |   101686 |    36919 |    14340      3 |      735 |      618
52.68/52.77	c 52.5s |      12 |   102583 |    37719 |    14340      3 |      735 |      618
54.88/54.93	c 54.7s |      12 |   103466 |    38519 |    14340      3 |      735 |      618
55.68/55.79	c 55.5s |      13 |   103832 |    38832 |    15775      3 |      735 |      618
57.78/57.80	c 57.5s |      13 |   111650 |    40732 |    15775      3 |      735 |      618
59.78/59.88	c 59.6s |      13 |   121205 |    43332 |    15775      4 |      735 |      618
61.88/61.90	c 61.6s |      13 |   130029 |    45532 |    15775      4 |      735 |      618
63.98/64.06	c 63.8s |      13 |   131191 |    46532 |    15775      4 |      735 |      618
65.98/66.07	c 65.8s |      13 |   132375 |    47532 |    15775      4 |      735 |      618
68.18/68.25	c 68.0s |      13 |   133504 |    48532 |    15775      4 |      735 |      618
70.38/70.45	c 70.2s |      13 |   134683 |    49532 |    15775      4 |      735 |      618
72.58/72.64	c 72.4s |      13 |   135873 |    50532 |    15775      4 |      735 |      618
74.57/74.65	c 74.4s |      13 |   136981 |    51432 |    15775      4 |      735 |      618
76.67/76.79	c 76.5s |      13 |   137986 |    52232 |    15775      4 |      735 |      618
78.77/78.86	c 78.6s |      13 |   138707 |    52832 |    15775      5 |      735 |      618
80.97/81.01	c 80.7s |      13 |   139915 |    53832 |    15775      5 |      735 |      618
82.97/83.01	c 82.7s |      13 |   141149 |    54832 |    15775      5 |      735 |      618
84.96/85.02	c 84.7s |      13 |   142285 |    55732 |    15775      5 |      735 |      618
87.06/87.17	c 86.9s |      13 |   143347 |    56632 |    15775      5 |      735 |      618
89.07/89.18	c 88.9s |      13 |   144880 |    57732 |    15775      5 |      735 |      618
90.46/90.58	c 90.3s |      14 |   145655 |    58352 |    17353      5 |      735 |      618
92.56/92.62	c 92.3s |      14 |   156955 |    60752 |    17353      5 |      735 |      618
94.57/94.66	c 94.4s |      14 |   164450 |    62852 |    17353      5 |      735 |      618
96.66/96.74	c 96.5s |      14 |   166626 |    64252 |    17353      6 |      735 |      618
98.66/98.79	c 98.5s |      14 |   168816 |    65452 |    17353      6 |      735 |      618
100.66/100.79	c  100s |      14 |   170064 |    66452 |    17353      6 |      735 |      618
102.86/102.90	c  102s |      14 |   172317 |    67952 |    17353      6 |      735 |      618
104.85/104.98	c  104s |      14 |   173886 |    69252 |    17353      6 |      735 |      618
106.95/107.07	c  106s |      14 |   175090 |    70252 |    17353      6 |      735 |      618
109.05/109.17	c  108s |      14 |   176137 |    71152 |    17353      6 |      735 |      618
111.16/111.22	c  110s |      14 |   177261 |    72152 |    17353      6 |      735 |      618
113.15/113.28	c  112s |      14 |   178294 |    73052 |    17353      6 |      735 |      618
115.15/115.30	c  115s |      14 |   179180 |    73852 |    17353      6 |      735 |      618
117.35/117.49	c  117s |      14 |   180131 |    74652 |    17353      7 |      735 |      618
119.55/119.65	c  119s |      14 |   181184 |    75552 |    17353      7 |      735 |      618
121.55/121.69	c  121s |      14 |   182429 |    76452 |    17353      7 |      735 |      618
123.65/123.76	c  123s |      14 |   183845 |    77552 |    17353      7 |      735 |      618
125.74/125.83	c  125s |      14 |   185047 |    78452 |    17353      7 |      735 |      618
127.74/127.89	c  127s |      14 |   186132 |    79352 |    17353      7 |      735 |      618
129.94/130.03	c  129s |      14 |   187224 |    80252 |    17353      7 |      735 |      618
132.05/132.17	c  131s |      14 |   188404 |    81152 |    17353      7 |      735 |      618
134.25/134.36	c  134s |      14 |   189571 |    82052 |    17353      7 |      735 |      618
136.45/136.52	c  136s |      14 |   190525 |    82852 |    17353      7 |      735 |      618
138.44/138.54	c  138s |      14 |   191365 |    83552 |    17353      7 |      735 |      618
140.54/140.68	c  140s |      14 |   192082 |    84152 |    17353      8 |      735 |      618
142.64/142.73	c  142s |      14 |   193232 |    85052 |    17353      8 |      735 |      618
144.64/144.78	c  144s |      14 |   194297 |    85852 |    17353      8 |      735 |      618
146.74/146.86	c  146s |      14 |   195402 |    86752 |    17353      8 |      735 |      618
148.74/148.89	c  148s |      14 |   196471 |    87552 |    19089      8 |      735 |      618
148.94/149.08	c  148s |      15 |   196573 |    87632 |    19089      8 |      735 |      618
151.04/151.10	c  150s |      15 |   201395 |    89532 |    19089      8 |      735 |      618
153.04/153.18	c  152s |      15 |   203610 |    91232 |    19089      8 |      735 |      618
155.15/155.21	c  154s |      15 |   205376 |    92632 |    19089      8 |      735 |      618
157.25/157.39	c  157s |      15 |   207013 |    93932 |    19089      8 |      735 |      618
159.34/159.50	c  159s |      15 |   208517 |    95132 |    19089      8 |      735 |      618
161.44/161.51	c  161s |      15 |   209719 |    96132 |    19089      8 |      735 |      618
163.44/163.52	c  163s |      15 |   210910 |    97032 |    19089      9 |      735 |      618
165.54/165.69	c  165s |      15 |   212053 |    98032 |    19089      9 |      735 |      618
167.64/167.75	c  167s |      15 |   213202 |    99032 |    19089      9 |      735 |      618
169.74/169.81	c  169s |      15 |   214238 |    99932 |    19089      9 |      735 |      618
171.84/171.93	c  171s |      15 |   215407 |   100932 |    19089      9 |      735 |      618
174.04/174.19	c  173s |      15 |   216388 |   101832 |    19089      9 |      735 |      618
176.23/176.32	c  176s |      15 |   217277 |   102632 |    19089      9 |      735 |      618
178.24/178.32	c  178s |      15 |   218047 |   103332 |    19089      9 |      735 |      618
180.34/180.45	c  180s |      15 |   218814 |   104032 |    19089      9 |      735 |      618
182.33/182.48	c  182s |      15 |   219763 |   104832 |    19089      9 |      735 |      618
184.63/184.74	c  184s |      15 |   220842 |   105732 |    19089      9 |      735 |      618
186.83/187.00	c  186s |      15 |   221887 |   106632 |    19089      9 |      735 |      618
189.03/189.16	c  188s |      15 |   223017 |   107532 |    19089      9 |      735 |      618
191.23/191.39	c  191s |      15 |   223927 |   108332 |    19089     10 |      735 |      618
193.33/193.43	c  193s |      15 |   224801 |   109132 |    19089     10 |      735 |      618
195.43/195.57	c  195s |      15 |   225565 |   109832 |    19089     10 |      735 |      618
197.73/197.81	c  197s |      15 |   226702 |   110732 |    19089     10 |      735 |      618
199.83/199.97	c  199s |      15 |   227619 |   111532 |    19089     10 |      735 |      618
202.13/202.20	c  201s |      15 |   228633 |   112432 |    19089     10 |      735 |      618
204.32/204.43	c  204s |      15 |   229537 |   113232 |    19089     10 |      735 |      618
206.32/206.47	c  206s |      15 |   230182 |   113832 |    19089     10 |      735 |      618
208.42/208.58	c  208s |      15 |   230845 |   114432 |    19089     10 |      735 |      618
210.62/210.72	c  210s |      15 |   231504 |   115032 |    19089     10 |      735 |      618
212.92/213.04	c  212s |      15 |   232242 |   115732 |    19089     10 |      735 |      618
215.22/215.37	c  215s |      15 |   233032 |   116432 |    19089     10 |      735 |      618
217.22/217.39	c  217s |      15 |   233686 |   117032 |    19089     10 |      735 |      618
219.42/219.56	c  219s |      15 |   234340 |   117632 |    19089     10 |      735 |      618
221.62/221.71	c  221s |      15 |   235162 |   118332 |    19089     10 |      735 |      618
223.82/223.91	c  223s |      15 |   235884 |   118932 |    19089     11 |      735 |      618
225.92/226.09	c  225s |      15 |   237111 |   119932 |    19089     11 |      735 |      618
228.02/228.18	c  227s |      15 |   238251 |   120832 |    19089     11 |      735 |      618
230.22/230.30	c  230s |      15 |   239138 |   121632 |    19089     11 |      735 |      618
232.31/232.47	c  232s |      15 |   240049 |   122432 |    19089     11 |      735 |      618
234.41/234.51	c  234s |      15 |   240834 |   123132 |    19089     11 |      735 |      618
236.52/236.61	c  236s |      15 |   241645 |   123832 |    19089     11 |      735 |      618
238.62/238.79	c  238s |      15 |   242420 |   124532 |    19089     11 |      735 |      618
240.71/240.90	c  240s |      15 |   243200 |   125232 |    19089     11 |      735 |      618
242.81/242.94	c  242s |      15 |   244046 |   125932 |    19089     11 |      735 |      618
244.81/244.95	c  244s |      15 |   244720 |   126532 |    19089     11 |      735 |      618
247.11/247.26	c  246s |      15 |   245569 |   127232 |    19089     11 |      735 |      618
249.11/249.29	c  249s |      15 |   246220 |   127832 |    19089     11 |      735 |      618
251.31/251.42	c  251s |      15 |   246891 |   128432 |    19089     11 |      735 |      618
253.31/253.43	c  253s |      15 |   247577 |   129032 |    19089     11 |      735 |      618
255.41/255.53	c  255s |      15 |   248250 |   129632 |    19089     11 |      735 |      618
257.71/257.84	c  257s |      15 |   248837 |   130132 |    19089     12 |      735 |      618
259.91/260.01	c  259s |      15 |   249613 |   130832 |    20998     12 |      735 |      618
262.01/262.17	c  261s |      15 |   250378 |   131532 |    20998     12 |      735 |      618
262.11/262.24	c  261s |      16 |   250397 |   131552 |    20998     12 |      735 |      618
264.10/264.26	c  263s |      16 |   262642 |   134052 |    20998     12 |      735 |      618
266.21/266.37	c  266s |      16 |   267629 |   136052 |    20998     12 |      735 |      618
268.20/268.39	c  268s |      16 |   269708 |   137452 |    20998     12 |      735 |      618
270.40/270.52	c  270s |      16 |   271198 |   138552 |    20998     12 |      735 |      618
272.50/272.65	c  272s |      16 |   272498 |   139552 |    20998     12 |      735 |      618
274.60/274.78	c  274s |      16 |   273777 |   140552 |    20998     12 |      735 |      618
276.79/276.92	c  276s |      16 |   275305 |   141652 |    20998     12 |      735 |      618
278.89/279.06	c  278s |      16 |   276388 |   142552 |    20998     12 |      735 |      618
280.99/281.10	c  280s |      16 |   277149 |   143152 |    20998     13 |      735 |      618
283.09/283.28	c  283s |      16 |   278804 |   144252 |    20998     13 |      735 |      618
285.19/285.36	c  285s |      16 |   280412 |   145352 |    20998     13 |      735 |      618
287.39/287.51	c  287s |      16 |   281692 |   146352 |    20998     13 |      735 |      618
289.49/289.63	c  289s |      16 |   282641 |   147152 |    20998     13 |      735 |      618
291.50/291.65	c  291s |      16 |   283814 |   148052 |    20998     13 |      735 |      618
293.60/293.78	c  293s |      16 |   284793 |   148852 |    20998     13 |      735 |      618
295.59/295.78	c  295s |      16 |   285610 |   149552 |    20998     13 |      735 |      618
297.69/297.82	c  297s |      16 |   286462 |   150252 |    20998     13 |      735 |      618
299.79/299.99	c  299s |      16 |   287258 |   150952 |    20998     13 |      735 |      618
301.99/302.11	c  301s |      16 |   287950 |   151552 |    20998     13 |      735 |      618
304.09/304.23	c  303s |      16 |   288501 |   152052 |    20998     13 |      735 |      618
306.29/306.43	c  306s |      16 |   289189 |   152652 |    20998     13 |      735 |      618
308.49/308.62	c  308s |      16 |   290019 |   153352 |    20998     13 |      735 |      618
310.58/310.74	c  310s |      16 |   290685 |   153952 |    20998     13 |      735 |      618
312.58/312.79	c  312s |      16 |   291402 |   154552 |    20998     13 |      735 |      618
315.18/315.36	c  315s |      16 |   292268 |   155252 |    20998     14 |      735 |      618
317.28/317.47	c  317s |      16 |   295655 |   156652 |    20998     14 |      735 |      618
319.38/319.51	c  319s |      16 |   298396 |   158052 |    20998     14 |      735 |      618
321.38/321.52	c  321s |      16 |   299701 |   159052 |    20998     14 |      735 |      618
323.58/323.77	c  323s |      16 |   300855 |   159952 |    20998     14 |      735 |      618
325.68/325.81	c  325s |      16 |   301687 |   160652 |    20998     14 |      735 |      618
327.88/328.09	c  327s |      16 |   302624 |   161452 |    20998     14 |      735 |      618
329.99/330.18	c  329s |      16 |   303499 |   162152 |    20998     14 |      735 |      618
332.19/332.39	c  332s |      16 |   304736 |   163052 |    20998     14 |      735 |      618
334.39/334.52	c  334s |      16 |   305872 |   163852 |    20998     14 |      735 |      618
336.48/336.68	c  336s |      16 |   306893 |   164652 |    20998     14 |      735 |      618
338.68/338.86	c  338s |      16 |   307737 |   165352 |    20998     14 |      735 |      618
340.98/341.18	c  340s |      16 |   308558 |   166052 |    20998     14 |      735 |      618
343.18/343.36	c  343s |      16 |   309258 |   166652 |    20998     14 |      735 |      618
345.48/345.64	c  345s |      16 |   309883 |   167152 |    20998     15 |      735 |      618
347.58/347.71	c  347s |      16 |   310795 |   167852 |    20998     15 |      735 |      618
349.58/349.78	c  349s |      16 |   311769 |   168552 |    20998     15 |      735 |      618
351.98/352.11	c  351s |      16 |   312691 |   169252 |    20998     15 |      735 |      618
354.28/354.40	c  354s |      16 |   313404 |   169852 |    20998     15 |      735 |      618
356.57/356.75	c  356s |      16 |   314074 |   170452 |    20998     15 |      735 |      618
358.67/358.81	c  358s |      16 |   314798 |   171052 |    20998     15 |      735 |      618
360.97/361.14	c  360s |      16 |   315533 |   171652 |    20998     15 |      735 |      618
363.27/363.49	c  363s |      16 |   316228 |   172252 |    20998     15 |      735 |      618
365.47/365.61	c  365s |      16 |   316791 |   172752 |    20998     15 |      735 |      618
367.87/368.03	c  367s |      16 |   317320 |   173252 |    20998     15 |      735 |      618
369.97/370.13	c  369s |      16 |   319300 |   174052 |    20998     15 |      735 |      618
371.98/372.19	c  371s |      16 |   322006 |   175252 |    20998     15 |      735 |      618
374.18/374.36	c  374s |      16 |   323103 |   176052 |    20998     15 |      735 |      618
376.27/376.47	c  376s |      16 |   324133 |   176852 |    20998     15 |      735 |      618
378.38/378.58	c  378s |      16 |   325099 |   177552 |    20998     15 |      735 |      618
380.67/380.82	c  380s |      16 |   326086 |   178352 |    20998     15 |      735 |      618
382.68/382.88	c  382s |      16 |   326791 |   178952 |    20998     15 |      735 |      618
384.77/384.94	c  384s |      16 |   327427 |   179452 |    20998     16 |      735 |      618
386.77/386.97	c  386s |      16 |   328037 |   179952 |    20998     16 |      735 |      618
388.87/389.04	c  388s |      16 |   328916 |   180652 |    20998     16 |      735 |      618
391.07/391.23	c  390s |      16 |   329776 |   181352 |    20998     16 |      735 |      618
393.17/393.34	c  393s |      16 |   330629 |   182052 |    20998     16 |      735 |      618
395.26/395.41	c  395s |      16 |   331346 |   182652 |    20998     16 |      735 |      618
397.36/397.51	c  397s |      16 |   332050 |   183252 |    20998     16 |      735 |      618
399.46/399.60	c  399s |      16 |   332803 |   183852 |    20998     16 |      735 |      618
401.47/401.61	c  401s |      16 |   334388 |   184752 |    20998     16 |      735 |      618
403.46/403.66	c  403s |      16 |   336496 |   185852 |    20998     16 |      735 |      618
405.56/405.78	c  405s |      16 |   337949 |   186852 |    20998     16 |      735 |      618
407.66/407.87	c  407s |      16 |   338986 |   187652 |    20998     16 |      735 |      618
409.86/410.06	c  409s |      16 |   340061 |   188452 |    20998     16 |      735 |      618
412.06/412.24	c  411s |      16 |   341339 |   189352 |    20998     16 |      735 |      618
414.16/414.36	c  414s |      16 |   344229 |   190552 |    20998     16 |      735 |      618
416.25/416.40	c  416s |      16 |   345434 |   191252 |    20998     17 |      735 |      618
418.25/418.44	c  418s |      16 |   347237 |   192352 |    20998     17 |      735 |      618
420.25/420.47	c  420s |      16 |   348864 |   193352 |    20998     17 |      735 |      618
422.36/422.54	c  422s |      16 |   350910 |   194552 |    20998     17 |      735 |      618
424.35/424.56	c  424s |      16 |   352732 |   195652 |    20998     17 |      735 |      618
426.45/426.60	c  426s |      16 |   354208 |   196652 |    23098     17 |      735 |      618
428.45/428.64	c  428s |      17 |   355250 |   197432 |    23098     17 |      735 |      618
430.45/430.68	c  430s |      17 |   364270 |   199432 |    23098     17 |      735 |      618
432.55/432.72	c  432s |      17 |   367059 |   201232 |    23098     17 |      735 |      618
434.64/434.84	c  434s |      17 |   370980 |   203232 |    23098     17 |      735 |      618
436.84/437.01	c  436s |      17 |   372717 |   204532 |    23098     17 |      735 |      618
438.85/439.06	c  438s |      17 |   374204 |   205632 |    23098     18 |      735 |      618
440.84/441.09	c  440s |      17 |   375877 |   206932 |    23098     18 |      735 |      618
442.94/443.17	c  442s |      17 |   377405 |   208132 |    23098     18 |      735 |      618
445.13/445.35	c  445s |      17 |   378786 |   209232 |    23098     18 |      735 |      618
447.23/447.47	c  447s |      17 |   380140 |   210332 |    23098     18 |      735 |      618
449.43/449.67	c  449s |      17 |   381426 |   211332 |    23098     18 |      735 |      618
451.53/451.75	c  451s |      17 |   382510 |   212232 |    23098     18 |      735 |      618
453.53/453.78	c  453s |      17 |   383627 |   213132 |    23098     18 |      735 |      618
455.73/455.95	c  455s |      17 |   384552 |   213932 |    23098     18 |      735 |      618
457.83/458.01	c  457s |      17 |   385369 |   214632 |    23098     18 |      735 |      618
460.03/460.26	c  459s |      17 |   386334 |   215432 |    23098     18 |      735 |      618
462.32/462.57	c  462s |      17 |   387157 |   216132 |    23098     18 |      735 |      618
464.62/464.81	c  464s |      17 |   387980 |   216832 |    23098     18 |      735 |      618
466.92/467.13	c  466s |      17 |   388809 |   217532 |    23098     18 |      735 |      618
469.22/469.44	c  469s |      17 |   389866 |   218332 |    23098     18 |      735 |      618
471.42/471.66	c  471s |      17 |   390436 |   218832 |    23098     19 |      735 |      618
473.52/473.76	c  473s |      17 |   391104 |   219432 |    23098     19 |      735 |      618
475.72/475.91	c  475s |      17 |   391778 |   220032 |    23098     19 |      735 |      618
477.92/478.15	c  477s |      17 |   392626 |   220732 |    23098     19 |      735 |      618
480.02/480.28	c  480s |      17 |   393354 |   221332 |    23098     19 |      735 |      618
482.12/482.37	c  482s |      17 |   394032 |   221932 |    23098     19 |      735 |      618
484.12/484.38	c  484s |      17 |   394571 |   222432 |    23098     19 |      735 |      618
486.61/486.81	c  486s |      17 |   395270 |   223032 |    23098     19 |      735 |      618
488.61/488.86	c  488s |      17 |   395831 |   223532 |    23098     19 |      735 |      618
490.71/490.94	c  490s |      17 |   396531 |   224132 |    23098     19 |      735 |      618
493.01/493.24	c  492s |      17 |   397359 |   224832 |    23098     19 |      735 |      618
495.30/495.52	c  495s |      17 |   398042 |   225432 |    23098     19 |      735 |      618
497.70/497.90	c  497s |      17 |   398705 |   226032 |    23098     19 |      735 |      618
499.80/500.01	c  499s |      17 |   399403 |   226632 |    23098     19 |      735 |      618
502.10/502.31	c  502s |      17 |   400079 |   227232 |    23098     19 |      735 |      618
504.20/504.44	c  504s |      17 |   400637 |   227732 |    23098     19 |      735 |      618
506.30/506.53	c  506s |      17 |   401212 |   228232 |    23098     19 |      735 |      618
508.30/508.57	c  508s |      17 |   401811 |   228732 |    23098     19 |      735 |      618
510.60/510.87	c  510s |      17 |   402371 |   229232 |    23098     19 |      735 |      618
512.80/513.04	c  512s |      17 |   402917 |   229732 |    23098     19 |      735 |      618
514.79/515.06	c  514s |      17 |   403468 |   230232 |    23098     19 |      735 |      618
516.80/517.07	c  516s |      17 |   404014 |   230732 |    23098     19 |      735 |      618
519.00/519.28	c  519s |      17 |   404579 |   231232 |    23098     19 |      735 |      618
521.30/521.58	c  521s |      17 |   405133 |   231732 |    23098     19 |      735 |      618
523.59/523.88	c  523s |      17 |   405574 |   232132 |    23098     20 |      735 |      618
525.70/525.92	c  525s |      17 |   406242 |   232732 |    23098     20 |      735 |      618
527.90/528.17	c  527s |      17 |   407054 |   233432 |    23098     20 |      735 |      618
530.00/530.26	c  529s |      17 |   407775 |   234032 |    23098     20 |      735 |      618
532.39/532.66	c  532s |      17 |   408473 |   234632 |    23098     20 |      735 |      618
534.49/534.77	c  534s |      17 |   409334 |   235332 |    23098     20 |      735 |      618
536.78/537.03	c  536s |      17 |   410165 |   236032 |    23098     20 |      735 |      618
538.98/539.28	c  539s |      17 |   410994 |   236732 |    23098     20 |      735 |      618
541.09/541.35	c  541s |      17 |   411733 |   237332 |    23098     20 |      735 |      618
543.29/543.56	c  543s |      17 |   412428 |   237932 |    23098     20 |      735 |      618
545.29/545.59	c  545s |      17 |   413001 |   238432 |    23098     20 |      735 |      618
547.49/547.80	c  547s |      17 |   413677 |   239032 |    23098     20 |      735 |      618
549.69/549.96	c  549s |      17 |   414383 |   239632 |    23098     20 |      735 |      618
551.99/552.21	c  551s |      17 |   415462 |   240432 |    23098     20 |      735 |      618
554.19/554.44	c  554s |      17 |   416335 |   241132 |    23098     20 |      735 |      618
556.49/556.72	c  556s |      17 |   417196 |   241832 |    23098     20 |      735 |      618
558.48/558.73	c  558s |      17 |   417928 |   242432 |    23098     20 |      735 |      618
560.68/560.96	c  560s |      17 |   418628 |   243032 |    23098     20 |      735 |      618
562.99/563.29	c  563s |      17 |   419320 |   243632 |    23098     20 |      735 |      618
565.37/565.65	c  565s |      17 |   420018 |   244232 |    23098     20 |      735 |      618
567.67/567.98	c  567s |      17 |   420733 |   244832 |    23098     20 |      735 |      618
569.77/570.01	c  569s |      17 |   421198 |   245232 |    23098     21 |      735 |      618
571.97/572.28	c  572s |      17 |   422008 |   245932 |    23098     21 |      735 |      618
574.27/574.56	c  574s |      17 |   422821 |   246632 |    23098     21 |      735 |      618
576.56/576.82	c  576s |      17 |   423479 |   247232 |    23098     21 |      735 |      618
578.86/579.13	c  578s |      17 |   424269 |   247932 |    23098     21 |      735 |      618
581.16/581.47	c  581s |      17 |   425093 |   248632 |    23098     21 |      735 |      618
583.26/583.51	c  583s |      17 |   425966 |   249332 |    23098     21 |      735 |      618
585.36/585.63	c  585s |      17 |   426701 |   249932 |    23098     21 |      735 |      618
587.46/587.73	c  587s |      17 |   427381 |   250532 |    23098     21 |      735 |      618
589.76/590.01	c  589s |      17 |   428199 |   251232 |    23098     21 |      735 |      618
592.06/592.34	c  592s |      17 |   428888 |   251832 |    23098     21 |      735 |      618
594.26/594.55	c  594s |      17 |   429594 |   252432 |    23098     21 |      735 |      618
596.55/596.81	c  596s |      17 |   430439 |   253132 |    23098     21 |      735 |      618
598.55/598.87	c  598s |      17 |   431128 |   253732 |    23098     21 |      735 |      618
600.85/601.14	c  600s |      17 |   431807 |   254332 |    23098     21 |      735 |      618
603.05/603.31	c  603s |      17 |   432504 |   254932 |    23098     21 |      735 |      618
605.15/605.49	c  605s |      17 |   433197 |   255532 |    23098     21 |      735 |      618
607.45/607.75	c  607s |      17 |   433857 |   256132 |    23098     21 |      735 |      618
609.75/610.06	c  609s |      17 |   434549 |   256732 |    23098     21 |      735 |      618
611.85/612.12	c  611s |      17 |   435112 |   257232 |    23098     21 |      735 |      618
613.94/614.27	c  613s |      17 |   435657 |   257732 |    23098     21 |      735 |      618
616.24/616.58	c  616s |      17 |   436412 |   258332 |    23098     21 |      735 |      618
618.34/618.65	c  618s |      17 |   437003 |   258832 |    23098     22 |      735 |      618
620.64/620.97	c  620s |      17 |   437802 |   259532 |    23098     22 |      735 |      618
622.84/623.10	c  622s |      17 |   438618 |   260232 |    23098     22 |      735 |      618
625.03/625.34	c  625s |      17 |   439415 |   260932 |    23098     22 |      735 |      618
627.23/627.55	c  627s |      17 |   440174 |   261632 |    23098     22 |      735 |      618
629.43/629.76	c  629s |      17 |   440829 |   262232 |    23098     22 |      735 |      618
631.63/631.93	c  631s |      17 |   441497 |   262832 |    23098     22 |      735 |      618
633.83/634.14	c  633s |      17 |   442178 |   263432 |    23098     22 |      735 |      618
636.02/636.31	c  636s |      17 |   442862 |   264032 |    23098     22 |      735 |      618
638.12/638.47	c  638s |      17 |   443535 |   264632 |    23098     22 |      735 |      618
640.22/640.59	c  640s |      17 |   444220 |   265232 |    23098     22 |      735 |      618
642.32/642.68	c  642s |      17 |   445111 |   265932 |    23098     22 |      735 |      618
644.62/644.94	c  644s |      17 |   446083 |   266732 |    23098     22 |      735 |      618
646.62/646.99	c  646s |      17 |   446954 |   267432 |    23098     22 |      735 |      618
648.82/649.15	c  648s |      17 |   447779 |   268132 |    23098     22 |      735 |      618
650.82/651.18	c  650s |      17 |   448481 |   268732 |    23098     22 |      735 |      618
653.12/653.47	c  653s |      17 |   449304 |   269432 |    23098     22 |      735 |      618
655.21/655.59	c  655s |      17 |   449995 |   270032 |    23098     22 |      735 |      618
657.41/657.78	c  657s |      17 |   450807 |   270732 |    23098     22 |      735 |      618
659.61/659.96	c  659s |      17 |   451351 |   271232 |    23098     22 |      735 |      618
661.81/662.10	c  661s |      17 |   451930 |   271732 |    23098     23 |      735 |      618
663.91/664.26	c  663s |      17 |   452963 |   272632 |    23098     23 |      735 |      618
666.10/666.46	c  666s |      17 |   453764 |   273332 |    23098     23 |      735 |      618
668.30/668.69	c  668s |      17 |   454572 |   274032 |    23098     23 |      735 |      618
670.60/670.92	c  670s |      17 |   455486 |   274832 |    23098     23 |      735 |      618
672.70/673.02	c  672s |      17 |   456246 |   275532 |    23098     23 |      735 |      618
674.80/675.14	c  674s |      17 |   457024 |   276232 |    23098     23 |      735 |      618
676.90/677.25	c  676s |      17 |   457718 |   276832 |    23098     23 |      735 |      618
679.20/679.53	c  679s |      17 |   458504 |   277532 |    23098     23 |      735 |      618
681.30/681.65	c  681s |      17 |   459213 |   278132 |    23098     23 |      735 |      618
683.61/683.97	c  683s |      17 |   459877 |   278732 |    23098     23 |      735 |      618
685.80/686.18	c  685s |      17 |   460558 |   279332 |    23098     23 |      735 |      618
687.90/688.20	c  687s |      17 |   461279 |   279932 |    23098     23 |      735 |      618
690.20/690.52	c  690s |      17 |   462067 |   280632 |    23098     23 |      735 |      618
692.30/692.60	c  692s |      17 |   462758 |   281232 |    23098     23 |      735 |      618
694.40/694.76	c  694s |      17 |   463436 |   281832 |    23098     23 |      735 |      618
696.70/697.02	c  696s |      17 |   464109 |   282432 |    23098     23 |      735 |      618
699.00/699.30	c  699s |      17 |   464653 |   282932 |    23098     23 |      735 |      618
701.30/701.63	c  701s |      17 |   465328 |   283532 |    23098     23 |      735 |      618
703.50/703.83	c  703s |      17 |   465880 |   284032 |    23098     23 |      735 |      618
705.70/706.06	c  705s |      17 |   466439 |   284532 |    23098     23 |      735 |      618
708.00/708.31	c  708s |      17 |   466865 |   284932 |    23098     24 |      735 |      618
710.10/710.46	c  710s |      17 |   467537 |   285532 |    23098     24 |      735 |      618
712.20/712.58	c  712s |      17 |   468202 |   286132 |    23098     24 |      735 |      618
714.50/714.82	c  714s |      17 |   468888 |   286732 |    23098     24 |      735 |      618
716.70/717.06	c  716s |      17 |   469596 |   287332 |    23098     24 |      735 |      618
718.80/719.15	c  718s |      17 |   470514 |   288032 |    23098     24 |      735 |      618
721.10/721.40	c  721s |      17 |   471335 |   288732 |    23098     24 |      735 |      618
723.50/723.86	c  723s |      17 |   472163 |   289432 |    23098     24 |      735 |      618
725.59/726.00	c  725s |      17 |   472855 |   290032 |    23098     24 |      735 |      618
727.90/728.27	c  727s |      17 |   473532 |   290632 |    23098     24 |      735 |      618
730.10/730.46	c  730s |      17 |   474205 |   291232 |    23098     24 |      735 |      618
732.30/732.67	c  732s |      17 |   474911 |   291832 |    23098     24 |      735 |      618
734.60/734.97	c  734s |      17 |   475589 |   292432 |    23098     24 |      735 |      618
736.99/737.38	c  737s |      17 |   476251 |   293032 |    23098     24 |      735 |      618
739.19/739.57	c  739s |      17 |   476914 |   293632 |    23098     24 |      735 |      618
741.49/741.86	c  741s |      17 |   477593 |   294232 |    25408     24 |      735 |      618
743.89/744.28	c  744s |      17 |   478274 |   294832 |    25408     24 |      735 |      618
746.19/746.55	c  746s |      17 |   478814 |   295332 |    25408     24 |      735 |      618
748.39/748.74	c  748s |      17 |   479375 |   295832 |    25408     24 |      735 |      618
749.69/750.01	c  749s |      18 |   479878 |   296252 |    25408     24 |      735 |      618
751.79/752.18	c  751s |      18 |   489264 |   298152 |    25408     24 |      735 |      618
753.89/754.21	c  753s |      18 |   491605 |   299652 |    25408     24 |      735 |      618
755.99/756.38	c  756s |      18 |   493602 |   300752 |    25408     25 |      735 |      618
758.09/758.46	c  758s |      18 |   495065 |   301852 |    25408     25 |      735 |      618
760.19/760.58	c  760s |      18 |   496287 |   302852 |    25408     25 |      735 |      618
762.39/762.76	c  762s |      18 |   497324 |   303752 |    25408     25 |      735 |      618
764.48/764.89	c  764s |      18 |   498550 |   304752 |    25408     25 |      735 |      618
766.68/767.06	c  766s |      18 |   499431 |   305452 |    25408     25 |      735 |      618
768.78/769.10	c  768s |      18 |   500660 |   306452 |    25408     25 |      735 |      618
770.89/771.22	c  770s |      18 |   501886 |   307452 |    25408     25 |      735 |      618
772.99/773.39	c  773s |      18 |   502942 |   308352 |    25408     25 |      735 |      618
775.19/775.59	c  775s |      18 |   504022 |   309252 |    25408     25 |      735 |      618
777.49/777.84	c  777s |      18 |   504982 |   310052 |    25408     25 |      735 |      618
779.70/780.04	c  779s |      18 |   505840 |   310752 |    25408     25 |      735 |      618
781.99/782.33	c  782s |      18 |   506881 |   311552 |    25408     25 |      735 |      618
784.19/784.52	c  784s |      18 |   507793 |   312352 |    25408     25 |      735 |      618
786.19/786.58	c  786s |      18 |   508594 |   313052 |    25408     25 |      735 |      618
788.49/788.83	c  788s |      18 |   509526 |   313852 |    25408     25 |      735 |      618
790.78/791.10	c  790s |      18 |   510251 |   314452 |    25408     26 |      735 |      618
792.79/793.15	c  792s |      18 |   511081 |   315152 |    25408     26 |      735 |      618
794.99/795.34	c  795s |      18 |   511869 |   315852 |    25408     26 |      735 |      618
797.29/797.68	c  797s |      18 |   512561 |   316452 |    25408     26 |      735 |      618
799.39/799.70	c  799s |      18 |   513280 |   317052 |    25408     26 |      735 |      618
801.48/801.85	c  801s |      18 |   514190 |   317852 |    25408     26 |      735 |      618
803.58/803.93	c  803s |      18 |   514749 |   318352 |    25408     26 |      735 |      618
805.68/806.03	c  805s |      18 |   515618 |   319052 |    25408     26 |      735 |      618
807.78/808.19	c  807s |      18 |   516300 |   319652 |    25408     26 |      735 |      618
810.08/810.50	c  810s |      18 |   516977 |   320252 |    25408     26 |      735 |      618
812.48/812.82	c  812s |      18 |   517521 |   320752 |    25408     26 |      735 |      618
814.79/815.18	c  814s |      18 |   518058 |   321252 |    25408     26 |      735 |      618
816.88/817.28	c  817s |      18 |   518617 |   321752 |    25408     26 |      735 |      618
819.29/819.68	c  819s |      18 |   519167 |   322252 |    25408     26 |      735 |      618
821.68/822.01	c  821s |      18 |   519840 |   322852 |    25408     26 |      735 |      618
824.08/824.43	c  824s |      18 |   520539 |   323452 |    25408     26 |      735 |      618
826.18/826.50	c  826s |      18 |   521115 |   323952 |    25408     26 |      735 |      618
828.38/828.71	c  828s |      18 |   521680 |   324452 |    25408     26 |      735 |      618
830.58/830.93	c  830s |      18 |   522229 |   324952 |    25408     26 |      735 |      618
832.58/832.99	c  832s |      18 |   522944 |   325552 |    25408     26 |      735 |      618
834.98/835.34	c  835s |      18 |   523536 |   326052 |    25408     26 |      735 |      618
837.37/837.72	c  837s |      18 |   524067 |   326552 |    25408     26 |      735 |      618
839.57/839.97	c  839s |      18 |   524644 |   327052 |    25408     26 |      735 |      618
841.67/842.04	c  841s |      18 |   525120 |   327452 |    25408     26 |      735 |      618
843.97/844.31	c  844s |      18 |   525672 |   327952 |    25408     26 |      735 |      618
846.17/846.54	c  846s |      18 |   526249 |   328452 |    25408     26 |      735 |      618
848.47/848.86	c  848s |      18 |   526701 |   328852 |    25408     27 |      735 |      618
850.87/851.21	c  850s |      18 |   527386 |   329452 |    25408     27 |      735 |      618
853.17/853.53	c  853s |      18 |   527824 |   329852 |    25408     27 |      735 |      618
855.27/855.62	c  855s |      18 |   528840 |   330552 |    25408     27 |      735 |      618
857.47/857.88	c  857s |      18 |   529978 |   331452 |    25408     27 |      735 |      618
859.77/860.11	c  859s |      18 |   530900 |   332152 |    25408     27 |      735 |      618
861.87/862.28	c  862s |      18 |   531758 |   332852 |    25408     27 |      735 |      618
864.28/864.70	c  864s |      18 |   532602 |   333552 |    25408     27 |      735 |      618
866.48/866.87	c  866s |      18 |   533250 |   334052 |    25408     27 |      735 |      618
868.87/869.22	c  868s |      18 |   533815 |   334552 |    25408     27 |      735 |      618
871.27/871.68	c  871s |      18 |   534439 |   335052 |    25408     27 |      735 |      618
873.67/874.01	c  873s |      18 |   535167 |   335652 |    25408     27 |      735 |      618
875.87/876.20	c  875s |      18 |   535853 |   336252 |    25408     27 |      735 |      618
878.07/878.45	c  878s |      18 |   536805 |   336952 |    25408     27 |      735 |      618
880.07/880.49	c  880s |      18 |   538354 |   338052 |    25408     27 |      735 |      618
882.27/882.62	c  882s |      18 |   539897 |   339552 |    25408     27 |      735 |      618
884.37/884.78	c  884s |      18 |   541109 |   340752 |    25408     27 |      735 |      618
886.37/886.79	c  886s |      18 |   542324 |   341952 |    25408     27 |      735 |      618
888.66/889.01	c  888s |      18 |   543341 |   342952 |    25408     28 |      735 |      618
890.67/891.07	c  890s |      18 |   544563 |   344152 |    25408     28 |      735 |      618
892.66/893.08	c  892s |      18 |   545888 |   345452 |    25408     28 |      735 |      618
894.86/895.25	c  894s |      18 |   547196 |   346752 |    25408     28 |      735 |      618
896.96/897.35	c  897s |      18 |   548228 |   347752 |    25408     28 |      735 |      618
899.06/899.43	c  899s |      18 |   549292 |   348752 |    25408     28 |      735 |      618
901.06/901.47	c  901s |      18 |   550253 |   349652 |    25408     28 |      735 |      618
903.16/903.53	c  903s |      18 |   553402 |   351052 |    25408     28 |      735 |      618
905.36/905.78	c  905s |      18 |   554603 |   352052 |    25408     28 |      735 |      618
907.46/907.80	c  907s |      18 |   555621 |   352852 |    25408     28 |      735 |      618
909.56/909.99	c  909s |      18 |   556848 |   353752 |    25408     28 |      735 |      618
911.57/912.00	c  911s |      18 |   557672 |   354452 |    25408     28 |      735 |      618
913.87/914.26	c  913s |      18 |   558607 |   355252 |    25408     28 |      735 |      618
916.16/916.57	c  916s |      18 |   559429 |   355952 |    25408     28 |      735 |      618
918.36/918.76	c  918s |      18 |   560591 |   356852 |    25408     28 |      735 |      618
920.47/920.83	c  920s |      18 |   561340 |   357452 |    25408     29 |      735 |      618
922.67/923.09	c  922s |      18 |   562296 |   358252 |    25408     29 |      735 |      618
924.77/925.14	c  924s |      18 |   563107 |   358952 |    25408     29 |      735 |      618
926.86/927.30	c  927s |      18 |   563920 |   359652 |    25408     29 |      735 |      618
928.97/929.33	c  929s |      18 |   564709 |   360352 |    25408     29 |      735 |      618
931.17/931.51	c  931s |      18 |   565616 |   361152 |    25408     29 |      735 |      618
933.27/933.61	c  933s |      18 |   566286 |   361752 |    25408     29 |      735 |      618
935.26/935.64	c  935s |      18 |   566977 |   362352 |    25408     29 |      735 |      618
937.36/937.70	c  937s |      18 |   567658 |   362952 |    25408     29 |      735 |      618
939.46/939.83	c  939s |      18 |   568336 |   363552 |    25408     29 |      735 |      618
941.46/941.88	c  941s |      18 |   569011 |   364152 |    25408     29 |      735 |      618
943.57/943.99	c  943s |      18 |   569813 |   364852 |    25408     29 |      735 |      618
945.67/946.02	c  945s |      18 |   570591 |   365552 |    25408     29 |      735 |      618
947.76/948.12	c  947s |      18 |   571317 |   366152 |    25408     29 |      735 |      618
949.96/950.39	c  950s |      18 |   572131 |   366852 |    25408     29 |      735 |      618
952.06/952.40	c  952s |      18 |   572804 |   367452 |    25408     29 |      735 |      618
954.06/954.40	c  954s |      18 |   573345 |   367952 |    25408     29 |      735 |      618
956.36/956.76	c  956s |      18 |   574007 |   368552 |    25408     29 |      735 |      618
958.56/958.92	c  958s |      18 |   574673 |   369152 |    25408     29 |      735 |      618
960.66/961.01	c  960s |      18 |   575230 |   369652 |    25408     29 |      735 |      618
962.86/963.24	c  962s |      18 |   575787 |   370152 |    25408     29 |      735 |      618
965.06/965.43	c  965s |      18 |   576299 |   370652 |    25408     29 |      735 |      618
967.46/967.80	c  967s |      18 |   576830 |   371152 |    25408     29 |      735 |      618
969.46/969.87	c  969s |      18 |   577412 |   371652 |    25408     29 |      735 |      618
971.66/972.06	c  971s |      18 |   577844 |   372052 |    25408     30 |      735 |      618
973.66/974.08	c  973s |      18 |   578377 |   372552 |    25408     30 |      735 |      618
975.75/976.12	c  975s |      18 |   578928 |   373052 |    25408     30 |      735 |      618
977.95/978.39	c  978s |      18 |   579590 |   373652 |    25408     30 |      735 |      618
980.05/980.48	c  980s |      18 |   580125 |   374152 |    25408     30 |      735 |      618
982.45/982.83	c  982s |      18 |   580767 |   374752 |    25408     30 |      735 |      618
984.55/985.00	c  984s |      18 |   581436 |   375352 |    25408     30 |      735 |      618
986.75/987.14	c  986s |      18 |   581980 |   375852 |    25408     30 |      735 |      618
988.85/989.23	c  988s |      18 |   582512 |   376352 |    25408     30 |      735 |      618
991.05/991.47	c  991s |      18 |   583040 |   376852 |    25408     30 |      735 |      618
993.35/993.74	c  993s |      18 |   583575 |   377352 |    25408     30 |      735 |      618
995.65/996.08	c  995s |      18 |   584276 |   377952 |    25408     30 |      735 |      618
997.85/998.26	c  997s |      18 |   584966 |   378552 |    25408     30 |      735 |      618
1000.05/1000.48	c 1000s |      18 |   585505 |   379052 |    25408     30 |      735 |      618
1002.45/1002.86	c 1002s |      18 |   586052 |   379552 |    25408     30 |      735 |      618
1004.55/1004.92	c 1004s |      18 |   586626 |   380052 |    25408     30 |      735 |      618
1006.85/1007.28	c 1007s |      18 |   587284 |   380652 |    25408     30 |      735 |      618
1008.95/1009.38	c 1009s |      18 |   587864 |   381152 |    25408     30 |      735 |      618
1011.45/1011.80	c 1011s |      18 |   588410 |   381652 |    25408     30 |      735 |      618
1013.75/1014.10	c 1013s |      18 |   588981 |   382152 |    25408     30 |      735 |      618
1015.75/1016.13	c 1015s |      18 |   589401 |   382552 |    25408     30 |      735 |      618
1017.85/1018.23	c 1017s |      18 |   589833 |   382952 |    25408     30 |      735 |      618
1020.14/1020.59	c 1020s |      18 |   590374 |   383452 |    25408     30 |      735 |      618
1022.65/1023.08	c 1022s |      18 |   590920 |   383952 |    25408     30 |      735 |      618
1025.14/1025.51	c 1025s |      18 |   591456 |   384452 |    25408     30 |      735 |      618
1027.54/1027.94	c 1027s |      18 |   592010 |   384952 |    25408     30 |      735 |      618
1029.94/1030.33	c 1030s |      18 |   592569 |   385452 |    25408     30 |      735 |      618
1032.34/1032.78	c 1032s |      18 |   593109 |   385952 |    25408     30 |      735 |      618
1034.54/1034.97	c 1034s |      18 |   593437 |   386252 |    25408     31 |      735 |      618
1036.85/1037.30	c 1037s |      18 |   594110 |   386852 |    25408     31 |      735 |      618
1039.26/1039.69	c 1039s |      18 |   594762 |   387452 |    25408     31 |      735 |      618
1041.46/1041.89	c 1041s |      18 |   595421 |   388052 |    25408     31 |      735 |      618
1043.85/1044.20	c 1043s |      18 |   596071 |   388652 |    25408     31 |      735 |      618
1046.15/1046.57	c 1046s |      18 |   596733 |   389252 |    25408     31 |      735 |      618
1048.55/1048.93	c 1048s |      18 |   597385 |   389852 |    25408     31 |      735 |      618
1050.95/1051.30	c 1051s |      18 |   598039 |   390452 |    25408     31 |      735 |      618
1053.05/1053.41	c 1053s |      18 |   598578 |   390952 |    25408     31 |      735 |      618
1055.35/1055.78	c 1055s |      18 |   599236 |   391552 |    25408     31 |      735 |      618
1057.54/1057.97	c 1057s |      18 |   599787 |   392052 |    25408     31 |      735 |      618
1059.64/1060.09	c 1059s |      18 |   600314 |   392552 |    25408     31 |      735 |      618
1061.94/1062.38	c 1062s |      18 |   600843 |   393052 |    25408     31 |      735 |      618
1064.04/1064.48	c 1064s |      18 |   601388 |   393552 |    25408     31 |      735 |      618
1066.24/1066.69	c 1066s |      18 |   601957 |   394052 |    25408     31 |      735 |      618
1068.64/1069.05	c 1068s |      18 |   602620 |   394652 |    25408     31 |      735 |      618
1070.74/1071.18	c 1070s |      18 |   603155 |   395152 |    25408     31 |      735 |      618
1073.04/1073.48	c 1073s |      18 |   603695 |   395652 |    25408     31 |      735 |      618
1075.04/1075.49	c 1075s |      18 |   604258 |   396152 |    25408     31 |      735 |      618
1077.14/1077.50	c 1077s |      18 |   604812 |   396652 |    25408     31 |      735 |      618
1079.24/1079.66	c 1079s |      18 |   606250 |   397152 |    25408     31 |      735 |      618
1081.34/1081.78	c 1081s |      18 |   616128 |   398852 |    25408     32 |      735 |      618
1083.44/1083.84	c 1083s |      18 |   627825 |   401852 |    25408     32 |      735 |      618
1085.54/1085.97	c 1085s |      18 |   632086 |   403952 |    25408     32 |      735 |      618
1087.54/1087.98	c 1087s |      18 |   633692 |   405252 |    25408     32 |      735 |      618
1089.64/1090.05	c 1089s |      18 |   634977 |   406352 |    25408     32 |      735 |      618
1091.84/1092.20	c 1091s |      18 |   636232 |   407452 |    25408     32 |      735 |      618
1093.94/1094.36	c 1094s |      18 |   637386 |   408452 |    25408     32 |      735 |      618
1096.14/1096.51	c 1096s |      18 |   638432 |   409352 |    25408     32 |      735 |      618
1098.23/1098.62	c 1098s |      18 |   639187 |   410052 |    25408     32 |      735 |      618
1100.33/1100.75	c 1100s |      18 |   640185 |   410952 |    25408     32 |      735 |      618
1102.43/1102.89	c 1102s |      18 |   641099 |   411752 |    25408     32 |      735 |      618
1104.63/1105.09	c 1104s |      18 |   642020 |   412552 |    25408     32 |      735 |      618
1106.83/1107.23	c 1106s |      18 |   643019 |   413352 |    25408     32 |      735 |      618
1108.84/1109.29	c 1109s |      18 |   643716 |   413952 |    25408     33 |      735 |      618
1110.94/1111.34	c 1111s |      18 |   644346 |   414552 |    25408     33 |      735 |      618
1113.14/1113.59	c 1113s |      18 |   645133 |   415252 |    25408     33 |      735 |      618
1115.24/1115.60	c 1115s |      18 |   646245 |   416052 |    25408     33 |      735 |      618
1117.44/1117.87	c 1117s |      18 |   647331 |   416852 |    25408     33 |      735 |      618
1119.54/1119.93	c 1119s |      18 |   648186 |   417552 |    25408     33 |      735 |      618
1121.54/1121.95	c 1121s |      18 |   648884 |   418152 |    25408     33 |      735 |      618
1123.84/1124.21	c 1123s |      18 |   649812 |   418852 |    25408     33 |      735 |      618
1125.94/1126.35	c 1126s |      18 |   650653 |   419552 |    25408     33 |      735 |      618
1128.24/1128.62	c 1128s |      18 |   651372 |   420152 |    25408     33 |      735 |      618
1130.54/1130.91	c 1130s |      18 |   652048 |   420752 |    25408     33 |      735 |      618
1132.53/1132.95	c 1132s |      18 |   652827 |   421352 |    25408     33 |      735 |      618
1134.84/1135.22	c 1134s |      18 |   653797 |   422152 |    25408     33 |      735 |      618
1136.83/1137.23	c 1136s |      18 |   654510 |   422752 |    25408     33 |      735 |      618
1138.93/1139.36	c 1139s |      18 |   655243 |   423352 |    25408     33 |      735 |      618
1141.23/1141.61	c 1141s |      18 |   656055 |   424052 |    25408     33 |      735 |      618
1143.43/1143.89	c 1143s |      18 |   656779 |   424652 |    25408     33 |      735 |      618
1145.73/1146.13	c 1145s |      18 |   657665 |   425352 |    25408     33 |      735 |      618
1147.73/1148.15	c 1147s |      18 |   658459 |   425952 |    25408     33 |      735 |      618
1149.93/1150.31	c 1150s |      18 |   659200 |   426552 |    25408     33 |      735 |      618
1152.23/1152.64	c 1152s |      18 |   659910 |   427152 |    25408     33 |      735 |      618
1154.33/1154.77	c 1154s |      18 |   660511 |   427652 |    25408     33 |      735 |      618
1156.53/1156.97	c 1156s |      18 |   661400 |   428352 |    25408     33 |      735 |      618
1158.73/1159.12	c 1158s |      18 |   661993 |   428852 |    25408     34 |      735 |      618
1160.83/1161.23	c 1160s |      18 |   662650 |   429452 |    25408     34 |      735 |      618
1163.13/1163.54	c 1163s |      18 |   663331 |   430052 |    25408     34 |      735 |      618
1165.23/1165.68	c 1165s |      18 |   664018 |   430652 |    25408     34 |      735 |      618
1167.33/1167.73	c 1167s |      18 |   664701 |   431252 |    25408     34 |      735 |      618
1169.43/1169.80	c 1169s |      18 |   665381 |   431852 |    25408     34 |      735 |      618
1171.43/1171.82	c 1171s |      18 |   665946 |   432352 |    25408     34 |      735 |      618
1173.43/1173.86	c 1173s |      18 |   666518 |   432852 |    25408     34 |      735 |      618
1175.53/1175.98	c 1175s |      18 |   667194 |   433452 |    25408     34 |      735 |      618
1177.73/1178.19	c 1177s |      18 |   667836 |   434052 |    25408     34 |      735 |      618
1179.83/1180.29	c 1180s |      18 |   668392 |   434552 |    25408     34 |      735 |      618
1182.33/1182.72	c 1182s |      18 |   669117 |   435152 |    25408     34 |      735 |      618
1184.52/1184.97	c 1184s |      18 |   669801 |   435752 |    25408     34 |      735 |      618
1186.92/1187.35	c 1187s |      18 |   670340 |   436252 |    25408     34 |      735 |      618
1189.22/1189.67	c 1189s |      18 |   671085 |   436852 |    25408     34 |      735 |      618
1191.52/1191.92	c 1191s |      18 |   671665 |   437352 |    25408     34 |      735 |      618
1193.82/1194.22	c 1193s |      18 |   672244 |   437852 |    25408     34 |      735 |      618
1196.02/1196.49	c 1196s |      18 |   672811 |   438352 |    25408     34 |      735 |      618
1198.32/1198.73	c 1198s |      18 |   673371 |   438852 |    25408     34 |      735 |      618
1200.62/1201.09	c 1200s |      18 |   673955 |   439352 |    25408     34 |      735 |      618
1203.13/1203.50	c 1203s |      18 |   674653 |   439952 |    25408     34 |      735 |      618
1205.52/1205.99	c 1205s |      18 |   675252 |   440452 |    25408     34 |      735 |      618
1207.72/1208.13	c 1207s |      18 |   675708 |   440852 |    25408     34 |      735 |      618
1209.92/1210.39	c 1210s |      18 |   676281 |   441352 |    27949     34 |      735 |      618
1212.52/1212.94	c 1212s |      18 |   676823 |   441852 |    27949     34 |      735 |      618
1214.72/1215.18	c 1214s |      18 |   677405 |   442352 |    27949     34 |      735 |      618
1217.02/1217.46	c 1217s |      18 |   677970 |   442852 |    27949     34 |      735 |      618
1219.32/1219.70	c 1219s |      18 |   678658 |   443452 |    27949     34 |      735 |      618
1221.61/1222.08	c 1221s |      18 |   679353 |   444052 |    27949     34 |      735 |      618
1223.31/1223.79	c 1223s |      19 |   679847 |   444482 |    27949     34 |      735 |      618
1225.51/1225.95	c 1225s |      19 |   683097 |   445282 |    27949     35 |      735 |      618
1227.51/1227.96	c 1227s |      19 |   685473 |   447182 |    27949     35 |      735 |      618
1229.61/1230.03	c 1229s |      19 |   688397 |   449082 |    27949     35 |      735 |      618
1231.72/1232.13	c 1231s |      19 |   690614 |   450582 |    27949     35 |      735 |      618
1233.82/1234.22	c 1233s |      19 |   692854 |   452182 |    27949     35 |      735 |      618
1235.81/1236.29	c 1236s |      19 |   694677 |   453582 |    27949     35 |      735 |      618
1237.91/1238.30	c 1238s |      19 |   696316 |   454782 |    27949     35 |      735 |      618
1239.91/1240.31	c 1240s |      19 |   697665 |   455882 |    27949     35 |      735 |      618
1241.91/1242.35	c 1242s |      19 |   699068 |   456982 |    27949     35 |      735 |      618
1244.02/1244.47	c 1244s |      19 |   700278 |   457982 |    27949     35 |      735 |      618
1246.12/1246.52	c 1246s |      19 |   701390 |   458882 |    27949     35 |      735 |      618
1248.23/1248.69	c 1248s |      19 |   702581 |   459882 |    27949     35 |      735 |      618
1250.52/1250.92	c 1250s |      19 |   703454 |   460582 |    27949     36 |      735 |      618
1252.62/1253.03	c 1252s |      19 |   706590 |   462082 |    27949     36 |      735 |      618
1254.72/1255.12	c 1254s |      19 |   709687 |   463682 |    27949     36 |      735 |      618
1256.82/1257.25	c 1256s |      19 |   711583 |   464982 |    27949     36 |      735 |      618
1258.81/1259.28	c 1259s |      19 |   713262 |   466182 |    27949     36 |      735 |      618
1261.01/1261.47	c 1261s |      19 |   714941 |   467382 |    27949     36 |      735 |      618
1263.21/1263.66	c 1263s |      19 |   716185 |   468382 |    27949     36 |      735 |      618
1265.21/1265.68	c 1265s |      19 |   717252 |   469282 |    27949     36 |      735 |      618
1267.41/1267.86	c 1267s |      19 |   718482 |   470182 |    27949     36 |      735 |      618
1269.51/1269.97	c 1269s |      19 |   719569 |   471082 |    27949     36 |      735 |      618
1271.81/1272.20	c 1271s |      19 |   720493 |   471882 |    27949     36 |      735 |      618
1273.81/1274.25	c 1273s |      19 |   721277 |   472582 |    27949     36 |      735 |      618
1275.91/1276.39	c 1276s |      19 |   722434 |   473382 |    27949     36 |      735 |      618
1278.01/1278.43	c 1278s |      19 |   724915 |   474682 |    27949     36 |      735 |      618
1280.12/1280.52	c 1280s |      19 |   726310 |   475782 |    27949     36 |      735 |      618
1282.22/1282.63	c 1282s |      19 |   727368 |   476682 |    27949     37 |      735 |      618
1284.31/1284.75	c 1284s |      19 |   728848 |   477882 |    27949     37 |      735 |      618
1286.41/1286.81	c 1286s |      19 |   730422 |   479082 |    27949     37 |      735 |      618
1288.41/1288.87	c 1288s |      19 |   731825 |   480182 |    27949     37 |      735 |      618
1290.51/1290.95	c 1290s |      19 |   733238 |   481282 |    27949     37 |      735 |      618
1292.51/1292.98	c 1292s |      19 |   734314 |   482182 |    27949     37 |      735 |      618
1294.71/1295.16	c 1294s |      19 |   735370 |   483082 |    27949     37 |      735 |      618
1296.91/1297.36	c 1297s |      19 |   736591 |   484082 |    27949     37 |      735 |      618
1299.11/1299.57	c 1299s |      19 |   738249 |   485282 |    27949     37 |      735 |      618
1301.31/1301.72	c 1301s |      19 |   739575 |   486282 |    27949     37 |      735 |      618
1303.30/1303.78	c 1303s |      19 |   740541 |   487082 |    27949     37 |      735 |      618
1305.50/1305.97	c 1305s |      19 |   741508 |   487882 |    27949     37 |      735 |      618
1307.61/1308.08	c 1307s |      19 |   742624 |   488782 |    27949     37 |      735 |      618
1309.90/1310.32	c 1310s |      19 |   743734 |   489682 |    27949     37 |      735 |      618
1311.91/1312.39	c 1312s |      19 |   744739 |   490482 |    27949     37 |      735 |      618
1314.00/1314.41	c 1314s |      19 |   745611 |   491182 |    27949     37 |      735 |      618
1316.60/1317.01	c 1316s |      19 |   746464 |   491882 |    27949     38 |      735 |      618
1318.70/1319.19	c 1318s |      19 |   747601 |   492782 |    27949     38 |      735 |      618
1320.90/1321.34	c 1321s |      19 |   748584 |   493582 |    27949     38 |      735 |      618
1323.10/1323.57	c 1323s |      19 |   749584 |   494382 |    27949     38 |      735 |      618
1325.40/1325.83	c 1325s |      19 |   750549 |   495182 |    27949     38 |      735 |      618
1327.60/1328.02	c 1327s |      19 |   751353 |   495882 |    27949     38 |      735 |      618
1329.70/1330.13	c 1329s |      19 |   752172 |   496582 |    27949     38 |      735 |      618
1331.90/1332.38	c 1332s |      19 |   752981 |   497282 |    27949     38 |      735 |      618
1334.10/1334.58	c 1334s |      19 |   753826 |   497982 |    27949     38 |      735 |      618
1336.20/1336.64	c 1336s |      19 |   754880 |   498782 |    27949     38 |      735 |      618
1338.20/1338.64	c 1338s |      19 |   755586 |   499382 |    27949     38 |      735 |      618
1340.40/1340.81	c 1340s |      19 |   756257 |   499982 |    27949     38 |      735 |      618
1342.70/1343.13	c 1342s |      19 |   757085 |   500682 |    27949     38 |      735 |      618
1344.79/1345.20	c 1344s |      19 |   757798 |   501282 |    27949     38 |      735 |      618
1346.99/1347.47	c 1347s |      19 |   758489 |   501882 |    27949     38 |      735 |      618
1349.20/1349.69	c 1349s |      19 |   759165 |   502482 |    27949     38 |      735 |      618
1351.61/1352.03	c 1351s |      19 |   759867 |   503082 |    27949     38 |      735 |      618
1353.81/1354.23	c 1353s |      19 |   760561 |   503682 |    27949     38 |      735 |      618
1355.91/1356.32	c 1356s |      19 |   761275 |   504282 |    27949     38 |      735 |      618
1358.21/1358.64	c 1358s |      19 |   761966 |   504882 |    27949     38 |      735 |      618
1360.41/1360.86	c 1360s |      19 |   762660 |   505482 |    27949     38 |      735 |      618
1362.80/1363.23	c 1362s |      19 |   763348 |   506082 |    27949     38 |      735 |      618
1365.10/1365.58	c 1365s |      19 |   764048 |   506682 |    27949     38 |      735 |      618
1367.40/1367.89	c 1367s |      19 |   764752 |   507282 |    27949     38 |      735 |      618
1369.60/1370.04	c 1369s |      19 |   765340 |   507782 |    27949     39 |      735 |      618
1371.70/1372.17	c 1371s |      19 |   766158 |   508482 |    27949     39 |      735 |      618
1373.80/1374.28	c 1374s |      19 |   767005 |   509182 |    27949     39 |      735 |      618
1376.10/1376.55	c 1376s |      19 |   767800 |   509882 |    27949     39 |      735 |      618
1378.20/1378.64	c 1378s |      19 |   768498 |   510482 |    27949     39 |      735 |      618
1380.30/1380.78	c 1380s |      19 |   769306 |   511182 |    27949     39 |      735 |      618
1382.70/1383.11	c 1382s |      19 |   770097 |   511882 |    27949     39 |      735 |      618
1384.90/1385.32	c 1385s |      19 |   770734 |   512482 |    27949     39 |      735 |      618
1386.90/1387.33	c 1387s |      19 |   771283 |   512982 |    27949     39 |      735 |      618
1389.19/1389.62	c 1389s |      19 |   771798 |   513482 |    27949     39 |      735 |      618
1391.20/1391.63	c 1391s |      19 |   772544 |   514082 |    27949     39 |      735 |      618
1393.19/1393.69	c 1393s |      19 |   773398 |   514782 |    27949     39 |      735 |      618
1395.39/1395.84	c 1395s |      19 |   774087 |   515382 |    27949     39 |      735 |      618
1397.70/1398.17	c 1397s |      19 |   774793 |   515982 |    27949     39 |      735 |      618
1400.09/1400.52	c 1400s |      19 |   775458 |   516582 |    27949     39 |      735 |      618
1402.20/1402.60	c 1402s |      19 |   776033 |   517082 |    27949     39 |      735 |      618
1404.19/1404.69	c 1404s |      19 |   776583 |   517582 |    27949     39 |      735 |      618
1406.29/1406.71	c 1406s |      19 |   777158 |   518082 |    27949     39 |      735 |      618
1408.39/1408.80	c 1408s |      19 |   777734 |   518582 |    27949     39 |      735 |      618
1410.69/1411.16	c 1410s |      19 |   778262 |   519082 |    27949     39 |      735 |      618
1413.10/1413.58	c 1413s |      19 |   778960 |   519682 |    27949     39 |      735 |      618
1415.19/1415.65	c 1415s |      19 |   780492 |   520582 |    27949     39 |      735 |      618
1417.29/1417.70	c 1417s |      19 |   782243 |   521682 |    27949     39 |      735 |      618
1419.39/1419.80	c 1419s |      19 |   783812 |   522682 |    27949     39 |      735 |      618
1421.39/1421.88	c 1421s |      19 |   785055 |   523382 |    27949     40 |      735 |      618
1423.49/1423.91	c 1423s |      19 |   786540 |   524482 |    27949     40 |      735 |      618
1425.49/1425.94	c 1425s |      19 |   787646 |   525382 |    27949     40 |      735 |      618
1427.59/1428.05	c 1427s |      19 |   789038 |   526382 |    27949     40 |      735 |      618
1429.79/1430.24	c 1429s |      19 |   790383 |   527382 |    27949     40 |      735 |      618
1431.89/1432.39	c 1432s |      19 |   791678 |   528282 |    27949     40 |      735 |      618
1434.09/1434.52	c 1434s |      19 |   792465 |   528982 |    27949     40 |      735 |      618
1436.08/1436.52	c 1436s |      19 |   793221 |   529582 |    27949     40 |      735 |      618
1438.28/1438.71	c 1438s |      19 |   794063 |   530182 |    27949     40 |      735 |      618
1440.38/1440.87	c 1440s |      19 |   795034 |   530982 |    27949     40 |      735 |      618
1442.68/1443.11	c 1442s |      19 |   796066 |   531782 |    27949     40 |      735 |      618
1444.78/1445.21	c 1444s |      19 |   796903 |   532482 |    27949     40 |      735 |      618
1446.88/1447.39	c 1447s |      19 |   798122 |   533382 |    27949     40 |      735 |      618
1449.08/1449.51	c 1449s |      19 |   798950 |   534082 |    27949     40 |      735 |      618
1451.08/1451.54	c 1451s |      19 |   799878 |   534782 |    27949     40 |      735 |      618
1453.08/1453.54	c 1453s |      19 |   800847 |   535582 |    27949     40 |      735 |      618
1455.28/1455.78	c 1455s |      19 |   801837 |   536382 |    27949     40 |      735 |      618
1457.58/1458.09	c 1457s |      19 |   802657 |   537082 |    27949     40 |      735 |      618
1459.68/1460.14	c 1459s |      19 |   803424 |   537682 |    27949     40 |      735 |      618
1461.88/1462.31	c 1462s |      19 |   804384 |   538382 |    27949     40 |      735 |      618
1463.88/1464.38	c 1464s |      19 |   804969 |   538882 |    27949     41 |      735 |      618
1466.38/1466.83	c 1466s |      19 |   805862 |   539582 |    27949     41 |      735 |      618
1468.58/1469.01	c 1468s |      19 |   806903 |   540382 |    27949     41 |      735 |      618
1470.58/1471.09	c 1470s |      19 |   807624 |   540982 |    27949     41 |      735 |      618
1472.78/1473.27	c 1472s |      19 |   808616 |   541782 |    27949     41 |      735 |      618
1474.88/1475.38	c 1475s |      19 |   809332 |   542382 |    27949     41 |      735 |      618
1477.18/1477.65	c 1477s |      19 |   810012 |   542982 |    27949     41 |      735 |      618
1479.48/1479.95	c 1479s |      19 |   810691 |   543582 |    27949     41 |      735 |      618
1481.78/1482.20	c 1481s |      19 |   811497 |   544282 |    27949     41 |      735 |      618
1483.78/1484.21	c 1483s |      19 |   812428 |   544982 |    27949     41 |      735 |      618
1485.98/1486.48	c 1486s |      19 |   813376 |   545782 |    27949     41 |      735 |      618
1488.18/1488.65	c 1488s |      19 |   814173 |   546482 |    27949     41 |      735 |      618
1490.18/1490.67	c 1490s |      19 |   815069 |   547182 |    27949     41 |      735 |      618
1492.48/1492.96	c 1492s |      19 |   816047 |   547982 |    27949     41 |      735 |      618
1494.68/1495.18	c 1494s |      19 |   816870 |   548682 |    27949     41 |      735 |      618
1497.07/1497.56	c 1497s |      19 |   817689 |   549382 |    27949     41 |      735 |      618
1499.37/1499.82	c 1499s |      19 |   818639 |   550182 |    27949     41 |      735 |      618
1501.37/1501.83	c 1501s |      19 |   819359 |   550782 |    27949     41 |      735 |      618
1503.57/1504.06	c 1503s |      19 |   820341 |   551582 |    27949     41 |      735 |      618
1505.77/1506.25	c 1505s |      19 |   821034 |   552182 |    27949     41 |      735 |      618
1507.97/1508.46	c 1508s |      19 |   821771 |   552782 |    27949     41 |      735 |      618
1510.37/1510.80	c 1510s |      19 |   822466 |   553382 |    27949     41 |      735 |      618
1512.67/1513.17	c 1512s |      19 |   823161 |   553982 |    27949     41 |      735 |      618
1515.17/1515.64	c 1515s |      19 |   823734 |   554482 |    27949     42 |      735 |      618
1517.27/1517.78	c 1517s |      19 |   824630 |   555182 |    27949     42 |      735 |      618
1519.37/1519.85	c 1519s |      19 |   825683 |   555982 |    27949     42 |      735 |      618
1521.37/1521.89	c 1521s |      19 |   826967 |   556882 |    27949     42 |      735 |      618
1523.57/1524.00	c 1523s |      19 |   827950 |   557682 |    27949     42 |      735 |      618
1525.57/1526.09	c 1525s |      19 |   829198 |   558582 |    27949     42 |      735 |      618
1527.67/1528.18	c 1527s |      19 |   830292 |   559382 |    27949     42 |      735 |      618
1529.87/1530.38	c 1530s |      19 |   831161 |   560082 |    27949     42 |      735 |      618
1531.98/1532.42	c 1532s |      19 |   832287 |   560782 |    27949     42 |      735 |      618
1533.97/1534.46	c 1534s |      19 |   833305 |   561582 |    27949     42 |      735 |      618
1536.28/1536.74	c 1536s |      19 |   834276 |   562382 |    27949     42 |      735 |      618
1538.48/1538.97	c 1538s |      19 |   835233 |   563182 |    27949     42 |      735 |      618
1540.57/1541.02	c 1540s |      19 |   836039 |   563882 |    27949     42 |      735 |      618
1542.57/1543.08	c 1542s |      19 |   837019 |   564682 |    27949     42 |      735 |      618
1544.67/1545.10	c 1544s |      19 |   838088 |   565482 |    27949     42 |      735 |      618
1546.67/1547.15	c 1546s |      19 |   838905 |   566182 |    27949     42 |      735 |      618
1548.87/1549.39	c 1549s |      19 |   839875 |   566982 |    27949     42 |      735 |      618
1551.27/1551.72	c 1551s |      19 |   840916 |   567782 |    27949     42 |      735 |      618
1553.27/1553.75	c 1553s |      19 |   841598 |   568382 |    27949     42 |      735 |      618
1555.37/1555.88	c 1555s |      19 |   842262 |   568982 |    27949     42 |      735 |      618
1557.37/1557.89	c 1557s |      19 |   843034 |   569582 |    27949     42 |      735 |      618
1560.17/1560.61	c 1560s |      19 |   843728 |   570182 |    27949     43 |      735 |      618
1562.37/1562.81	c 1562s |      19 |   845019 |   571182 |    27949     43 |      735 |      618
1564.47/1564.93	c 1564s |      19 |   846236 |   572182 |    27949     43 |      735 |      618
1566.67/1567.11	c 1566s |      19 |   847290 |   573082 |    27949     43 |      735 |      618
1568.67/1569.15	c 1568s |      19 |   848096 |   573782 |    27949     43 |      735 |      618
1570.87/1571.32	c 1571s |      19 |   849026 |   574582 |    27949     43 |      735 |      618
1572.87/1573.36	c 1573s |      19 |   849856 |   575282 |    27949     43 |      735 |      618
1575.17/1575.62	c 1575s |      19 |   850651 |   575982 |    27949     43 |      735 |      618
1577.27/1577.76	c 1577s |      19 |   851461 |   576682 |    27949     43 |      735 |      618
1579.56/1580.00	c 1579s |      19 |   852277 |   577382 |    27949     43 |      735 |      618
1581.76/1582.22	c 1581s |      19 |   853240 |   578182 |    27949     43 |      735 |      618
1583.96/1584.45	c 1584s |      19 |   854058 |   578882 |    27949     43 |      735 |      618
1586.06/1586.57	c 1586s |      19 |   854881 |   579582 |    27949     43 |      735 |      618
1588.16/1588.66	c 1588s |      19 |   855559 |   580182 |    27949     43 |      735 |      618
1590.36/1590.84	c 1590s |      19 |   856232 |   580782 |    27949     43 |      735 |      618
1592.56/1593.07	c 1592s |      19 |   856915 |   581382 |    27949     43 |      735 |      618
1594.57/1595.10	c 1594s |      19 |   857497 |   581882 |    27949     43 |      735 |      618
1596.66/1597.10	c 1596s |      19 |   858056 |   582382 |    27949     43 |      735 |      618
1598.66/1599.14	c 1598s |      19 |   858634 |   582882 |    27949     43 |      735 |      618
1600.86/1601.31	c 1601s |      19 |   859350 |   583482 |    27949     43 |      735 |      618
1603.16/1603.66	c 1603s |      19 |   860040 |   584082 |    27949     43 |      735 |      618
1605.57/1606.01	c 1605s |      19 |   860706 |   584682 |    27949     43 |      735 |      618
1607.66/1608.14	c 1607s |      19 |   861395 |   585282 |    27949     43 |      735 |      618
1610.46/1610.98	c 1610s |      19 |   862084 |   585882 |    27949     44 |      735 |      618
1612.76/1613.23	c 1612s |      19 |   862897 |   586582 |    27949     44 |      735 |      618
1614.96/1615.40	c 1615s |      19 |   863706 |   587282 |    27949     44 |      735 |      618
1616.96/1617.49	c 1617s |      19 |   864564 |   587982 |    27949     44 |      735 |      618
1619.06/1619.56	c 1619s |      19 |   865552 |   588782 |    27949     44 |      735 |      618
1621.36/1621.80	c 1621s |      19 |   866476 |   589582 |    27949     44 |      735 |      618
1623.36/1623.81	c 1623s |      19 |   867302 |   590282 |    27949     44 |      735 |      618
1625.66/1626.13	c 1625s |      19 |   868081 |   590982 |    27949     44 |      735 |      618
1627.86/1628.39	c 1628s |      19 |   868888 |   591682 |    27949     44 |      735 |      618
1629.96/1630.46	c 1630s |      19 |   869558 |   592282 |    27949     44 |      735 |      618
1632.26/1632.72	c 1632s |      19 |   870385 |   592982 |    27949     44 |      735 |      618
1634.66/1635.11	c 1634s |      19 |   871221 |   593682 |    27949     44 |      735 |      618
1636.65/1637.14	c 1636s |      19 |   871754 |   594182 |    27949     44 |      735 |      618
1638.85/1639.30	c 1639s |      19 |   872444 |   594782 |    27949     44 |      735 |      618
1641.15/1641.62	c 1641s |      19 |   873144 |   595382 |    27949     44 |      735 |      618
1643.45/1643.93	c 1643s |      19 |   873813 |   595982 |    27949     44 |      735 |      618
1645.65/1646.19	c 1645s |      19 |   874495 |   596582 |    27949     44 |      735 |      618
1647.75/1648.26	c 1647s |      19 |   875189 |   597182 |    27949     44 |      735 |      618
1650.05/1650.53	c 1650s |      19 |   875871 |   597782 |    27949     44 |      735 |      618
1652.15/1652.62	c 1652s |      19 |   876426 |   598282 |    27949     44 |      735 |      618
1654.55/1655.01	c 1654s |      19 |   877085 |   598882 |    27949     44 |      735 |      618
1656.55/1657.01	c 1656s |      19 |   877684 |   599382 |    27949     44 |      735 |      618
1658.75/1659.29	c 1659s |      19 |   878553 |   600082 |    27949     44 |      735 |      618
1661.05/1661.50	c 1661s |      19 |   879280 |   600682 |    27949     44 |      735 |      618
1663.15/1663.66	c 1663s |      19 |   880092 |   601382 |    27949     44 |      735 |      618
1665.15/1665.67	c 1665s |      19 |   880681 |   601882 |    27949     45 |      735 |      618
1667.16/1667.68	c 1667s |      19 |   882490 |   602882 |    27949     45 |      735 |      618
1669.25/1669.73	c 1669s |      19 |   884359 |   604182 |    27949     45 |      735 |      618
1671.35/1671.83	c 1671s |      19 |   885833 |   605282 |    27949     45 |      735 |      618
1673.45/1673.95	c 1673s |      19 |   887552 |   606482 |    27949     45 |      735 |      618
1675.65/1676.12	c 1675s |      19 |   888881 |   607482 |    27949     45 |      735 |      618
1677.65/1678.16	c 1677s |      19 |   890039 |   608382 |    27949     45 |      735 |      618
1679.75/1680.29	c 1680s |      19 |   891639 |   609482 |    27949     45 |      735 |      618
1681.95/1682.40	c 1682s |      19 |   892940 |   610482 |    27949     45 |      735 |      618
1684.05/1684.51	c 1684s |      19 |   894031 |   611382 |    27949     45 |      735 |      618
1686.05/1686.56	c 1686s |      19 |   895189 |   612282 |    27949     45 |      735 |      618
1688.15/1688.63	c 1688s |      19 |   896320 |   613182 |    27949     45 |      735 |      618
1690.35/1690.84	c 1690s |      19 |   897333 |   613982 |    27949     45 |      735 |      618
1692.45/1692.95	c 1692s |      19 |   898203 |   614682 |    27949     45 |      735 |      618
1694.75/1695.22	c 1694s |      19 |   899331 |   615582 |    27949     45 |      735 |      618
1696.85/1697.39	c 1697s |      19 |   900160 |   616282 |    27949     45 |      735 |      618
1698.94/1699.45	c 1699s |      19 |   900984 |   616982 |    27949     45 |      735 |      618
1701.04/1701.54	c 1701s |      19 |   901687 |   617582 |    27949     46 |      735 |      618
1703.14/1703.61	c 1703s |      19 |   902853 |   618482 |    27949     46 |      735 |      618
1705.24/1705.77	c 1705s |      19 |   903918 |   619382 |    27949     46 |      735 |      618
1707.34/1707.80	c 1707s |      19 |   904727 |   620082 |    27949     46 |      735 |      618
1709.34/1709.83	c 1709s |      19 |   905518 |   620782 |    27949     46 |      735 |      618
1711.34/1711.86	c 1711s |      19 |   906349 |   621482 |    27949     46 |      735 |      618
1713.45/1713.93	c 1713s |      19 |   907494 |   622382 |    27949     46 |      735 |      618
1715.44/1715.96	c 1715s |      19 |   908463 |   623182 |    27949     46 |      735 |      618
1717.54/1718.04	c 1717s |      19 |   909578 |   624082 |    27949     46 |      735 |      618
1719.64/1720.19	c 1719s |      19 |   910700 |   624982 |    27949     46 |      735 |      618
1721.84/1722.36	c 1722s |      19 |   911629 |   625782 |    27949     46 |      735 |      618
1723.84/1724.38	c 1724s |      19 |   912459 |   626482 |    27949     46 |      735 |      618
1726.04/1726.57	c 1726s |      19 |   913360 |   627282 |    27949     46 |      735 |      618
1728.24/1728.79	c 1728s |      19 |   914339 |   628082 |    27949     46 |      735 |      618
1730.34/1730.83	c 1730s |      19 |   915043 |   628682 |    27949     46 |      735 |      618
1732.34/1732.88	c 1732s |      19 |   915719 |   629282 |    27949     46 |      735 |      618
1734.34/1734.89	c 1734s |      19 |   916408 |   629882 |    27949     46 |      735 |      618
1736.64/1737.10	c 1736s |      19 |   917255 |   630582 |    27949     46 |      735 |      618
1738.74/1739.23	c 1738s |      19 |   918101 |   631282 |    27949     46 |      735 |      618
1740.94/1741.46	c 1741s |      19 |   918975 |   631982 |    27949     46 |      735 |      618
1743.24/1743.70	c 1743s |      19 |   919793 |   632682 |    27949     46 |      735 |      618
1745.34/1745.88	c 1745s |      19 |   920384 |   633182 |    27949     47 |      735 |      618
1747.54/1748.08	c 1747s |      19 |   921451 |   634082 |    27949     47 |      735 |      618
1749.64/1750.15	c 1749s |      19 |   922392 |   634882 |    27949     47 |      735 |      618
1751.84/1752.37	c 1752s |      19 |   923182 |   635582 |    27949     47 |      735 |      618
1753.83/1754.38	c 1754s |      19 |   923986 |   636282 |    27949     47 |      735 |      618
1756.13/1756.67	c 1756s |      19 |   924888 |   637082 |    27949     47 |      735 |      618
1758.33/1758.88	c 1758s |      19 |   925718 |   637782 |    27949     47 |      735 |      618
1760.43/1760.91	c 1760s |      19 |   926439 |   638382 |    27949     47 |      735 |      618
1762.63/1763.16	c 1762s |      19 |   927225 |   639082 |    27949     47 |      735 |      618
1764.93/1765.41	c 1765s |      19 |   928026 |   639782 |    27949     47 |      735 |      618
1767.13/1767.65	c 1767s |      19 |   928682 |   640382 |    27949     47 |      735 |      618
1769.33/1769.83	c 1769s |      19 |   929499 |   641082 |    27949     47 |      735 |      618
1771.33/1771.88	c 1771s |      19 |   930203 |   641682 |    27949     47 |      735 |      618
1773.63/1774.13	c 1773s |      19 |   931208 |   642482 |    27949     47 |      735 |      618
1775.63/1776.15	c 1775s |      19 |   931914 |   643082 |    27949     47 |      735 |      618
1777.73/1778.27	c 1777s |      19 |   933017 |   643882 |    27949     47 |      735 |      618
1779.83/1780.30	c 1780s |      19 |   934101 |   644682 |    27949     47 |      735 |      618
1781.83/1782.35	c 1782s |      19 |   935100 |   645482 |    27949     47 |      735 |      618
1783.84/1784.38	c 1784s |      19 |   936018 |   646182 |    27949     47 |      735 |      618
1786.04/1786.53	c 1786s |      19 |   936922 |   646882 |    27949     47 |      735 |      618
1788.03/1788.53	c 1788s |      19 |   937850 |   647582 |    27949     47 |      735 |      618
1790.23/1790.76	c 1790s |      19 |   938679 |   648282 |    27949     47 |      735 |      618
1792.33/1792.87	c 1792s |      19 |   939419 |   648882 |    27949     48 |      735 |      618
1794.53/1795.07	c 1794s |      19 |   940362 |   649682 |    27949     48 |      735 |      618
1796.63/1797.10	c 1796s |      19 |   941215 |   650382 |    27949     48 |      735 |      618
1798.83/1799.30	c 1799s |      19 |   942323 |   651282 |    27949     48 |      735 |      618

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-4116557-1466979384/watcher-4116557-1466979384 -o /tmp/evaluation-result-4116557-1466979384/solver-4116557-1466979384 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466966776-23463 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116557-1466979384.opb 

pid=24579
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.26 2.37 2.32 3/170 24582
/proc/meminfo: memFree=30317828/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=566716 CPUtime=0 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 2088 0 0 0 0 0 0 0 20 0 4 0 30977127 580317184 2449 33554432000 4194304 16246674 140733312116560 140733312115984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 142191 2457 441 2943 0 139085 0
[pid=24582/tid=24583] ppid=24579 vsize=583100 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 597094400 2514 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=588220 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 602337280 2530 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=592316 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 606531584 2546 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.26 2.37 2.32 3/170 24582
/proc/meminfo: memFree=30317828/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 28471 0 0 0 6 3 0 0 20 0 4 0 30977127 1249447936 28769 33554432000 4194304 16246674 140733312116560 140733312115872 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 305041 28769 801 2943 0 301935 0
[pid=24582/tid=24583] ppid=24579 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1249447936 28769 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1249447936 28769 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1249447936 28769 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200531 s]
/proc/loadavg: 2.26 2.37 2.32 3/170 24582
/proc/meminfo: memFree=30317828/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 48676 0 0 0 13 6 0 0 20 0 4 0 30977127 1332285440 48974 33554432000 4194304 16246674 140733312116560 140733312115872 13934341 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 325265 48974 842 2943 0 322159 0
[pid=24582/tid=24583] ppid=24579 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1332285440 48974 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1332285440 48974 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1332285440 48974 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300485 s]
/proc/loadavg: 2.26 2.37 2.32 3/170 24582
/proc/meminfo: memFree=30317828/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1301060 CPUtime=0.28 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 54367 0 0 0 21 7 0 0 20 0 4 0 30977127 1332285440 54665 33554432000 4194304 16246674 140733312116560 140733312115872 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 325265 54676 882 2943 0 322159 0
[pid=24582/tid=24583] ppid=24579 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1332285440 54678 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1332285440 54681 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1332285440 54684 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700397 s]
/proc/loadavg: 2.26 2.37 2.32 3/170 24582
/proc/meminfo: memFree=30317828/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 103419 0 0 0 55 14 0 0 20 0 4 0 30977127 1332285440 103717 33554432000 4194304 16246674 140733312116560 140733312098432 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 325265 103725 882 2943 0 322159 0
[pid=24582/tid=24583] ppid=24579 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1332285440 103729 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1332285440 103737 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1332285440 103745 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.32 2.38 2.32 3/183 24599
/proc/meminfo: memFree=29122980/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 204126 0 0 0 122 27 0 0 20 0 4 0 30977127 1332285440 204425 33554432000 4194304 16246674 140733312116560 140733312098432 12467381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 325265 204440 882 2943 0 322159 0
[pid=24582/tid=24583] ppid=24579 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1332285440 204449 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1332285440 204453 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1332285440 204456 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.32 2.38 2.32 3/183 24599
/proc/meminfo: memFree=28162832/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1313348 CPUtime=3.08 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 269309 0 0 0 272 36 0 0 20 0 4 0 30977127 1344868352 269607 33554432000 4194304 16246674 140733312116560 140733312098432 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 328337 269607 888 2943 0 325231 0
[pid=24582/tid=24583] ppid=24579 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1344868352 269607 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1344868352 269607 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1344868352 269607 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.30041 s]
/proc/loadavg: 2.32 2.38 2.32 3/183 24599
/proc/meminfo: memFree=28161108/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 269526 0 0 0 592 37 0 0 20 0 4 0 30977127 1344868352 269824 33554432000 4194304 16246674 140733312116560 140733312098432 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 328337 269824 889 2943 0 325231 0
[pid=24582/tid=24583] ppid=24579 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1344868352 269824 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1344868352 269824 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1344868352 269824 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.27 2.37 2.32 4/183 24599
/proc/meminfo: memFree=28161052/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 269526 0 0 0 1232 37 0 0 20 0 4 0 30977127 1344868352 269824 33554432000 4194304 16246674 140733312116560 140733312098432 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 328337 269824 889 2943 0 325231 0
[pid=24582/tid=24583] ppid=24579 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1344868352 269824 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1344868352 269824 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1344868352 269824 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.22 2.36 2.31 4/183 24599
/proc/meminfo: memFree=28161680/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 269528 0 0 0 2512 37 0 0 20 0 4 0 30977127 1344868352 269826 33554432000 4194304 16246674 140733312116560 140733312099560 5723564 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 328337 269826 891 2943 0 325231 0
[pid=24582/tid=24583] ppid=24579 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1344868352 269826 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1344868352 269826 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1344868352 269826 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.35 2.37 2.32 3/183 24599
/proc/meminfo: memFree=28161160/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 269718 0 0 0 5071 37 0 0 20 0 4 0 30977127 1345916928 270014 33554432000 4194304 16246674 140733312116560 140733312098432 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 328593 270014 891 2943 0 325487 0
[pid=24582/tid=24583] ppid=24579 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1345916928 270014 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1345916928 270014 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1345916928 270014 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.25 2.34 2.31 3/183 24601
/proc/meminfo: memFree=28152344/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1314372 CPUtime=102.26 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 269741 0 0 0 10189 37 0 0 20 0 4 0 30977127 1345916928 270015 33554432000 4194304 16246674 140733312116560 140733312098432 5600072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 328593 270015 892 2943 0 325487 0
[pid=24582/tid=24583] ppid=24579 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1345916928 270015 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1345916928 270015 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1345916928 270015 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1314372


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

/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1339972

[startup+1362.3 s]
/proc/loadavg: 2.24 2.28 2.27 3/183 24632
/proc/meminfo: memFree=28115076/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1339972 CPUtime=1361.9 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 276552 0 0 0 136142 48 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140733312098432 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 334993 276483 892 2943 0 331887 0
[pid=24582/tid=24583] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1339972

[startup+1422.3 s]
/proc/loadavg: 2.43 2.32 2.28 4/184 24636
/proc/meminfo: memFree=28114752/32872528 swapFree=1541160/1696504
[pid=24582] ppid=24579 vsize=1339972 CPUtime=1421.9 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 276552 0 0 0 142142 48 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140733312115656 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 334993 276483 892 2943 0 331887 0
[pid=24582/tid=24583] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1339972

[startup+1482.3 s]
/proc/loadavg: 2.37 2.32 2.28 3/183 24637
/proc/meminfo: memFree=28116116/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1339972 CPUtime=1481.88 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 276552 0 0 0 148140 48 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140733312098432 12415815 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 334993 276483 892 2943 0 331887 0
[pid=24582/tid=24583] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1339972

[startup+1542.31 s]
/proc/loadavg: 2.28 2.30 2.27 4/183 24638
/proc/meminfo: memFree=28115740/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1339972 CPUtime=1541.88 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 276552 0 0 0 154139 49 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140733312098432 12461065 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 334993 276483 892 2943 0 331887 0
[pid=24582/tid=24583] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.31 2.31 2.27 4/183 24639
/proc/meminfo: memFree=28115848/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1339972 CPUtime=1601.86 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 276552 0 0 0 160137 49 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140733312098432 13927507 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 334993 276483 892 2943 0 331887 0
[pid=24582/tid=24583] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1339972

[startup+1662.3 s]
/proc/loadavg: 2.31 2.31 2.27 3/183 24641
/proc/meminfo: memFree=28115724/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1339972 CPUtime=1661.85 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 276552 0 0 0 166136 49 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140733312098432 5827728 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 334993 276483 892 2943 0 331887 0
[pid=24582/tid=24583] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1339972

[startup+1722.3 s]
/proc/loadavg: 2.27 2.30 2.27 4/183 24642
/proc/meminfo: memFree=28115848/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1339972 CPUtime=1721.84 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 276552 0 0 0 172135 49 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140733312098432 5677784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 334993 276483 892 2943 0 331887 0
[pid=24582/tid=24583] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1339972

[startup+1782.3 s]
/proc/loadavg: 2.24 2.28 2.27 4/183 24643
/proc/meminfo: memFree=28114808/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1339972 CPUtime=1781.83 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 276552 0 0 0 178134 49 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140733312098432 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 334993 276483 892 2943 0 331887 0
[pid=24582/tid=24583] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1339972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.28 2.27 3/183 24643
/proc/meminfo: memFree=28115056/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1339972 CPUtime=1800.03 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 276552 0 0 0 179954 49 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140733312098432 5673405 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 334993 276483 892 2943 0 331887 0
[pid=24582/tid=24583] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 24582 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.25 2.28 2.27 3/183 24643
/proc/meminfo: memFree=28115056/32872528 swapFree=1541156/1696500
[pid=24582] ppid=24579 vsize=1339972 CPUtime=1800.03 cores=0,2,4,6
/proc/24582/stat : 24582 (toysat) R 24579 24582 23447 0 -1 4202496 276552 0 0 0 179954 49 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140733312098432 5673405 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24582/statm: 334993 276483 892 2943 0 331887 0
[pid=24582/tid=24583] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24583/stat : 24583 (toysat) S 24579 24582 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609743465712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24582/tid=24584] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24584/stat : 24584 (toysat) S 24579 24582 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609732975856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24582/tid=24585] ppid=24579 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/24582/task/24585/stat : 24585 (toysat) S 24579 24582 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977127 1372131328 276483 33554432000 4194304 16246674 140733312116560 140609645964464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1339972

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.55
CPU system time (s): 0.499924
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1339972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.499924
maximum resident set size= 1105932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276552
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= 382
involuntary context switches= 1968

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6233 second user time and 6.87995 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-27 00:16:24
IDJOB=4116557
IDBENCH=109485
IDSOLVER=2542
FILE ID=node125/4116557-1466979384
RUNJOBID= node125-1466966776-23463
PBS_JOBID= 19976375
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= 59f2e46de20f76e96a9c0ff4b18f60c6
RANDOM SEED=1387524752

node125.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		: 2667.021
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	: 5334.04
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		: 2667.021
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.56
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		: 2667.021
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		: 2667.021
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.55
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		: 2667.021
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		: 2667.021
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		: 2667.021
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		: 2667.021
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:        30318200 kB
Buffers:           52180 kB
Cached:            99352 kB
SwapCached:         1736 kB
Active:            68000 kB
Inactive:          87192 kB
Active(anon):       4932 kB
Inactive(anon):      448 kB
Active(file):      63068 kB
Inactive(file):    86744 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33400 kB
Writeback:             0 kB
AnonPages:       1676104 kB
Mapped:             7160 kB
Shmem:                 0 kB
Slab:             568748 kB
SReclaimable:      12608 kB
SUnreclaim:       556140 kB
KernelStack:        1504 kB
PageTables:         6648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1793352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 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= 71708 MiB
End job on node125 at 2016-06-27 00:46:25