Trace number 4117109

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.04 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round21-8.opb
MD5SUM0c05803813c74c650aa462c87efe1694
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark184.668
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3968
Total number of constraints7920
Number of constraints which are clauses6656
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints832
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-26T16:29:09+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-4117109-1466951349.opb"]
0.00/0.01	c use --random-gen="3126054032 1538462552 156465774 3082205739 3618615056 138001671 1550945068 1960222328 4133684768 1232931706 1940641367 983462160 4292669256 1318550463 2305278840 3410340710 2404465664 3248887122 3299828971 98921621 4179562963 1259414503 1826118940 1793146679 2701012212 367937875 3190801714 4115042558 2762062748 2975949587 4180514620 2773886045 3297161735 3175496881 2528539021 1262901096 1446956879 1891648976 213185649 3505255267 4241715467 2310598213 3630571325 4070946098 3333681766 1119358235 2936141394 1072887811 2225381205 3635900723 1438500497 704755700 3834324357 3724394743 2851849503 3925455623 1013320554 3136870047 1884790482 2659141555 761319052 2153529185 693341373 1830690948 2857349521 1854853173 1060479412 4072098091 3875918626 1924119158 3714127781 2752066205 2855629837 3419639401 1560898598 1362258732 3273637430 1117670539 3795299085 471232605 2231560945 1637247166 1010948558 4258434776 4185851985 836317170 153291503 3666812802 4143461672 2205156659 3141083416 2706694140 3152620764 2117775612 1708359408 2742356245 2815057960 2561563075 2259108319 1351386660 528774055 1590385106 596315945 201162965 3990471784 1580677560 1828550126 1228664695 2505053121 2826500746 1420332723 3263552636 2315205774 2824596460 3501742072 331572180 1716549750 373330568 357061950 3277658769 490417683 1102658840 2082135733 511988333 2352444014 1381457238 3320213045 2827358334 1012177513 1798141505 1433877546 852038574 161454740 3181052984 956630008 3980552101 3609738763 1002636452 756985717 428380279 573649190 1760094126 2189152405 3636176018 2794919257 2809737867 3963553637 3441342602 2594349959 3711721919 3041946877 114581047 2398047196 445984736 2205939879 3527878570 570063436 2435464268 344324218 2668219246 1926167749 261850016 2030977615 1786265118 2309408763 1853356850 2026306610 577392833 298588712 3186772683 751675493 3820583386 1194256690 3548592374 3240043704 766780163 3411047611 1480016271 674677465 1998086201 2493660795 119722593 870556335 2137273465 4007118149 1555003994 2756882200 3673998947 1347690141 4080268231 72715250 3606791193 2889797065 3936272383 3392020417 221184792 2333903719 535526298 2248062964 1997450280 4259610661 3034599290 2003092074 3248338952 1438016395 2243480288 2994827508 983272721 1885343365 731523461 4257716373 3692274439 24598582 1361764161 589818184 3524855288 3075872353 606892363 3669554962 430526705 3804418240 386266803 2714472097 843780773 2271556909 3598552698 482231795 2323678927 803796724 2551156074 3606323133 666821865 3972278244 526022984 2324401862 384666525 632180452 3581715320 4100658058 3190389279 4157519104 3707705872 871689494 970407016 951362899 4111198254 1062989780 2907355067 555188203 395797320 3395017682 2451410069 2390753242 3990512033 806779657 445007516 255 362436" option to reproduce the execution
0.00/0.09	c #vars 3968
0.00/0.09	c #constraints 7920
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     3904      0 |      859 |        0
0.19/0.29	c  0.1s |       1 |      450 |      100 |     3904      0 |      859 |      709
0.39/0.41	c  0.2s |       2 |     2170 |      250 |     4295      0 |      860 |      709
0.49/0.56	c  0.3s |       3 |     5014 |      475 |     4725      0 |      860 |      709
0.89/0.93	c  0.7s |       4 |     6847 |      813 |     5198      0 |      860 |      709
1.29/1.39	c  1.2s |       5 |     9120 |     1320 |     5718      0 |      860 |      709
1.89/1.97	c  1.7s |       6 |    12425 |     2081 |     6920      0 |      860 |      709
3.09/3.17	c  2.9s |       7 |    16990 |     3223 |     7613      0 |      860 |      709
4.69/4.72	c  4.5s |       8 |    20989 |     4936 |     8375      0 |      860 |      709
6.70/6.77	c  6.5s |       8 |    27237 |     6836 |     8375      0 |      860 |      709
7.29/7.32	c  7.1s |       9 |    28309 |     7506 |     9213      0 |      860 |      709
9.39/9.41	c  9.2s |       9 |    32126 |     9306 |     9213      0 |      861 |      709
11.39/11.41	c 11.2s |       9 |    34179 |    10806 |     9213      0 |      861 |      709
11.99/12.08	c 11.9s |      10 |    35964 |    11361 |    10135      1 |      861 |      709
13.99/14.09	c 13.9s |      10 |    43743 |    13461 |    10135      1 |      861 |      709
16.09/16.14	c 15.9s |      10 |    45731 |    14961 |    10135      1 |      861 |      709
18.09/18.19	c 18.0s |      10 |    47304 |    16261 |    10135      1 |      861 |      709
19.80/19.87	c 19.6s |      11 |    48351 |    17144 |    11149      1 |      861 |      709
21.89/21.98	c 21.7s |      11 |    57514 |    19544 |    11149      2 |      861 |      709
23.89/23.99	c 23.8s |      11 |    65071 |    22144 |    11149      2 |      861 |      709
26.09/26.11	c 25.9s |      11 |    69576 |    24244 |    11149      2 |      861 |      709
28.19/28.22	c 28.0s |      11 |    71330 |    25644 |    11149      2 |      861 |      709
28.49/28.50	c 28.3s |      12 |    71529 |    25819 |    12264      2 |      861 |      709
30.49/30.57	c 30.3s |      12 |    76940 |    27619 |    12264      3 |      861 |      709
32.69/32.78	c 32.5s |      12 |    78332 |    28719 |    12264      3 |      861 |      709
34.88/34.96	c 34.7s |      12 |    80319 |    30019 |    12264      3 |      861 |      709
37.18/37.23	c 37.0s |      12 |    81721 |    31119 |    12264      3 |      861 |      709
39.28/39.30	c 39.1s |      12 |    82767 |    31919 |    12264      3 |      861 |      709
41.38/41.48	c 41.2s |      12 |    84124 |    33019 |    12264      3 |      861 |      709
43.48/43.54	c 43.3s |      12 |    85169 |    33919 |    12264      3 |      861 |      709
45.58/45.69	c 45.5s |      12 |    86117 |    34719 |    12264      4 |      861 |      709
47.68/47.77	c 47.5s |      12 |    87384 |    35719 |    12264      4 |      861 |      709
49.88/49.92	c 49.7s |      12 |    88512 |    36719 |    12264      4 |      861 |      709
51.98/52.04	c 51.8s |      12 |    89585 |    37619 |    12264      4 |      861 |      709
54.08/54.11	c 53.9s |      12 |    90486 |    38419 |    12264      4 |      861 |      709
55.38/55.45	c 55.2s |      13 |    90948 |    38832 |    13491      4 |      861 |      709
57.48/57.51	c 57.3s |      13 |    95901 |    40532 |    13491      4 |      861 |      709
59.58/59.63	c 59.4s |      13 |    97637 |    41932 |    13491      4 |      861 |      709
61.69/61.74	c 61.5s |      13 |    98886 |    43032 |    13491      4 |      861 |      709
63.79/63.81	c 63.6s |      13 |    99907 |    43932 |    13491      5 |      861 |      709
65.78/65.83	c 65.6s |      13 |   100981 |    44932 |    13491      5 |      861 |      709
67.78/67.86	c 67.6s |      13 |   101987 |    45832 |    13491      5 |      861 |      709
69.88/69.90	c 69.7s |      13 |   102843 |    46632 |    13491      5 |      861 |      709
71.88/71.98	c 71.7s |      13 |   103706 |    47432 |    13491      5 |      861 |      709
73.97/74.03	c 73.8s |      13 |   104689 |    48332 |    13491      5 |      861 |      709
75.99/76.03	c 75.8s |      13 |   105681 |    49232 |    13491      5 |      861 |      709
78.09/78.18	c 77.9s |      13 |   106741 |    50132 |    13491      5 |      861 |      709
80.18/80.20	c 80.0s |      13 |   107740 |    51032 |    13491      5 |      861 |      709
82.38/82.45	c 82.2s |      13 |   108702 |    51932 |    13491      5 |      861 |      709
84.38/84.45	c 84.2s |      13 |   109457 |    52632 |    13491      6 |      861 |      709
86.58/86.61	c 86.4s |      13 |   110470 |    53532 |    13491      6 |      861 |      709
88.58/88.62	c 88.4s |      13 |   111341 |    54332 |    13491      6 |      861 |      709
90.58/90.64	c 90.4s |      13 |   112878 |    55332 |    13491      6 |      861 |      709
92.58/92.69	c 92.5s |      13 |   114285 |    56432 |    13491      6 |      861 |      709
94.78/94.82	c 94.6s |      13 |   115458 |    57432 |    13491      6 |      861 |      709
96.89/96.99	c 96.8s |      13 |   116526 |    58332 |    14841      6 |      861 |      709
96.98/97.05	c 96.8s |      14 |   116549 |    58352 |    14841      6 |      861 |      709
99.09/99.13	c 98.9s |      14 |   121615 |    60352 |    14841      6 |      861 |      709
101.08/101.13	c  100s |      14 |   127597 |    62152 |    14841      7 |      861 |      709
103.18/103.24	c  103s |      14 |   129609 |    63652 |    14841      7 |      861 |      709
105.28/105.33	c  105s |      14 |   131331 |    64952 |    14841      7 |      861 |      709
107.38/107.44	c  107s |      14 |   132896 |    66252 |    14841      7 |      861 |      709
109.48/109.52	c  109s |      14 |   134262 |    67352 |    14841      7 |      861 |      709
111.48/111.58	c  111s |      14 |   135992 |    68352 |    14841      7 |      861 |      709
113.67/113.74	c  113s |      14 |   137573 |    69452 |    14841      7 |      861 |      709
115.77/115.82	c  115s |      14 |   138736 |    70452 |    14841      7 |      861 |      709
117.78/117.82	c  117s |      14 |   139655 |    71252 |    14841      8 |      861 |      709
119.98/120.03	c  119s |      14 |   140790 |    72252 |    14841      8 |      861 |      709
122.08/122.16	c  121s |      14 |   141810 |    73152 |    14841      8 |      861 |      709
124.17/124.25	c  124s |      14 |   142722 |    73952 |    14841      8 |      861 |      709
126.37/126.42	c  126s |      14 |   143631 |    74752 |    14841      8 |      861 |      709
128.57/128.71	c  128s |      14 |   144505 |    75552 |    14841      8 |      861 |      709
130.77/130.82	c  130s |      14 |   145271 |    76252 |    14841      8 |      861 |      709
132.87/132.92	c  132s |      14 |   146044 |    76952 |    14841      8 |      861 |      709
134.97/135.08	c  134s |      14 |   146708 |    77552 |    14841      8 |      861 |      709
137.27/137.38	c  137s |      14 |   147613 |    78352 |    14841      8 |      861 |      709
139.68/139.77	c  139s |      14 |   148385 |    79052 |    14841      8 |      861 |      709
142.07/142.13	c  141s |      14 |   149032 |    79652 |    14841      8 |      861 |      709
144.08/144.17	c  143s |      14 |   149572 |    80152 |    14841      9 |      861 |      709
146.28/146.32	c  146s |      14 |   150342 |    80852 |    14841      9 |      861 |      709
148.48/148.51	c  148s |      14 |   151195 |    81652 |    14841      9 |      861 |      709
150.78/150.82	c  150s |      14 |   151953 |    82352 |    14841      9 |      861 |      709
152.77/152.90	c  152s |      14 |   152600 |    82952 |    14841      9 |      861 |      709
154.97/155.00	c  154s |      14 |   153247 |    83552 |    14841      9 |      861 |      709
157.16/157.25	c  157s |      14 |   153896 |    84152 |    14841      9 |      861 |      709
159.47/159.55	c  159s |      14 |   154538 |    84752 |    14841      9 |      861 |      709
161.77/161.84	c  161s |      14 |   155181 |    85352 |    14841      9 |      861 |      709
164.06/164.16	c  163s |      14 |   155961 |    86052 |    14841      9 |      861 |      709
166.26/166.40	c  166s |      14 |   156738 |    86752 |    14841      9 |      861 |      709
168.56/168.61	c  168s |      14 |   157414 |    87352 |    16326      9 |      861 |      709
169.66/169.72	c  169s |      15 |   157733 |    87632 |    16326      9 |      861 |      709
171.67/171.73	c  171s |      15 |   163081 |    89032 |    16326     10 |      861 |      709
173.66/173.74	c  173s |      15 |   166319 |    90832 |    16326     10 |      861 |      709
175.66/175.78	c  175s |      15 |   173476 |    93132 |    16326     10 |      861 |      709
177.66/177.79	c  177s |      15 |   175322 |    94532 |    16326     10 |      861 |      709
179.76/179.83	c  179s |      15 |   177625 |    95932 |    16326     10 |      861 |      709
181.96/182.02	c  181s |      15 |   179707 |    97332 |    16326     10 |      861 |      709
183.96/184.03	c  183s |      15 |   181024 |    98332 |    16326     10 |      861 |      709
186.06/186.15	c  185s |      15 |   182280 |    99332 |    16326     11 |      861 |      709
188.17/188.28	c  188s |      15 |   183631 |   100432 |    16326     11 |      861 |      709
190.37/190.47	c  190s |      15 |   185097 |   101532 |    16326     11 |      861 |      709
192.47/192.60	c  192s |      15 |   186082 |   102332 |    16326     11 |      861 |      709
194.67/194.71	c  194s |      15 |   187248 |   103232 |    16326     11 |      861 |      709
196.87/196.96	c  196s |      15 |   188382 |   104132 |    16326     11 |      861 |      709
199.07/199.11	c  198s |      15 |   189384 |   105032 |    16326     11 |      861 |      709
201.16/201.30	c  201s |      15 |   190696 |   106032 |    16326     11 |      861 |      709
203.47/203.54	c  203s |      15 |   191608 |   106832 |    16326     11 |      861 |      709
205.46/205.58	c  205s |      15 |   192459 |   107532 |    16326     11 |      861 |      709
207.66/207.75	c  207s |      15 |   193364 |   108232 |    16326     11 |      861 |      709
209.66/209.79	c  209s |      15 |   194226 |   108932 |    16326     12 |      861 |      709
211.76/211.88	c  211s |      15 |   195901 |   110132 |    16326     12 |      861 |      709
213.86/213.93	c  213s |      15 |   197384 |   111232 |    16326     12 |      861 |      709
215.96/216.06	c  215s |      15 |   198750 |   112332 |    16326     12 |      861 |      709
218.06/218.14	c  217s |      15 |   201145 |   113732 |    16326     12 |      861 |      709
220.16/220.24	c  220s |      15 |   202691 |   114832 |    16326     12 |      861 |      709
222.27/222.33	c  222s |      15 |   203818 |   115732 |    16326     12 |      861 |      709
224.56/224.62	c  224s |      15 |   204760 |   116532 |    16326     12 |      861 |      709
226.67/226.74	c  226s |      15 |   205765 |   117332 |    16326     12 |      861 |      709
228.77/228.90	c  228s |      15 |   206887 |   118232 |    16326     12 |      861 |      709
230.96/231.02	c  230s |      15 |   208170 |   119132 |    16326     13 |      861 |      709
233.16/233.23	c  232s |      15 |   209211 |   120032 |    16326     13 |      861 |      709
235.25/235.30	c  235s |      15 |   210124 |   120832 |    16326     13 |      861 |      709
237.35/237.43	c  237s |      15 |   211018 |   121632 |    16326     13 |      861 |      709
239.35/239.46	c  239s |      15 |   212140 |   122432 |    16326     13 |      861 |      709
241.55/241.63	c  241s |      15 |   213916 |   123632 |    16326     13 |      861 |      709
243.65/243.74	c  243s |      15 |   215158 |   124632 |    16326     13 |      861 |      709
245.75/245.88	c  245s |      15 |   216236 |   125532 |    16326     13 |      861 |      709
247.95/248.00	c  247s |      15 |   217332 |   126432 |    16326     13 |      861 |      709
250.05/250.19	c  249s |      15 |   218272 |   127232 |    16326     13 |      861 |      709
252.15/252.20	c  251s |      15 |   219077 |   127932 |    16326     13 |      861 |      709
254.25/254.38	c  254s |      15 |   219887 |   128632 |    16326     14 |      861 |      709
256.45/256.56	c  256s |      15 |   221090 |   129632 |    16326     14 |      861 |      709
258.65/258.78	c  258s |      15 |   221886 |   130332 |    16326     14 |      861 |      709
260.95/261.05	c  260s |      15 |   222938 |   131232 |    17959     14 |      861 |      709
261.86/261.94	c  261s |      16 |   223330 |   131552 |    17959     14 |      861 |      709
263.85/263.95	c  263s |      16 |   226827 |   133252 |    17959     14 |      861 |      709
265.95/266.01	c  265s |      16 |   229076 |   134852 |    17959     14 |      861 |      709
268.05/268.11	c  267s |      16 |   231010 |   136352 |    17959     14 |      861 |      709
270.05/270.16	c  269s |      16 |   232668 |   137652 |    17959     14 |      861 |      709
272.05/272.18	c  271s |      16 |   234275 |   138852 |    17959     14 |      861 |      709
274.25/274.34	c  274s |      16 |   235552 |   139852 |    17959     15 |      861 |      709
276.35/276.47	c  276s |      16 |   236823 |   140852 |    17959     15 |      861 |      709
278.54/278.61	c  278s |      16 |   238045 |   141852 |    17959     15 |      861 |      709
280.55/280.66	c  280s |      16 |   239157 |   142752 |    17959     15 |      861 |      709
282.54/282.68	c  282s |      16 |   240070 |   143552 |    17959     15 |      861 |      709
284.64/284.73	c  284s |      16 |   240983 |   144352 |    17959     15 |      861 |      709
286.84/286.93	c  286s |      16 |   241796 |   145052 |    17959     15 |      861 |      709
288.84/288.97	c  288s |      16 |   243017 |   145952 |    17959     15 |      861 |      709
291.04/291.19	c  290s |      16 |   244028 |   146752 |    17959     15 |      861 |      709
293.24/293.35	c  293s |      16 |   244864 |   147452 |    17959     15 |      861 |      709
295.44/295.58	c  295s |      16 |   245765 |   148152 |    17959     15 |      861 |      709
297.74/297.88	c  297s |      16 |   246568 |   148852 |    17959     15 |      861 |      709
299.94/300.00	c  299s |      16 |   247389 |   149552 |    17959     15 |      861 |      709
302.04/302.14	c  301s |      16 |   248102 |   150152 |    17959     16 |      861 |      709
304.04/304.15	c  303s |      16 |   248976 |   150852 |    17959     16 |      861 |      709
306.24/306.31	c  306s |      16 |   249960 |   151652 |    17959     16 |      861 |      709
308.44/308.51	c  308s |      16 |   250782 |   152352 |    17959     16 |      861 |      709
310.55/310.60	c  310s |      16 |   251619 |   153052 |    17959     16 |      861 |      709
312.75/312.80	c  312s |      16 |   252437 |   153752 |    17959     16 |      861 |      709
314.85/314.92	c  314s |      16 |   255283 |   155052 |    17959     16 |      861 |      709
316.95/317.06	c  316s |      16 |   257354 |   156252 |    17959     16 |      861 |      709
319.06/319.16	c  318s |      16 |   258659 |   157252 |    17959     16 |      861 |      709
321.26/321.39	c  321s |      16 |   259929 |   158252 |    17959     16 |      861 |      709
323.24/323.40	c  323s |      16 |   260737 |   158952 |    17959     16 |      861 |      709
325.34/325.46	c  325s |      16 |   262019 |   159852 |    17959     16 |      861 |      709
327.54/327.63	c  327s |      16 |   262881 |   160552 |    17959     17 |      861 |      709
329.74/329.88	c  329s |      16 |   263937 |   161452 |    17959     17 |      861 |      709
331.84/331.92	c  331s |      16 |   265045 |   162352 |    17959     17 |      861 |      709
333.94/334.04	c  333s |      16 |   266472 |   163452 |    17959     17 |      861 |      709
336.14/336.23	c  336s |      16 |   267733 |   164452 |    17959     17 |      861 |      709
338.14/338.29	c  338s |      16 |   268732 |   165252 |    17959     17 |      861 |      709
340.54/340.69	c  340s |      16 |   269824 |   166152 |    17959     17 |      861 |      709
342.74/342.82	c  342s |      16 |   270595 |   166852 |    17959     17 |      861 |      709
344.94/345.02	c  344s |      16 |   271474 |   167652 |    17959     17 |      861 |      709
347.04/347.15	c  346s |      16 |   272379 |   168352 |    17959     17 |      861 |      709
349.14/349.29	c  349s |      16 |   273320 |   169152 |    17959     17 |      861 |      709
351.44/351.56	c  351s |      16 |   274270 |   169952 |    17959     17 |      861 |      709
353.84/353.93	c  353s |      16 |   275258 |   170752 |    17959     17 |      861 |      709
355.94/356.00	c  355s |      16 |   275827 |   171252 |    17959     18 |      861 |      709
357.94/358.09	c  357s |      16 |   276769 |   172052 |    17959     18 |      861 |      709
360.24/360.37	c  360s |      16 |   277687 |   172852 |    17959     18 |      861 |      709
362.43/362.52	c  362s |      16 |   278583 |   173652 |    17959     18 |      861 |      709
364.53/364.61	c  364s |      16 |   279388 |   174352 |    17959     18 |      861 |      709
366.73/366.80	c  366s |      16 |   280163 |   175052 |    17959     18 |      861 |      709
369.03/369.15	c  368s |      16 |   280812 |   175652 |    17959     18 |      861 |      709
371.03/371.15	c  370s |      16 |   281487 |   176252 |    17959     18 |      861 |      709
373.33/373.47	c  373s |      16 |   282133 |   176852 |    17959     18 |      861 |      709
375.53/375.63	c  375s |      16 |   282978 |   177552 |    17959     18 |      861 |      709
377.73/377.84	c  377s |      16 |   283937 |   178252 |    17959     18 |      861 |      709
379.93/380.00	c  379s |      16 |   284725 |   178952 |    17959     18 |      861 |      709
382.13/382.21	c  381s |      16 |   285575 |   179652 |    17959     18 |      861 |      709
384.33/384.43	c  384s |      16 |   286238 |   180252 |    17959     18 |      861 |      709
386.43/386.53	c  386s |      16 |   286792 |   180752 |    17959     18 |      861 |      709
388.73/388.84	c  388s |      16 |   287635 |   181352 |    17959     19 |      861 |      709
390.73/390.88	c  390s |      16 |   290300 |   182652 |    17959     19 |      861 |      709
392.83/392.92	c  392s |      16 |   292008 |   183752 |    17959     19 |      861 |      709
394.94/395.04	c  394s |      16 |   297531 |   185752 |    17959     19 |      861 |      709
396.93/397.08	c  396s |      16 |   299064 |   187052 |    17959     19 |      861 |      709
399.03/399.18	c  398s |      16 |   300328 |   188152 |    17959     19 |      861 |      709
401.13/401.29	c  401s |      16 |   301513 |   189152 |    17959     19 |      861 |      709
403.43/403.51	c  403s |      16 |   302815 |   190252 |    17959     19 |      861 |      709
405.53/405.69	c  405s |      16 |   304300 |   191352 |    17959     19 |      861 |      709
407.73/407.86	c  407s |      16 |   305624 |   192352 |    17959     20 |      861 |      709
409.92/410.02	c  409s |      16 |   307341 |   193652 |    17959     20 |      861 |      709
412.12/412.21	c  411s |      16 |   308694 |   194752 |    17959     20 |      861 |      709
414.32/414.42	c  414s |      16 |   309833 |   195752 |    17959     20 |      861 |      709
416.42/416.58	c  416s |      16 |   310983 |   196752 |    19755     20 |      861 |      709
417.72/417.82	c  417s |      17 |   312178 |   197432 |    19755     20 |      861 |      709
419.83/419.94	c  419s |      17 |   316664 |   199132 |    19755     20 |      861 |      709
421.83/421.96	c  421s |      17 |   323932 |   201232 |    19755     20 |      861 |      709
423.93/424.02	c  423s |      17 |   326874 |   203032 |    19755     20 |      861 |      709
426.03/426.17	c  425s |      17 |   328279 |   204232 |    19755     20 |      861 |      709
428.23/428.32	c  428s |      17 |   329532 |   205332 |    19755     21 |      861 |      709
430.53/430.61	c  430s |      17 |   330461 |   206132 |    19755     21 |      861 |      709
432.63/432.76	c  432s |      17 |   331376 |   206932 |    19755     21 |      861 |      709
434.73/434.83	c  434s |      17 |   332641 |   208032 |    19755     21 |      861 |      709
436.93/437.03	c  436s |      17 |   333790 |   209032 |    19755     21 |      861 |      709
439.13/439.25	c  439s |      17 |   334677 |   209832 |    19755     21 |      861 |      709
441.23/441.30	c  441s |      17 |   335671 |   210632 |    19755     21 |      861 |      709
443.24/443.36	c  443s |      17 |   339288 |   212132 |    19755     21 |      861 |      709
445.33/445.47	c  445s |      17 |   341287 |   213532 |    19755     21 |      861 |      709
447.43/447.59	c  447s |      17 |   343051 |   214832 |    19755     21 |      861 |      709
449.53/449.62	c  449s |      17 |   344322 |   215832 |    19755     21 |      861 |      709
451.63/451.73	c  451s |      17 |   345402 |   216732 |    19755     22 |      861 |      709
453.63/453.77	c  453s |      17 |   347017 |   218032 |    19755     22 |      861 |      709
455.82/455.90	c  455s |      17 |   348513 |   219232 |    19755     22 |      861 |      709
457.92/458.08	c  457s |      17 |   349852 |   220332 |    19755     22 |      861 |      709
460.02/460.18	c  459s |      17 |   351007 |   221232 |    19755     22 |      861 |      709
462.22/462.33	c  462s |      17 |   352192 |   222232 |    19755     22 |      861 |      709
464.23/464.35	c  464s |      17 |   353721 |   223332 |    19755     22 |      861 |      709
466.43/466.54	c  466s |      17 |   355125 |   224432 |    19755     22 |      861 |      709
468.63/468.74	c  468s |      17 |   356329 |   225432 |    19755     22 |      861 |      709
470.62/470.76	c  470s |      17 |   357433 |   226332 |    19755     22 |      861 |      709
472.82/472.95	c  472s |      17 |   358475 |   227232 |    19755     22 |      861 |      709
474.92/475.00	c  474s |      17 |   359832 |   228232 |    19755     23 |      861 |      709
476.92/477.08	c  476s |      17 |   361246 |   229332 |    19755     23 |      861 |      709
479.22/479.30	c  479s |      17 |   362571 |   230432 |    19755     23 |      861 |      709
481.22/481.38	c  481s |      17 |   363629 |   231332 |    19755     23 |      861 |      709
483.32/483.43	c  483s |      17 |   364583 |   232132 |    19755     23 |      861 |      709
485.52/485.63	c  485s |      17 |   365650 |   233032 |    19755     23 |      861 |      709
487.52/487.66	c  487s |      17 |   366605 |   233832 |    19755     23 |      861 |      709
489.62/489.78	c  489s |      17 |   367717 |   234732 |    19755     23 |      861 |      709
491.92/492.06	c  491s |      17 |   368654 |   235532 |    19755     23 |      861 |      709
494.12/494.29	c  494s |      17 |   369567 |   236332 |    19755     23 |      861 |      709
496.42/496.56	c  496s |      17 |   370483 |   237132 |    19755     23 |      861 |      709
498.72/498.82	c  498s |      17 |   371292 |   237832 |    19755     23 |      861 |      709
500.92/501.06	c  500s |      17 |   372082 |   238532 |    19755     23 |      861 |      709
503.02/503.10	c  502s |      17 |   372778 |   239132 |    19755     24 |      861 |      709
505.22/505.32	c  505s |      17 |   373822 |   240032 |    19755     24 |      861 |      709
507.32/507.43	c  507s |      17 |   374776 |   240832 |    19755     24 |      861 |      709
509.33/509.49	c  509s |      17 |   375845 |   241732 |    19755     24 |      861 |      709
511.43/511.57	c  511s |      17 |   376942 |   242632 |    19755     24 |      861 |      709
513.51/513.62	c  513s |      17 |   377878 |   243432 |    19755     24 |      861 |      709
515.71/515.81	c  515s |      17 |   378808 |   244232 |    19755     24 |      861 |      709
517.91/518.03	c  517s |      17 |   379788 |   245032 |    19755     24 |      861 |      709
520.01/520.14	c  519s |      17 |   380570 |   245732 |    19755     24 |      861 |      709
522.11/522.26	c  522s |      17 |   381381 |   246432 |    19755     24 |      861 |      709
524.41/524.55	c  524s |      17 |   382185 |   247132 |    19755     24 |      861 |      709
526.71/526.82	c  526s |      17 |   382972 |   247832 |    19755     24 |      861 |      709
528.81/528.94	c  528s |      17 |   383958 |   248632 |    19755     24 |      861 |      709
531.11/531.23	c  530s |      17 |   384900 |   249432 |    19755     24 |      861 |      709
533.42/533.51	c  533s |      17 |   385688 |   250132 |    19755     24 |      861 |      709
535.41/535.52	c  535s |      17 |   386383 |   250732 |    19755     25 |      861 |      709
537.61/537.77	c  537s |      17 |   387426 |   251632 |    19755     25 |      861 |      709
539.81/539.99	c  539s |      17 |   388444 |   252532 |    19755     25 |      861 |      709
542.11/542.22	c  541s |      17 |   389367 |   253332 |    19755     25 |      861 |      709
544.11/544.23	c  543s |      17 |   390140 |   254032 |    19755     25 |      861 |      709
546.11/546.24	c  546s |      17 |   390980 |   254732 |    19755     25 |      861 |      709
548.41/548.52	c  548s |      17 |   391777 |   255432 |    19755     25 |      861 |      709
550.61/550.78	c  550s |      17 |   392713 |   256232 |    19755     25 |      861 |      709
552.81/552.92	c  552s |      17 |   393547 |   256932 |    19755     25 |      861 |      709
554.81/554.94	c  554s |      17 |   394347 |   257632 |    19755     25 |      861 |      709
556.91/557.05	c  556s |      17 |   395178 |   258332 |    19755     25 |      861 |      709
559.01/559.13	c  558s |      17 |   395976 |   259032 |    19755     25 |      861 |      709
561.10/561.27	c  561s |      17 |   396914 |   259832 |    19755     25 |      861 |      709
563.21/563.36	c  563s |      17 |   397802 |   260632 |    19755     25 |      861 |      709
565.41/565.53	c  565s |      17 |   398599 |   261332 |    19755     25 |      861 |      709
567.51/567.62	c  567s |      17 |   399254 |   261932 |    19755     26 |      861 |      709
569.50/569.64	c  569s |      17 |   400169 |   262732 |    19755     26 |      861 |      709
571.60/571.72	c  571s |      17 |   400964 |   263432 |    19755     26 |      861 |      709
573.70/573.82	c  573s |      17 |   401876 |   264232 |    19755     26 |      861 |      709
575.90/576.01	c  575s |      17 |   402753 |   265032 |    19755     26 |      861 |      709
577.90/578.07	c  577s |      17 |   403561 |   265732 |    19755     26 |      861 |      709
580.10/580.26	c  580s |      17 |   404316 |   266432 |    19755     26 |      861 |      709
582.20/582.32	c  582s |      17 |   405113 |   267132 |    19755     26 |      861 |      709
584.20/584.32	c  584s |      17 |   405770 |   267732 |    19755     26 |      861 |      709
586.21/586.39	c  586s |      17 |   406549 |   268432 |    19755     26 |      861 |      709
588.41/588.58	c  588s |      17 |   407335 |   269132 |    19755     26 |      861 |      709
590.50/590.66	c  590s |      17 |   408135 |   269832 |    19755     26 |      861 |      709
592.60/592.74	c  592s |      17 |   408999 |   270532 |    19755     26 |      861 |      709
594.80/594.95	c  594s |      17 |   409803 |   271232 |    19755     26 |      861 |      709
596.80/596.97	c  596s |      17 |   410504 |   271832 |    19755     26 |      861 |      709
599.10/599.23	c  599s |      17 |   411299 |   272532 |    19755     26 |      861 |      709
601.40/601.52	c  601s |      17 |   411950 |   273132 |    19755     26 |      861 |      709
603.40/603.57	c  603s |      17 |   412638 |   273732 |    19755     27 |      861 |      709
605.50/605.67	c  605s |      17 |   413531 |   274532 |    19755     27 |      861 |      709
607.60/607.76	c  607s |      17 |   414315 |   275232 |    19755     27 |      861 |      709
609.90/610.01	c  609s |      17 |   415218 |   276032 |    19755     27 |      861 |      709
611.90/612.03	c  611s |      17 |   416033 |   276732 |    19755     27 |      861 |      709
614.10/614.28	c  614s |      17 |   416981 |   277532 |    19755     27 |      861 |      709
616.20/616.30	c  616s |      17 |   417628 |   278132 |    19755     27 |      861 |      709
618.40/618.57	c  618s |      17 |   418432 |   278832 |    19755     27 |      861 |      709
620.59/620.79	c  620s |      17 |   419309 |   279532 |    19755     27 |      861 |      709
622.89/623.07	c  622s |      17 |   420109 |   280232 |    19755     27 |      861 |      709
624.89/625.08	c  624s |      17 |   420806 |   280832 |    19755     27 |      861 |      709
627.09/627.24	c  627s |      17 |   421638 |   281532 |    19755     27 |      861 |      709
629.10/629.29	c  629s |      17 |   422331 |   282132 |    19755     27 |      861 |      709
631.49/631.60	c  631s |      17 |   423173 |   282832 |    19755     27 |      861 |      709
633.50/633.62	c  633s |      17 |   423735 |   283332 |    19755     27 |      861 |      709
635.70/635.90	c  635s |      17 |   424526 |   284032 |    19755     27 |      861 |      709
638.09/638.24	c  638s |      17 |   425354 |   284632 |    19755     28 |      861 |      709
640.20/640.34	c  640s |      17 |   426442 |   285532 |    19755     28 |      861 |      709
642.40/642.59	c  642s |      17 |   427552 |   286432 |    19755     28 |      861 |      709
644.39/644.60	c  644s |      17 |   428491 |   287232 |    19755     28 |      861 |      709
646.70/646.84	c  646s |      17 |   429366 |   288032 |    19755     28 |      861 |      709
649.00/649.12	c  648s |      17 |   430287 |   288832 |    19755     28 |      861 |      709
650.99/651.17	c  650s |      17 |   431222 |   289632 |    19755     28 |      861 |      709
653.09/653.21	c  652s |      17 |   431882 |   290232 |    19755     28 |      861 |      709
655.19/655.32	c  655s |      17 |   432544 |   290832 |    19755     28 |      861 |      709
657.39/657.54	c  657s |      17 |   433373 |   291532 |    19755     28 |      861 |      709
659.49/659.68	c  659s |      17 |   434240 |   292232 |    19755     28 |      861 |      709
661.59/661.78	c  661s |      17 |   434929 |   292832 |    19755     28 |      861 |      709
663.89/664.04	c  663s |      17 |   435747 |   293532 |    19755     28 |      861 |      709
665.89/666.06	c  665s |      17 |   436434 |   294132 |    19755     28 |      861 |      709
668.19/668.32	c  668s |      17 |   437124 |   294732 |    21731     28 |      861 |      709
670.49/670.64	c  670s |      17 |   437803 |   295332 |    21731     28 |      861 |      709
672.59/672.73	c  672s |      17 |   438373 |   295832 |    21731     28 |      861 |      709
674.20/674.34	c  674s |      18 |   438863 |   296252 |    21731     28 |      861 |      709
676.29/676.44	c  676s |      18 |   442622 |   297752 |    21731     29 |      861 |      709
678.28/678.47	c  678s |      18 |   445170 |   299552 |    21731     29 |      861 |      709
680.38/680.57	c  680s |      18 |   447256 |   301152 |    21731     29 |      861 |      709
682.38/682.58	c  682s |      18 |   448994 |   302552 |    21731     29 |      861 |      709
684.48/684.61	c  684s |      18 |   450376 |   303752 |    21731     29 |      861 |      709
686.48/686.67	c  686s |      18 |   451891 |   304952 |    21731     29 |      861 |      709
688.68/688.85	c  688s |      18 |   453163 |   306052 |    21731     29 |      861 |      709
690.79/690.99	c  690s |      18 |   454801 |   307352 |    21731     29 |      861 |      709
692.89/693.03	c  692s |      18 |   456059 |   308352 |    21731     29 |      861 |      709
694.88/695.07	c  694s |      18 |   457329 |   309352 |    21731     29 |      861 |      709
696.98/697.11	c  696s |      18 |   458154 |   310052 |    21731     30 |      861 |      709
698.98/699.15	c  698s |      18 |   459114 |   310852 |    21731     30 |      861 |      709
701.18/701.32	c  701s |      18 |   460040 |   311652 |    21731     30 |      861 |      709
703.38/703.53	c  703s |      18 |   460967 |   312452 |    21731     30 |      861 |      709
705.48/705.61	c  705s |      18 |   461949 |   313252 |    21731     30 |      861 |      709
707.58/707.76	c  707s |      18 |   463268 |   314152 |    21731     30 |      861 |      709
709.78/709.90	c  709s |      18 |   464550 |   315152 |    21731     30 |      861 |      709
711.88/712.04	c  711s |      18 |   465964 |   316252 |    21731     30 |      861 |      709
714.18/714.34	c  714s |      18 |   467023 |   317152 |    21731     30 |      861 |      709
716.28/716.46	c  716s |      18 |   468199 |   318052 |    21731     30 |      861 |      709
718.38/718.56	c  718s |      18 |   469026 |   318752 |    21731     30 |      861 |      709
720.49/720.69	c  720s |      18 |   469820 |   319452 |    21731     30 |      861 |      709
722.68/722.86	c  722s |      18 |   470493 |   320052 |    21731     30 |      861 |      709
724.88/725.04	c  724s |      18 |   471302 |   320752 |    21731     30 |      861 |      709
726.98/727.12	c  726s |      18 |   471958 |   321352 |    21731     30 |      861 |      709
729.57/729.74	c  729s |      18 |   472755 |   322052 |    21731     31 |      861 |      709
731.67/731.84	c  731s |      18 |   473548 |   322752 |    21731     31 |      861 |      709
733.87/734.02	c  733s |      18 |   474853 |   323752 |    21731     31 |      861 |      709
736.07/736.22	c  735s |      18 |   475973 |   324652 |    21731     31 |      861 |      709
738.17/738.39	c  738s |      18 |   477152 |   325552 |    21731     31 |      861 |      709
740.37/740.53	c  740s |      18 |   478271 |   326452 |    21731     31 |      861 |      709
742.47/742.64	c  742s |      18 |   479239 |   327252 |    21731     31 |      861 |      709
744.67/744.84	c  744s |      18 |   480219 |   328052 |    21731     31 |      861 |      709
746.77/746.96	c  746s |      18 |   481057 |   328752 |    21731     31 |      861 |      709
748.86/749.01	c  748s |      18 |   481878 |   329452 |    21731     31 |      861 |      709
750.86/751.09	c  750s |      18 |   482705 |   330152 |    21731     31 |      861 |      709
753.26/753.46	c  753s |      18 |   483521 |   330852 |    21731     31 |      861 |      709
755.36/755.50	c  755s |      18 |   484251 |   331452 |    21731     31 |      861 |      709
757.45/757.61	c  757s |      18 |   484933 |   332052 |    21731     31 |      861 |      709
759.75/759.94	c  759s |      18 |   485738 |   332752 |    21731     31 |      861 |      709
761.85/762.05	c  761s |      18 |   486414 |   333352 |    21731     31 |      861 |      709
763.85/764.07	c  763s |      18 |   486968 |   333852 |    21731     31 |      861 |      709
766.05/766.22	c  765s |      18 |   487535 |   334352 |    21731     32 |      861 |      709
768.25/768.41	c  768s |      18 |   488318 |   335052 |    21731     32 |      861 |      709
770.25/770.46	c  770s |      18 |   489097 |   335752 |    21731     32 |      861 |      709
772.34/772.52	c  772s |      18 |   489889 |   336452 |    21731     32 |      861 |      709
774.65/774.82	c  774s |      18 |   490690 |   337152 |    21731     32 |      861 |      709
776.65/776.84	c  776s |      18 |   491505 |   337852 |    21731     32 |      861 |      709
778.85/779.02	c  778s |      18 |   492310 |   338552 |    21731     32 |      861 |      709
780.96/781.15	c  780s |      18 |   493149 |   339252 |    21731     32 |      861 |      709
782.95/783.16	c  782s |      18 |   493828 |   339852 |    21731     32 |      861 |      709
785.04/785.20	c  784s |      18 |   494466 |   340452 |    21731     32 |      861 |      709
787.14/787.37	c  787s |      18 |   495115 |   341052 |    21731     32 |      861 |      709
789.34/789.55	c  789s |      18 |   495804 |   341652 |    21731     32 |      861 |      709
791.54/791.75	c  791s |      18 |   496473 |   342252 |    21731     32 |      861 |      709
793.84/794.00	c  793s |      18 |   497155 |   342852 |    21731     32 |      861 |      709
796.14/796.30	c  796s |      18 |   497823 |   343452 |    21731     32 |      861 |      709
798.24/798.40	c  798s |      18 |   498503 |   344052 |    21731     32 |      861 |      709
800.44/800.68	c  800s |      18 |   499361 |   344752 |    21731     32 |      861 |      709
802.63/802.89	c  802s |      18 |   500034 |   345352 |    21731     32 |      861 |      709
804.73/804.98	c  804s |      18 |   500741 |   345952 |    21731     32 |      861 |      709
807.43/807.61	c  807s |      18 |   501443 |   346552 |    21731     33 |      861 |      709
809.54/809.73	c  809s |      18 |   502329 |   347352 |    21731     33 |      861 |      709
811.83/812.01	c  811s |      18 |   503219 |   348152 |    21731     33 |      861 |      709
813.84/814.07	c  813s |      18 |   504022 |   348852 |    21731     33 |      861 |      709
816.04/816.24	c  816s |      18 |   504799 |   349552 |    21731     33 |      861 |      709
818.13/818.36	c  818s |      18 |   505583 |   350252 |    21731     33 |      861 |      709
820.33/820.52	c  820s |      18 |   506289 |   350852 |    21731     33 |      861 |      709
822.63/822.84	c  822s |      18 |   507089 |   351552 |    21731     33 |      861 |      709
824.62/824.85	c  824s |      18 |   507762 |   352152 |    21731     33 |      861 |      709
826.92/827.10	c  826s |      18 |   508551 |   352852 |    21731     33 |      861 |      709
829.12/829.39	c  829s |      18 |   509318 |   353552 |    21731     33 |      861 |      709
831.31/831.59	c  831s |      18 |   510104 |   354252 |    21731     33 |      861 |      709
833.41/833.64	c  833s |      18 |   510672 |   354752 |    21731     33 |      861 |      709
835.71/835.98	c  835s |      18 |   511462 |   355452 |    21731     33 |      861 |      709
838.21/838.40	c  838s |      18 |   512112 |   356052 |    21731     33 |      861 |      709
840.51/840.71	c  840s |      18 |   512765 |   356652 |    21731     33 |      861 |      709
842.61/842.89	c  842s |      18 |   513317 |   357152 |    21731     33 |      861 |      709
844.81/845.04	c  844s |      18 |   513897 |   357652 |    21731     33 |      861 |      709
846.82/847.05	c  846s |      18 |   514451 |   358152 |    21731     33 |      861 |      709
849.12/849.33	c  849s |      18 |   515026 |   358652 |    21731     33 |      861 |      709
851.21/851.45	c  851s |      18 |   515610 |   359152 |    21731     34 |      861 |      709
853.30/853.52	c  853s |      18 |   516423 |   359852 |    21731     34 |      861 |      709
855.40/855.68	c  855s |      18 |   517192 |   360552 |    21731     34 |      861 |      709
857.70/857.90	c  857s |      18 |   517959 |   361252 |    21731     34 |      861 |      709
859.70/859.98	c  859s |      18 |   518612 |   361852 |    21731     34 |      861 |      709
862.00/862.27	c  862s |      18 |   519376 |   362552 |    21731     34 |      861 |      709
864.41/864.63	c  864s |      18 |   520181 |   363252 |    21731     34 |      861 |      709
866.61/866.86	c  866s |      18 |   520987 |   363952 |    21731     34 |      861 |      709
868.60/868.86	c  868s |      18 |   521672 |   364552 |    21731     34 |      861 |      709
870.69/870.93	c  870s |      18 |   522358 |   365152 |    21731     34 |      861 |      709
872.69/872.98	c  872s |      18 |   523011 |   365752 |    21731     34 |      861 |      709
874.89/875.10	c  874s |      18 |   523688 |   366352 |    21731     34 |      861 |      709
877.19/877.42	c  877s |      18 |   524499 |   367052 |    21731     34 |      861 |      709
879.49/879.72	c  879s |      18 |   525147 |   367652 |    21731     34 |      861 |      709
881.88/882.16	c  881s |      18 |   525806 |   368252 |    21731     34 |      861 |      709
883.88/884.16	c  883s |      18 |   526360 |   368752 |    21731     34 |      861 |      709
886.18/886.46	c  886s |      18 |   527042 |   369352 |    21731     34 |      861 |      709
888.48/888.77	c  888s |      18 |   527705 |   369952 |    21731     34 |      861 |      709
890.89/891.14	c  890s |      18 |   528361 |   370552 |    21731     34 |      861 |      709
893.68/893.95	c  893s |      18 |   529016 |   371152 |    21731     35 |      861 |      709
895.88/896.15	c  895s |      18 |   529901 |   371952 |    21731     35 |      861 |      709
897.98/898.21	c  897s |      18 |   530688 |   372652 |    21731     35 |      861 |      709
900.18/900.41	c  900s |      18 |   531458 |   373352 |    21731     35 |      861 |      709
902.48/902.77	c  902s |      18 |   532234 |   374052 |    21731     35 |      861 |      709
904.58/904.88	c  904s |      18 |   532892 |   374652 |    21731     35 |      861 |      709
906.58/906.88	c  906s |      18 |   533444 |   375152 |    21731     35 |      861 |      709
908.97/909.27	c  909s |      18 |   534096 |   375752 |    21731     35 |      861 |      709
911.47/911.79	c  911s |      18 |   534725 |   376352 |    21731     35 |      861 |      709
913.67/913.93	c  913s |      18 |   535392 |   376952 |    21731     35 |      861 |      709
915.77/916.03	c  915s |      18 |   536038 |   377552 |    21731     35 |      861 |      709
918.17/918.42	c  918s |      18 |   536701 |   378152 |    21731     35 |      861 |      709
920.37/920.61	c  920s |      18 |   537252 |   378652 |    21731     35 |      861 |      709
922.46/922.77	c  922s |      18 |   537784 |   379152 |    21731     35 |      861 |      709
924.56/924.88	c  924s |      18 |   538438 |   379752 |    21731     35 |      861 |      709
926.76/927.08	c  926s |      18 |   539101 |   380352 |    21731     35 |      861 |      709
929.06/929.36	c  929s |      18 |   539769 |   380952 |    21731     35 |      861 |      709
931.36/931.69	c  931s |      18 |   540437 |   381552 |    21731     35 |      861 |      709
933.36/933.69	c  933s |      18 |   540978 |   382052 |    21731     35 |      861 |      709
935.76/936.08	c  935s |      18 |   541642 |   382652 |    21731     35 |      861 |      709
938.26/938.53	c  938s |      18 |   542284 |   383252 |    21731     35 |      861 |      709
940.37/940.63	c  940s |      18 |   542704 |   383652 |    21731     36 |      861 |      709
942.57/942.81	c  942s |      18 |   543476 |   384352 |    21731     36 |      861 |      709
944.56/944.89	c  944s |      18 |   544121 |   384952 |    21731     36 |      861 |      709
946.76/947.01	c  946s |      18 |   545068 |   385752 |    21731     36 |      861 |      709
948.86/949.19	c  948s |      18 |   546006 |   386552 |    21731     36 |      861 |      709
951.15/951.42	c  951s |      18 |   546904 |   387352 |    21731     36 |      861 |      709
953.26/953.57	c  953s |      18 |   547950 |   388252 |    21731     36 |      861 |      709
955.46/955.79	c  955s |      18 |   548755 |   388952 |    21731     36 |      861 |      709
957.76/958.07	c  957s |      18 |   549635 |   389752 |    21731     36 |      861 |      709
959.96/960.20	c  959s |      18 |   550423 |   390452 |    21731     36 |      861 |      709
961.95/962.24	c  962s |      18 |   551225 |   391152 |    21731     36 |      861 |      709
964.15/964.44	c  964s |      18 |   552002 |   391852 |    21731     36 |      861 |      709
966.45/966.72	c  966s |      18 |   552844 |   392552 |    21731     36 |      861 |      709
968.75/969.03	c  968s |      18 |   553613 |   393252 |    21731     36 |      861 |      709
970.75/971.06	c  970s |      18 |   554283 |   393852 |    21731     36 |      861 |      709
972.85/973.11	c  972s |      18 |   554970 |   394452 |    21731     36 |      861 |      709
974.85/975.17	c  974s |      18 |   555636 |   395052 |    21731     36 |      861 |      709
976.95/977.28	c  977s |      18 |   556182 |   395552 |    21731     36 |      861 |      709
979.35/979.65	c  979s |      18 |   556729 |   396052 |    21731     37 |      861 |      709
981.54/981.88	c  981s |      18 |   557524 |   396752 |    21731     37 |      861 |      709
983.74/984.01	c  983s |      18 |   558345 |   397452 |    21731     37 |      861 |      709
985.74/986.05	c  985s |      18 |   559295 |   398252 |    21731     37 |      861 |      709
987.84/988.19	c  987s |      18 |   560080 |   398952 |    21731     37 |      861 |      709
990.14/990.44	c  990s |      18 |   560852 |   399652 |    21731     37 |      861 |      709
992.24/992.50	c  992s |      18 |   561525 |   400252 |    21731     37 |      861 |      709
994.34/994.66	c  994s |      18 |   562192 |   400852 |    21731     37 |      861 |      709
996.64/996.95	c  996s |      18 |   562997 |   401552 |    21731     37 |      861 |      709
998.65/998.97	c  998s |      18 |   563771 |   402252 |    21731     37 |      861 |      709
1000.84/1001.12	c 1000s |      18 |   564562 |   402952 |    21731     37 |      861 |      709
1002.83/1003.17	c 1002s |      18 |   565340 |   403652 |    21731     37 |      861 |      709
1005.14/1005.42	c 1005s |      18 |   566020 |   404252 |    21731     37 |      861 |      709
1007.23/1007.50	c 1007s |      18 |   566662 |   404852 |    21731     37 |      861 |      709
1009.43/1009.77	c 1009s |      18 |   567365 |   405452 |    21731     37 |      861 |      709
1011.63/1011.93	c 1011s |      18 |   568027 |   406052 |    21731     37 |      861 |      709
1013.83/1014.10	c 1013s |      18 |   568694 |   406652 |    21731     37 |      861 |      709
1015.83/1016.19	c 1015s |      18 |   569273 |   407152 |    21731     37 |      861 |      709
1018.03/1018.33	c 1018s |      18 |   569822 |   407652 |    21731     37 |      861 |      709
1020.33/1020.61	c 1020s |      18 |   570489 |   408252 |    21731     37 |      861 |      709
1022.43/1022.80	c 1022s |      18 |   571067 |   408752 |    21731     38 |      861 |      709
1024.53/1024.81	c 1024s |      18 |   571718 |   409352 |    21731     38 |      861 |      709
1026.63/1026.91	c 1026s |      18 |   572545 |   410052 |    21731     38 |      861 |      709
1028.73/1029.03	c 1028s |      18 |   573354 |   410752 |    21731     38 |      861 |      709
1030.93/1031.28	c 1031s |      18 |   574137 |   411452 |    21731     38 |      861 |      709
1033.23/1033.51	c 1033s |      18 |   574910 |   412152 |    21731     38 |      861 |      709
1035.43/1035.79	c 1035s |      18 |   575685 |   412852 |    21731     38 |      861 |      709
1037.73/1038.04	c 1037s |      18 |   576533 |   413552 |    21731     38 |      861 |      709
1039.92/1040.26	c 1040s |      18 |   577311 |   414252 |    21731     38 |      861 |      709
1042.12/1042.49	c 1042s |      18 |   578241 |   415052 |    21731     38 |      861 |      709
1044.22/1044.58	c 1044s |      18 |   578933 |   415652 |    21731     38 |      861 |      709
1046.22/1046.59	c 1046s |      18 |   579500 |   416152 |    21731     38 |      861 |      709
1048.52/1048.81	c 1048s |      18 |   580191 |   416752 |    21731     38 |      861 |      709
1050.61/1050.92	c 1050s |      18 |   580972 |   417452 |    21731     38 |      861 |      709
1052.91/1053.28	c 1053s |      18 |   581747 |   418152 |    21731     38 |      861 |      709
1055.11/1055.47	c 1055s |      18 |   582418 |   418752 |    21731     38 |      861 |      709
1057.21/1057.54	c 1057s |      18 |   582972 |   419252 |    21731     38 |      861 |      709
1059.51/1059.80	c 1059s |      18 |   583660 |   419852 |    21731     38 |      861 |      709
1061.80/1062.11	c 1061s |      18 |   584336 |   420452 |    21731     38 |      861 |      709
1064.00/1064.32	c 1064s |      18 |   584888 |   420952 |    21731     39 |      861 |      709
1066.00/1066.33	c 1066s |      18 |   585671 |   421652 |    21731     39 |      861 |      709
1068.10/1068.42	c 1068s |      18 |   586328 |   422252 |    21731     39 |      861 |      709
1070.11/1070.42	c 1070s |      18 |   586964 |   422852 |    21731     39 |      861 |      709
1072.31/1072.67	c 1072s |      18 |   587725 |   423552 |    21731     39 |      861 |      709
1074.51/1074.84	c 1074s |      18 |   588395 |   424152 |    21731     39 |      861 |      709
1076.80/1077.10	c 1076s |      18 |   589176 |   424852 |    21731     39 |      861 |      709
1079.00/1079.32	c 1079s |      18 |   589865 |   425452 |    21731     39 |      861 |      709
1081.00/1081.33	c 1081s |      18 |   590525 |   426052 |    21731     39 |      861 |      709
1083.39/1083.71	c 1083s |      18 |   591173 |   426652 |    21731     39 |      861 |      709
1085.40/1085.80	c 1085s |      18 |   591812 |   427252 |    21731     39 |      861 |      709
1087.49/1087.87	c 1087s |      18 |   592469 |   427852 |    21731     39 |      861 |      709
1089.59/1089.97	c 1089s |      18 |   593005 |   428352 |    21731     39 |      861 |      709
1091.79/1092.16	c 1091s |      18 |   593548 |   428852 |    21731     39 |      861 |      709
1093.99/1094.35	c 1094s |      18 |   594110 |   429352 |    21731     39 |      861 |      709
1096.19/1096.56	c 1096s |      18 |   594674 |   429852 |    21731     39 |      861 |      709
1098.39/1098.75	c 1098s |      18 |   595237 |   430352 |    21731     39 |      861 |      709
1100.68/1101.11	c 1100s |      18 |   595813 |   430852 |    21731     39 |      861 |      709
1103.18/1103.58	c 1103s |      18 |   596505 |   431452 |    21731     39 |      861 |      709
1105.48/1105.88	c 1105s |      18 |   597043 |   431952 |    21731     39 |      861 |      709
1107.68/1108.07	c 1107s |      18 |   597600 |   432452 |    21731     39 |      861 |      709
1110.57/1110.90	c 1110s |      18 |   598310 |   433052 |    21731     40 |      861 |      709
1112.67/1113.08	c 1112s |      18 |   599224 |   433852 |    21731     40 |      861 |      709
1114.77/1115.19	c 1114s |      18 |   599999 |   434552 |    21731     40 |      861 |      709
1116.97/1117.36	c 1117s |      18 |   600797 |   435252 |    21731     40 |      861 |      709
1119.27/1119.64	c 1119s |      18 |   601569 |   435952 |    21731     40 |      861 |      709
1121.56/1121.92	c 1121s |      18 |   602387 |   436652 |    21731     40 |      861 |      709
1123.76/1124.11	c 1123s |      18 |   603043 |   437252 |    21731     40 |      861 |      709
1125.86/1126.29	c 1126s |      18 |   603704 |   437852 |    21731     40 |      861 |      709
1128.06/1128.44	c 1128s |      18 |   604346 |   438452 |    21731     40 |      861 |      709
1130.16/1130.51	c 1130s |      18 |   604885 |   438952 |    21731     40 |      861 |      709
1132.37/1132.73	c 1132s |      18 |   605565 |   439552 |    21731     40 |      861 |      709
1134.67/1135.00	c 1134s |      18 |   606233 |   440152 |    21731     40 |      861 |      709
1136.97/1137.33	c 1137s |      18 |   606903 |   440752 |    21731     40 |      861 |      709
1139.17/1139.51	c 1139s |      18 |   607434 |   441252 |    21731     40 |      861 |      709
1141.36/1141.73	c 1141s |      18 |   607963 |   441752 |    23905     40 |      861 |      709
1143.77/1144.11	c 1143s |      18 |   608617 |   442352 |    23905     40 |      861 |      709
1146.06/1146.47	c 1146s |      18 |   609266 |   442952 |    23905     40 |      861 |      709
1148.17/1148.54	c 1148s |      18 |   609830 |   443452 |    23905     40 |      861 |      709
1150.16/1150.56	c 1150s |      18 |   610383 |   443952 |    23905     40 |      861 |      709
1152.25/1152.67	c 1152s |      19 |   610963 |   444482 |    23905     40 |      861 |      709
1154.35/1154.73	c 1154s |      19 |   615651 |   445982 |    23905     40 |      861 |      709
1156.55/1156.98	c 1156s |      19 |   618052 |   447482 |    23905     41 |      861 |      709
1158.75/1159.10	c 1158s |      19 |   619583 |   448782 |    23905     41 |      861 |      709
1160.85/1161.20	c 1160s |      19 |   620995 |   449982 |    23905     41 |      861 |      709
1162.95/1163.30	c 1163s |      19 |   622282 |   451082 |    23905     41 |      861 |      709
1164.95/1165.30	c 1165s |      19 |   624050 |   452282 |    23905     41 |      861 |      709
1167.05/1167.41	c 1167s |      19 |   626504 |   453782 |    23905     41 |      861 |      709
1169.15/1169.54	c 1169s |      19 |   627944 |   454982 |    23905     41 |      861 |      709
1171.25/1171.64	c 1171s |      19 |   629179 |   456082 |    23905     41 |      861 |      709
1173.24/1173.69	c 1173s |      19 |   630155 |   456982 |    23905     41 |      861 |      709
1175.34/1175.73	c 1175s |      19 |   631190 |   457882 |    23905     41 |      861 |      709
1177.44/1177.88	c 1177s |      19 |   632323 |   458882 |    23905     41 |      861 |      709
1179.74/1180.11	c 1179s |      19 |   633289 |   459782 |    23905     41 |      861 |      709
1181.83/1182.29	c 1182s |      19 |   634170 |   460582 |    23905     41 |      861 |      709
1183.93/1184.37	c 1184s |      19 |   634810 |   461182 |    23905     42 |      861 |      709
1186.03/1186.43	c 1186s |      19 |   635693 |   461982 |    23905     42 |      861 |      709
1188.03/1188.44	c 1188s |      19 |   636497 |   462682 |    23905     42 |      861 |      709
1190.33/1190.70	c 1190s |      19 |   637374 |   463482 |    23905     42 |      861 |      709
1192.32/1192.78	c 1192s |      19 |   638134 |   464182 |    23905     42 |      861 |      709
1194.52/1194.94	c 1194s |      19 |   638906 |   464882 |    23905     42 |      861 |      709
1196.72/1197.19	c 1196s |      19 |   639782 |   465682 |    23905     42 |      861 |      709
1198.92/1199.34	c 1199s |      19 |   640550 |   466382 |    23905     42 |      861 |      709
1201.02/1201.40	c 1201s |      19 |   642488 |   467282 |    23905     42 |      861 |      709
1203.13/1203.52	c 1203s |      19 |   644768 |   468582 |    23905     42 |      861 |      709
1205.23/1205.66	c 1205s |      19 |   646390 |   469682 |    23905     42 |      861 |      709
1207.32/1207.75	c 1207s |      19 |   647703 |   470682 |    23905     42 |      861 |      709
1209.63/1210.02	c 1209s |      19 |   648918 |   471682 |    23905     42 |      861 |      709
1211.82/1212.29	c 1212s |      19 |   650111 |   472582 |    23905     42 |      861 |      709
1214.12/1214.51	c 1214s |      19 |   651067 |   473382 |    23905     42 |      861 |      709
1216.22/1216.70	c 1216s |      19 |   651994 |   474182 |    23905     42 |      861 |      709
1218.31/1218.79	c 1218s |      19 |   652791 |   474882 |    23905     43 |      861 |      709
1220.61/1221.07	c 1220s |      19 |   653787 |   475782 |    23905     43 |      861 |      709
1222.81/1223.25	c 1223s |      19 |   654664 |   476582 |    23905     43 |      861 |      709
1225.01/1225.49	c 1225s |      19 |   655560 |   477382 |    23905     43 |      861 |      709
1227.10/1227.55	c 1227s |      19 |   656525 |   478182 |    23905     43 |      861 |      709
1229.20/1229.68	c 1229s |      19 |   657482 |   478982 |    23905     43 |      861 |      709
1231.39/1231.83	c 1231s |      19 |   658239 |   479682 |    23905     43 |      861 |      709
1233.69/1234.12	c 1233s |      19 |   659189 |   480482 |    23905     43 |      861 |      709
1236.00/1236.41	c 1236s |      19 |   660082 |   481282 |    23905     43 |      861 |      709
1238.09/1238.57	c 1238s |      19 |   660889 |   481982 |    23905     43 |      861 |      709
1240.40/1240.82	c 1240s |      19 |   661658 |   482682 |    23905     43 |      861 |      709
1242.38/1242.87	c 1242s |      19 |   662352 |   483282 |    23905     43 |      861 |      709
1244.58/1245.03	c 1244s |      19 |   663102 |   483882 |    23905     43 |      861 |      709
1246.88/1247.33	c 1247s |      19 |   663877 |   484582 |    23905     43 |      861 |      709
1249.08/1249.52	c 1249s |      19 |   664525 |   485182 |    23905     43 |      861 |      709
1251.48/1251.94	c 1251s |      19 |   665302 |   485882 |    23905     43 |      861 |      709
1253.58/1254.09	c 1253s |      19 |   666003 |   486482 |    23905     43 |      861 |      709
1255.78/1256.21	c 1255s |      19 |   667074 |   487282 |    23905     43 |      861 |      709
1258.08/1258.55	c 1258s |      19 |   667778 |   487882 |    23905     44 |      861 |      709
1260.18/1260.62	c 1260s |      19 |   668888 |   488782 |    23905     44 |      861 |      709
1262.38/1262.86	c 1262s |      19 |   670253 |   489682 |    23905     44 |      861 |      709
1264.47/1264.94	c 1264s |      19 |   672013 |   490882 |    23905     44 |      861 |      709
1266.57/1267.09	c 1266s |      19 |   673366 |   491982 |    23905     44 |      861 |      709
1268.67/1269.18	c 1268s |      19 |   674612 |   492982 |    23905     44 |      861 |      709
1270.86/1271.38	c 1271s |      19 |   675828 |   493982 |    23905     44 |      861 |      709
1272.96/1273.47	c 1273s |      19 |   676915 |   494882 |    23905     44 |      861 |      709
1275.16/1275.63	c 1275s |      19 |   677888 |   495682 |    23905     44 |      861 |      709
1277.25/1277.76	c 1277s |      19 |   678827 |   496482 |    23905     44 |      861 |      709
1279.35/1279.88	c 1279s |      19 |   679743 |   497282 |    23905     44 |      861 |      709
1281.55/1282.06	c 1281s |      19 |   680668 |   498082 |    23905     44 |      861 |      709
1283.85/1284.33	c 1284s |      19 |   681613 |   498882 |    23905     44 |      861 |      709
1286.05/1286.52	c 1286s |      19 |   682412 |   499582 |    23905     44 |      861 |      709
1288.16/1288.65	c 1288s |      19 |   683207 |   500282 |    23905     44 |      861 |      709
1290.46/1290.92	c 1290s |      19 |   684057 |   500982 |    23905     44 |      861 |      709
1292.55/1293.00	c 1292s |      19 |   684628 |   501482 |    23905     45 |      861 |      709
1294.55/1295.01	c 1294s |      19 |   685571 |   502282 |    23905     45 |      861 |      709
1296.65/1297.11	c 1296s |      19 |   686546 |   503082 |    23905     45 |      861 |      709
1298.76/1299.28	c 1299s |      19 |   687603 |   503982 |    23905     45 |      861 |      709
1301.05/1301.52	c 1301s |      19 |   688547 |   504782 |    23905     45 |      861 |      709
1303.15/1303.62	c 1303s |      19 |   689474 |   505582 |    23905     45 |      861 |      709
1305.35/1305.82	c 1305s |      19 |   690261 |   506282 |    23905     45 |      861 |      709
1307.45/1307.97	c 1307s |      19 |   691047 |   506982 |    23905     45 |      861 |      709
1309.54/1310.08	c 1309s |      19 |   691842 |   507682 |    23905     45 |      861 |      709
1311.95/1312.42	c 1312s |      19 |   692638 |   508382 |    23905     45 |      861 |      709
1314.05/1314.55	c 1314s |      19 |   693310 |   508982 |    23905     45 |      861 |      709
1316.44/1316.92	c 1316s |      19 |   694089 |   509682 |    23905     45 |      861 |      709
1318.64/1319.18	c 1318s |      19 |   694899 |   510382 |    23905     45 |      861 |      709
1321.03/1321.54	c 1321s |      19 |   695577 |   510982 |    23905     45 |      861 |      709
1323.13/1323.64	c 1323s |      19 |   696240 |   511582 |    23905     45 |      861 |      709
1325.14/1325.67	c 1325s |      19 |   696912 |   512182 |    23905     45 |      861 |      709
1327.24/1327.73	c 1327s |      19 |   697568 |   512782 |    23905     45 |      861 |      709
1329.54/1330.07	c 1329s |      19 |   698228 |   513382 |    23905     45 |      861 |      709
1331.63/1332.20	c 1331s |      19 |   699025 |   514082 |    23905     45 |      861 |      709
1334.12/1334.67	c 1334s |      19 |   699680 |   514682 |    23905     46 |      861 |      709
1336.22/1336.79	c 1336s |      19 |   700570 |   515482 |    23905     46 |      861 |      709
1338.33/1338.84	c 1338s |      19 |   701508 |   516282 |    23905     46 |      861 |      709
1340.72/1341.20	c 1340s |      19 |   702399 |   517082 |    23905     46 |      861 |      709
1342.92/1343.48	c 1343s |      19 |   703173 |   517782 |    23905     46 |      861 |      709
1345.22/1345.71	c 1345s |      19 |   703940 |   518482 |    23905     46 |      861 |      709
1347.32/1347.81	c 1347s |      19 |   704598 |   519082 |    23905     46 |      861 |      709
1349.42/1349.94	c 1349s |      19 |   705419 |   519782 |    23905     46 |      861 |      709
1351.71/1352.20	c 1351s |      19 |   706321 |   520582 |    23905     46 |      861 |      709
1353.72/1354.23	c 1353s |      19 |   707003 |   521182 |    23905     46 |      861 |      709
1355.92/1356.44	c 1356s |      19 |   707770 |   521882 |    23905     46 |      861 |      709
1357.91/1358.49	c 1358s |      19 |   708427 |   522482 |    23905     46 |      861 |      709
1360.01/1360.54	c 1360s |      19 |   709085 |   523082 |    23905     46 |      861 |      709
1362.10/1362.68	c 1362s |      19 |   709754 |   523682 |    23905     46 |      861 |      709
1364.30/1364.88	c 1364s |      19 |   710401 |   524282 |    23905     46 |      861 |      709
1366.70/1367.24	c 1367s |      19 |   711074 |   524882 |    23905     46 |      861 |      709
1368.90/1369.50	c 1369s |      19 |   711776 |   525482 |    23905     46 |      861 |      709
1371.31/1371.87	c 1371s |      19 |   712449 |   526082 |    23905     46 |      861 |      709
1373.30/1373.87	c 1373s |      19 |   713027 |   526582 |    23905     46 |      861 |      709
1375.70/1376.25	c 1376s |      19 |   713676 |   527182 |    23905     46 |      861 |      709
1377.99/1378.51	c 1378s |      19 |   714351 |   527782 |    23905     46 |      861 |      709
1380.00/1380.57	c 1380s |      19 |   714926 |   528282 |    23905     47 |      861 |      709
1382.20/1382.71	c 1382s |      19 |   715917 |   529182 |    23905     47 |      861 |      709
1384.29/1384.81	c 1384s |      19 |   716816 |   529982 |    23905     47 |      861 |      709
1386.29/1386.84	c 1386s |      19 |   717576 |   530682 |    23905     47 |      861 |      709
1388.59/1389.12	c 1388s |      19 |   718481 |   531482 |    23905     47 |      861 |      709
1390.79/1391.33	c 1391s |      19 |   719378 |   532282 |    23905     47 |      861 |      709
1392.99/1393.54	c 1393s |      19 |   720174 |   532982 |    23905     47 |      861 |      709
1395.09/1395.64	c 1395s |      19 |   720946 |   533682 |    23905     47 |      861 |      709
1397.19/1397.74	c 1397s |      19 |   721729 |   534382 |    23905     47 |      861 |      709
1399.29/1399.83	c 1399s |      19 |   722383 |   534982 |    23905     47 |      861 |      709
1401.39/1401.98	c 1401s |      19 |   723134 |   535682 |    23905     47 |      861 |      709
1403.49/1404.10	c 1403s |      19 |   723909 |   536382 |    23905     47 |      861 |      709
1405.59/1406.17	c 1405s |      19 |   724677 |   537082 |    23905     47 |      861 |      709
1407.89/1408.40	c 1408s |      19 |   725422 |   537782 |    23905     47 |      861 |      709
1409.99/1410.57	c 1410s |      19 |   726251 |   538482 |    23905     47 |      861 |      709
1412.19/1412.72	c 1412s |      19 |   726929 |   539082 |    23905     47 |      861 |      709
1414.39/1414.93	c 1414s |      19 |   727708 |   539782 |    23905     47 |      861 |      709
1416.59/1417.12	c 1416s |      19 |   728362 |   540382 |    23905     47 |      861 |      709
1418.69/1419.25	c 1419s |      19 |   729009 |   540982 |    23905     47 |      861 |      709
1420.89/1421.49	c 1421s |      19 |   729561 |   541482 |    23905     48 |      861 |      709
1422.99/1423.59	c 1423s |      19 |   730326 |   542182 |    23905     48 |      861 |      709
1425.09/1425.63	c 1425s |      19 |   731068 |   542882 |    23905     48 |      861 |      709
1427.18/1427.73	c 1427s |      19 |   731880 |   543582 |    23905     48 |      861 |      709
1429.38/1429.94	c 1429s |      19 |   732546 |   544182 |    23905     48 |      861 |      709
1431.48/1432.09	c 1431s |      19 |   733184 |   544782 |    23905     48 |      861 |      709
1433.58/1434.18	c 1433s |      19 |   733951 |   545482 |    23905     48 |      861 |      709
1435.78/1436.34	c 1436s |      19 |   734600 |   546082 |    23905     48 |      861 |      709
1437.88/1438.46	c 1438s |      19 |   735251 |   546682 |    23905     48 |      861 |      709
1439.88/1440.46	c 1440s |      19 |   735896 |   547282 |    23905     48 |      861 |      709
1442.08/1442.61	c 1442s |      19 |   736540 |   547882 |    23905     48 |      861 |      709
1444.08/1444.62	c 1444s |      19 |   737201 |   548482 |    23905     48 |      861 |      709
1446.38/1446.96	c 1446s |      19 |   737965 |   549182 |    23905     48 |      861 |      709
1448.58/1449.11	c 1448s |      19 |   738654 |   549782 |    23905     48 |      861 |      709
1450.58/1451.14	c 1450s |      19 |   739329 |   550382 |    23905     48 |      861 |      709
1452.88/1453.47	c 1453s |      19 |   740096 |   551082 |    23905     48 |      861 |      709
1454.98/1455.59	c 1455s |      19 |   740784 |   551682 |    23905     48 |      861 |      709
1457.09/1457.66	c 1457s |      19 |   741446 |   552282 |    23905     48 |      861 |      709
1459.38/1459.97	c 1459s |      19 |   742087 |   552882 |    23905     48 |      861 |      709
1461.49/1462.02	c 1461s |      19 |   742741 |   553482 |    23905     48 |      861 |      709
1463.88/1464.43	c 1464s |      19 |   743411 |   554082 |    23905     48 |      861 |      709
1465.89/1466.46	c 1466s |      19 |   743968 |   554582 |    23905     48 |      861 |      709
1468.18/1468.73	c 1468s |      19 |   744652 |   555182 |    23905     49 |      861 |      709
1470.19/1470.76	c 1470s |      19 |   745410 |   555882 |    23905     49 |      861 |      709
1472.39/1472.94	c 1472s |      19 |   746343 |   556682 |    23905     49 |      861 |      709
1474.38/1474.94	c 1474s |      19 |   747130 |   557382 |    23905     49 |      861 |      709
1476.68/1477.21	c 1476s |      19 |   747996 |   558182 |    23905     49 |      861 |      709
1478.78/1479.36	c 1479s |      19 |   748802 |   558882 |    23905     49 |      861 |      709
1481.08/1481.62	c 1481s |      19 |   749665 |   559682 |    23905     49 |      861 |      709
1483.18/1483.72	c 1483s |      19 |   750460 |   560382 |    23905     49 |      861 |      709
1485.18/1485.75	c 1485s |      19 |   751158 |   560982 |    23905     49 |      861 |      709
1487.47/1488.05	c 1487s |      19 |   751969 |   561682 |    23905     49 |      861 |      709
1489.47/1490.08	c 1489s |      19 |   752648 |   562282 |    23905     49 |      861 |      709
1491.67/1492.29	c 1492s |      19 |   753303 |   562882 |    23905     49 |      861 |      709
1493.87/1494.49	c 1494s |      19 |   753978 |   563482 |    23905     49 |      861 |      709
1496.17/1496.75	c 1496s |      19 |   754646 |   564082 |    23905     49 |      861 |      709
1498.17/1498.79	c 1498s |      19 |   755313 |   564682 |    23905     49 |      861 |      709
1500.27/1500.81	c 1500s |      19 |   755965 |   565282 |    23905     49 |      861 |      709
1502.37/1502.97	c 1502s |      19 |   756622 |   565882 |    23905     49 |      861 |      709
1504.57/1505.15	c 1504s |      19 |   757284 |   566482 |    23905     49 |      861 |      709
1506.67/1507.21	c 1506s |      19 |   758013 |   567082 |    23905     49 |      861 |      709
1508.97/1509.52	c 1509s |      19 |   758821 |   567782 |    23905     49 |      861 |      709
1511.07/1511.62	c 1511s |      19 |   759263 |   568182 |    23905     50 |      861 |      709
1513.18/1513.79	c 1513s |      19 |   760135 |   568982 |    23905     50 |      861 |      709
1515.38/1515.91	c 1515s |      19 |   761020 |   569782 |    23905     50 |      861 |      709
1517.58/1518.13	c 1517s |      19 |   761887 |   570582 |    23905     50 |      861 |      709
1519.57/1520.18	c 1519s |      19 |   762645 |   571282 |    23905     50 |      861 |      709
1521.67/1522.26	c 1522s |      19 |   763301 |   571882 |    23905     50 |      861 |      709
1523.77/1524.32	c 1524s |      19 |   763947 |   572482 |    23905     50 |      861 |      709
1525.97/1526.54	c 1526s |      19 |   764831 |   573282 |    23905     50 |      861 |      709
1528.17/1528.79	c 1528s |      19 |   765598 |   573982 |    23905     50 |      861 |      709
1530.47/1531.01	c 1530s |      19 |   766346 |   574682 |    23905     50 |      861 |      709
1532.77/1533.30	c 1533s |      19 |   767087 |   575382 |    23905     50 |      861 |      709
1534.97/1535.58	c 1535s |      19 |   767821 |   576082 |    23905     50 |      861 |      709
1537.28/1537.81	c 1537s |      19 |   768559 |   576782 |    23905     50 |      861 |      709
1539.58/1540.14	c 1539s |      19 |   769214 |   577382 |    23905     50 |      861 |      709
1541.68/1542.30	c 1542s |      19 |   769868 |   577982 |    23905     50 |      861 |      709
1543.98/1544.55	c 1544s |      19 |   770528 |   578582 |    23905     50 |      861 |      709
1545.97/1546.57	c 1546s |      19 |   771157 |   579182 |    23905     50 |      861 |      709
1548.17/1548.73	c 1548s |      19 |   771686 |   579682 |    23905     50 |      861 |      709
1550.17/1550.78	c 1550s |      19 |   772221 |   580182 |    23905     50 |      861 |      709
1552.57/1553.14	c 1552s |      19 |   772852 |   580782 |    23905     50 |      861 |      709
1554.98/1555.57	c 1555s |      19 |   773498 |   581382 |    23905     50 |      861 |      709
1557.18/1557.72	c 1557s |      19 |   774070 |   581882 |    23905     51 |      861 |      709
1559.38/1559.96	c 1559s |      19 |   774821 |   582582 |    23905     51 |      861 |      709
1561.48/1562.04	c 1561s |      19 |   775489 |   583182 |    23905     51 |      861 |      709
1563.68/1564.28	c 1564s |      19 |   776246 |   583882 |    23905     51 |      861 |      709
1565.77/1566.38	c 1566s |      19 |   777214 |   584682 |    23905     51 |      861 |      709
1567.97/1568.50	c 1568s |      19 |   778184 |   585482 |    23905     51 |      861 |      709
1569.97/1570.52	c 1570s |      19 |   778981 |   586182 |    23905     51 |      861 |      709
1572.17/1572.74	c 1572s |      19 |   779939 |   586982 |    23905     51 |      861 |      709
1574.37/1574.99	c 1574s |      19 |   780848 |   587782 |    23905     51 |      861 |      709
1576.57/1577.13	c 1576s |      19 |   781636 |   588482 |    23905     51 |      861 |      709
1578.87/1579.44	c 1579s |      19 |   782401 |   589182 |    23905     51 |      861 |      709
1581.06/1581.67	c 1581s |      19 |   783177 |   589882 |    23905     51 |      861 |      709
1583.16/1583.78	c 1583s |      19 |   783943 |   590582 |    23905     51 |      861 |      709
1585.36/1585.92	c 1585s |      19 |   784723 |   591282 |    23905     51 |      861 |      709
1587.56/1588.13	c 1587s |      19 |   785529 |   591982 |    23905     51 |      861 |      709
1589.66/1590.29	c 1590s |      19 |   786298 |   592682 |    23905     51 |      861 |      709
1591.96/1592.55	c 1592s |      19 |   787108 |   593382 |    23905     51 |      861 |      709
1594.16/1594.71	c 1594s |      19 |   787986 |   594082 |    23905     51 |      861 |      709
1596.16/1596.79	c 1596s |      19 |   788707 |   594682 |    23905     51 |      861 |      709
1598.36/1598.93	c 1598s |      19 |   789241 |   595182 |    23905     52 |      861 |      709
1600.46/1601.02	c 1600s |      19 |   790160 |   595982 |    23905     52 |      861 |      709
1602.56/1603.19	c 1602s |      19 |   791039 |   596782 |    23905     52 |      861 |      709
1604.86/1605.40	c 1605s |      19 |   791902 |   597582 |    23905     52 |      861 |      709
1606.86/1607.45	c 1607s |      19 |   792665 |   598282 |    23905     52 |      861 |      709
1608.87/1609.48	c 1609s |      19 |   793426 |   598982 |    23905     52 |      861 |      709
1610.97/1611.53	c 1611s |      19 |   794213 |   599682 |    23905     52 |      861 |      709
1613.06/1613.61	c 1613s |      19 |   795032 |   600382 |    23905     52 |      861 |      709
1615.26/1615.84	c 1615s |      19 |   795956 |   601182 |    23905     52 |      861 |      709
1617.46/1618.02	c 1617s |      19 |   796761 |   601882 |    23905     52 |      861 |      709
1619.66/1620.30	c 1620s |      19 |   797540 |   602582 |    23905     52 |      861 |      709
1622.07/1622.63	c 1622s |      19 |   798195 |   603182 |    23905     52 |      861 |      709
1624.36/1624.95	c 1624s |      19 |   798835 |   603782 |    23905     52 |      861 |      709
1626.76/1627.36	c 1627s |      19 |   799593 |   604482 |    23905     52 |      861 |      709
1629.05/1629.61	c 1629s |      19 |   800257 |   605082 |    23905     52 |      861 |      709
1631.05/1631.67	c 1631s |      19 |   800913 |   605682 |    23905     52 |      861 |      709
1633.25/1633.84	c 1633s |      19 |   801560 |   606282 |    23905     52 |      861 |      709
1635.26/1635.84	c 1635s |      19 |   802103 |   606782 |    23905     52 |      861 |      709
1637.46/1638.01	c 1637s |      19 |   802769 |   607382 |    23905     52 |      861 |      709
1639.75/1640.37	c 1640s |      19 |   803433 |   607982 |    23905     52 |      861 |      709
1642.05/1642.62	c 1642s |      19 |   803978 |   608482 |    23905     53 |      861 |      709
1644.15/1644.76	c 1644s |      19 |   804745 |   609182 |    23905     53 |      861 |      709
1646.35/1646.92	c 1646s |      19 |   805528 |   609882 |    23905     53 |      861 |      709
1648.55/1649.10	c 1648s |      19 |   806300 |   610582 |    23905     53 |      861 |      709
1650.66/1651.24	c 1651s |      19 |   807062 |   611282 |    23905     53 |      861 |      709
1652.76/1653.37	c 1653s |      19 |   807825 |   611982 |    23905     53 |      861 |      709
1654.75/1655.39	c 1655s |      19 |   808522 |   612582 |    23905     53 |      861 |      709
1656.95/1657.57	c 1657s |      19 |   809420 |   613382 |    23905     53 |      861 |      709
1659.25/1659.80	c 1659s |      19 |   810178 |   614082 |    23905     53 |      861 |      709
1661.35/1661.95	c 1661s |      19 |   810928 |   614782 |    23905     53 |      861 |      709
1663.65/1664.23	c 1664s |      19 |   811696 |   615482 |    23905     53 |      861 |      709
1665.85/1666.50	c 1666s |      19 |   812475 |   616182 |    23905     53 |      861 |      709
1668.05/1668.61	c 1668s |      19 |   813242 |   616882 |    23905     53 |      861 |      709
1670.36/1670.91	c 1670s |      19 |   814042 |   617582 |    23905     53 |      861 |      709
1672.45/1673.06	c 1672s |      19 |   814694 |   618182 |    23905     53 |      861 |      709
1674.65/1675.27	c 1675s |      19 |   815345 |   618782 |    23905     53 |      861 |      709
1676.85/1677.46	c 1677s |      19 |   816015 |   619382 |    23905     53 |      861 |      709
1678.94/1679.50	c 1679s |      19 |   816670 |   619982 |    23905     53 |      861 |      709
1681.14/1681.70	c 1681s |      19 |   817325 |   620582 |    23905     53 |      861 |      709
1683.24/1683.86	c 1683s |      19 |   817983 |   621182 |    23905     53 |      861 |      709
1685.34/1685.97	c 1685s |      19 |   818541 |   621682 |    23905     54 |      861 |      709
1687.54/1688.17	c 1687s |      19 |   819424 |   622482 |    23905     54 |      861 |      709
1689.64/1690.29	c 1690s |      19 |   820313 |   623282 |    23905     54 |      861 |      709
1691.74/1692.35	c 1692s |      19 |   821078 |   623982 |    23905     54 |      861 |      709
1693.84/1694.44	c 1694s |      19 |   821813 |   624682 |    23905     54 |      861 |      709
1696.04/1696.64	c 1696s |      19 |   822564 |   625382 |    23905     54 |      861 |      709
1698.34/1698.96	c 1698s |      19 |   823304 |   626082 |    23905     54 |      861 |      709
1700.34/1700.97	c 1700s |      19 |   823948 |   626682 |    23905     54 |      861 |      709
1702.54/1703.14	c 1702s |      19 |   824599 |   627282 |    23905     54 |      861 |      709
1704.74/1705.36	c 1705s |      19 |   825342 |   627982 |    23905     54 |      861 |      709
1706.84/1707.41	c 1707s |      19 |   825997 |   628582 |    23905     54 |      861 |      709
1708.85/1709.45	c 1709s |      19 |   826655 |   629182 |    23905     54 |      861 |      709
1711.05/1711.67	c 1711s |      19 |   827312 |   629782 |    23905     54 |      861 |      709
1713.14/1713.79	c 1713s |      19 |   827942 |   630382 |    23905     54 |      861 |      709
1715.34/1715.99	c 1715s |      19 |   828597 |   630982 |    23905     54 |      861 |      709
1717.44/1718.09	c 1717s |      19 |   829230 |   631582 |    23905     54 |      861 |      709
1719.64/1720.26	c 1720s |      19 |   829885 |   632182 |    23905     54 |      861 |      709
1721.74/1722.32	c 1722s |      19 |   830404 |   632682 |    23905     54 |      861 |      709
1723.84/1724.42	c 1724s |      19 |   830928 |   633182 |    23905     54 |      861 |      709
1726.04/1726.69	c 1726s |      19 |   831450 |   633682 |    23905     54 |      861 |      709
1728.34/1728.90	c 1728s |      19 |   832223 |   634382 |    23905     54 |      861 |      709
1730.54/1731.17	c 1730s |      19 |   832869 |   634982 |    23905     54 |      861 |      709
1732.84/1733.40	c 1733s |      19 |   833417 |   635482 |    23905     55 |      861 |      709
1735.03/1735.62	c 1735s |      19 |   834293 |   636282 |    23905     55 |      861 |      709
1737.03/1737.66	c 1737s |      19 |   835054 |   636982 |    23905     55 |      861 |      709
1739.33/1739.90	c 1739s |      19 |   835815 |   637682 |    23905     55 |      861 |      709
1741.43/1742.06	c 1741s |      19 |   836554 |   638382 |    23905     55 |      861 |      709
1743.73/1744.33	c 1744s |      19 |   837455 |   639182 |    23905     55 |      861 |      709
1745.73/1746.35	c 1746s |      19 |   838192 |   639882 |    23905     55 |      861 |      709
1747.74/1748.39	c 1748s |      19 |   838937 |   640582 |    23905     55 |      861 |      709
1750.04/1750.68	c 1750s |      19 |   839796 |   641382 |    23905     55 |      861 |      709
1752.34/1752.96	c 1752s |      19 |   840550 |   642082 |    23905     55 |      861 |      709
1754.54/1755.12	c 1754s |      19 |   841195 |   642682 |    23905     55 |      861 |      709
1756.64/1757.22	c 1756s |      19 |   841845 |   643282 |    23905     55 |      861 |      709
1758.64/1759.28	c 1759s |      19 |   842486 |   643882 |    23905     55 |      861 |      709
1760.84/1761.41	c 1761s |      19 |   843138 |   644482 |    23905     55 |      861 |      709
1763.14/1763.74	c 1763s |      19 |   843787 |   645082 |    23905     55 |      861 |      709
1765.44/1766.02	c 1765s |      19 |   844423 |   645682 |    23905     55 |      861 |      709
1767.74/1768.36	c 1768s |      19 |   845089 |   646282 |    23905     55 |      861 |      709
1769.93/1770.56	c 1770s |      19 |   845497 |   646682 |    23905     55 |      861 |      709
1772.13/1772.77	c 1772s |      19 |   845921 |   647082 |    23905     55 |      861 |      709
1774.53/1775.18	c 1774s |      19 |   846451 |   647582 |    23905     55 |      861 |      709
1776.83/1777.49	c 1777s |      19 |   847101 |   648182 |    23905     55 |      861 |      709
1779.13/1779.76	c 1779s |      19 |   847654 |   648682 |    23905     56 |      861 |      709
1781.23/1781.88	c 1781s |      19 |   848420 |   649382 |    23905     56 |      861 |      709
1783.43/1784.03	c 1783s |      19 |   849178 |   650082 |    23905     56 |      861 |      709
1785.43/1786.04	c 1785s |      19 |   849933 |   650682 |    23905     56 |      861 |      709
1787.73/1788.31	c 1788s |      19 |   850723 |   651382 |    23905     56 |      861 |      709
1789.93/1790.57	c 1790s |      19 |   851477 |   652082 |    23905     56 |      861 |      709
1792.03/1792.67	c 1792s |      19 |   852259 |   652782 |    23905     56 |      861 |      709
1794.23/1794.84	c 1794s |      19 |   852909 |   653382 |    23905     56 |      861 |      709
1796.33/1796.95	c 1796s |      19 |   853567 |   653982 |    23905     56 |      861 |      709
1798.63/1799.27	c 1799s |      19 |   854207 |   654582 |    23905     56 |      861 |      709

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

pid=2257
running on 8 cores: 0-3,8-11

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.04 2.06 2.05 3/261 2260
/proc/meminfo: memFree=30869876/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1012156 CPUtime=0 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 3825 0 0 0 0 0 0 0 20 0 4 0 28173115 1036447744 4696 33554432000 4194304 16246674 140736181673520 140736181672944 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 253807 4704 441 2943 0 250701 0
[pid=2260/tid=2261] ppid=2257 vsize=1068476 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1094119424 4915 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1073596 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1099362304 4935 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1077692 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28173116 1103556608 4952 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.04 2.06 2.05 3/261 2260
/proc/meminfo: memFree=30869876/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1301060 CPUtime=0.09 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 25080 0 0 0 6 3 0 0 20 0 4 0 28173115 1332285440 25889 33554432000 4194304 16246674 140736181673520 140736181672832 13930238 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 325265 25896 830 2943 0 322159 0
[pid=2260/tid=2261] ppid=2257 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1332285440 25902 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1332285440 25909 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1332285440 25916 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200466 s]
/proc/loadavg: 2.04 2.06 2.05 3/261 2260
/proc/meminfo: memFree=30869876/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1302084 CPUtime=0.19 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 43529 0 0 0 13 6 0 0 20 0 4 0 28173115 1333334016 44338 33554432000 4194304 16246674 140736181673520 140736181672832 6757729 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 325521 44338 842 2943 0 322415 0
[pid=2260/tid=2261] ppid=2257 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1333334016 44338 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1333334016 44338 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1333334016 44338 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300464 s]
/proc/loadavg: 2.04 2.06 2.05 3/261 2260
/proc/meminfo: memFree=30869876/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1302084 CPUtime=0.29 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 48729 0 0 0 22 7 0 0 20 0 4 0 28173115 1333334016 49538 33554432000 4194304 16246674 140736181673520 140736181672832 5991173 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 325521 49540 882 2943 0 322415 0
[pid=2260/tid=2261] ppid=2257 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1333334016 49541 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1333334016 49542 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1333334016 49544 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700394 s]
/proc/loadavg: 2.04 2.06 2.05 3/261 2260
/proc/meminfo: memFree=30869876/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1302084 CPUtime=0.69 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 97048 0 0 0 56 13 0 0 20 0 4 0 28173115 1333334016 97857 33554432000 4194304 16246674 140736181673520 140736181655424 6021174 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 325521 97862 882 2943 0 322415 0
[pid=2260/tid=2261] ppid=2257 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1333334016 97865 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1333334016 97869 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1333334016 97876 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50039 s]
/proc/loadavg: 2.03 2.06 2.05 3/265 2264
/proc/meminfo: memFree=30269932/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1311300 CPUtime=1.49 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 155425 0 0 0 129 20 0 0 20 0 4 0 28173115 1342771200 156234 33554432000 4194304 16246674 140736181673520 140736181672832 6009960 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 327825 156234 889 2943 0 324719 0
[pid=2260/tid=2261] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 156234 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 156234 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 156234 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1311300

[startup+3.1004 s]
/proc/loadavg: 2.03 2.06 2.05 3/265 2264
/proc/meminfo: memFree=30092736/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1311300 CPUtime=3.09 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 268969 0 0 0 275 34 0 0 20 0 4 0 28173115 1342771200 269778 33554432000 4194304 16246674 140736181673520 140736181655424 12415740 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 327825 269778 889 2943 0 324719 0
[pid=2260/tid=2261] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269778 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269778 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269778 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.3004 s]
/proc/loadavg: 2.03 2.06 2.05 3/265 2264
/proc/meminfo: memFree=29790920/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1311300 CPUtime=6.29 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 269010 0 0 0 595 34 0 0 20 0 4 0 28173115 1342771200 269819 33554432000 4194304 16246674 140736181673520 140736181655424 5662859 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 327825 269819 889 2943 0 324719 0
[pid=2260/tid=2261] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269819 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269819 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269819 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.03 2.06 2.05 3/265 2264
/proc/meminfo: memFree=29790632/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1311300 CPUtime=12.69 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 269010 0 0 0 1235 34 0 0 20 0 4 0 28173115 1342771200 269819 33554432000 4194304 16246674 140736181673520 140736181655424 6021072 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 327825 269819 889 2943 0 324719 0
[pid=2260/tid=2261] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269819 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269819 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269819 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.02 2.05 2.05 3/265 2264
/proc/meminfo: memFree=29789912/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1311300 CPUtime=25.49 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 269011 0 0 0 2515 34 0 0 20 0 4 0 28173115 1342771200 269820 33554432000 4194304 16246674 140736181673520 140736181656520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 327825 269820 890 2943 0 324719 0
[pid=2260/tid=2261] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269820 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269820 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269820 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.09 2.06 2.05 3/265 2264
/proc/meminfo: memFree=29789372/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1311300 CPUtime=51.08 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 269011 0 0 0 5074 34 0 0 20 0 4 0 28173115 1342771200 269820 33554432000 4194304 16246674 140736181673520 140736181655424 15015658 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 327825 269820 890 2943 0 324719 0
[pid=2260/tid=2261] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269820 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269820 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1311300 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1342771200 269820 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.301 s]
/proc/loadavg: 2.11 2.07 2.05 3/266 2268
/proc/meminfo: memFree=29781096/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1319492 CPUtime=102.29 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 270859 0 0 0 10194 35 0 0 20 0 4 0 28173115 1351159808 271668 33554432000 4194304 16246674 140736181673520 140736181655424 5599968 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 329873 271668 890 2943 0 326767 0
[pid=2260/tid=2261] ppid=2257 vsize=1319492 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1351159808 271668 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1319492 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1351159808 271668 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1319492 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1351159808 271668 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1319492


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

/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279753 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1351236

[startup+1302.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/266 2299
/proc/meminfo: memFree=29739040/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1351236 CPUtime=1301.85 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 279309 0 0 0 130143 42 0 0 20 0 4 0 28173115 1383665664 279753 33554432000 4194304 16246674 140736181673520 140736181655424 12415785 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 337809 279753 891 2943 0 334703 0
[pid=2260/tid=2261] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279753 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279753 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279753 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1351236

[startup+1362.3 s]
/proc/loadavg: 2.01 2.05 2.03 3/265 2300
/proc/meminfo: memFree=29738788/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1351236 CPUtime=1361.8 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 279353 0 0 0 136138 42 0 0 20 0 4 0 28173115 1383665664 279753 33554432000 4194304 16246674 140736181673520 140736181655424 5523192 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 337809 279753 891 2943 0 334703 0
[pid=2260/tid=2261] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279753 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279753 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279753 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1351236

[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/265 2301
/proc/meminfo: memFree=29738820/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1351236 CPUtime=1421.79 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 279414 0 0 0 142137 42 0 0 20 0 4 0 28173115 1383665664 279808 33554432000 4194304 16246674 140736181673520 140736181655424 6011859 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 337809 279808 891 2943 0 334703 0
[pid=2260/tid=2261] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1351236

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/265 2350
/proc/meminfo: memFree=29759352/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1351236 CPUtime=1481.78 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 279414 0 0 0 148135 43 0 0 20 0 4 0 28173115 1383665664 279808 33554432000 4194304 16246674 140736181673520 140736181655424 13943600 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 337809 279808 891 2943 0 334703 0
[pid=2260/tid=2261] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1351236

[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.02 3/265 2352
/proc/meminfo: memFree=29750628/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1351236 CPUtime=1541.78 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 279414 0 0 0 154134 44 0 0 20 0 4 0 28173115 1383665664 279808 33554432000 4194304 16246674 140736181673520 140736181655424 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 337809 279808 891 2943 0 334703 0
[pid=2260/tid=2261] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1351236

[startup+1602.3 s]
/proc/loadavg: 2.24 2.09 2.03 3/265 2353
/proc/meminfo: memFree=29750212/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1351236 CPUtime=1601.76 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 279414 0 0 0 160132 44 0 0 20 0 4 0 28173115 1383665664 279808 33554432000 4194304 16246674 140736181673520 140736181655424 5822484 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 337809 279808 891 2943 0 334703 0
[pid=2260/tid=2261] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1351236

[startup+1662.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/265 2354
/proc/meminfo: memFree=29739020/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1351236 CPUtime=1661.75 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 279414 0 0 0 166131 44 0 0 20 0 4 0 28173115 1383665664 279808 33554432000 4194304 16246674 140736181673520 140736181655424 5822484 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 337809 279808 891 2943 0 334703 0
[pid=2260/tid=2261] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1351236

[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/265 2355
/proc/meminfo: memFree=29739152/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1351236 CPUtime=1721.74 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 279414 0 0 0 172130 44 0 0 20 0 4 0 28173115 1383665664 279808 33554432000 4194304 16246674 140736181673520 140736181655424 5523232 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 337809 279808 891 2943 0 334703 0
[pid=2260/tid=2261] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1351236

[startup+1782.3 s]
/proc/loadavg: 2.15 2.08 2.03 3/265 2356
/proc/meminfo: memFree=29738248/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1351236 CPUtime=1781.73 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 279414 0 0 0 178128 45 0 0 20 0 4 0 28173115 1383665664 279808 33554432000 4194304 16246674 140736181673520 140736181655424 5600014 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 337809 279808 891 2943 0 334703 0
[pid=2260/tid=2261] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1351236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.19 2.10 2.03 3/265 2357
/proc/meminfo: memFree=29737384/32872528 swapFree=7556/7556
[pid=2260] ppid=2257 vsize=1351236 CPUtime=1800.03 cores=0-3,8-11
/proc/2260/stat : 2260 (toysat) R 2257 2260 32495 0 -1 4202496 279414 0 0 0 179958 45 0 0 20 0 4 0 28173115 1383665664 279808 33554432000 4194304 16246674 140736181673520 140736181655424 5672222 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2260/statm: 337809 279808 891 2943 0 334703 0
[pid=2260/tid=2261] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2261/stat : 2261 (toysat) S 2257 2260 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675225988336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2260/tid=2262] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2262/stat : 2262 (toysat) S 2257 2260 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675144199408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2260/tid=2263] ppid=2257 vsize=1351236 CPUtime=0 cores=0-3,8-11
/proc/2260/task/2263/stat : 2263 (toysat) S 2257 2260 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28173116 1383665664 279808 33554432000 4194304 16246674 140736181673520 140675133725872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1351236

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 2260 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.04
CPU user time (s): 1799.59
CPU system time (s): 0.452931
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 1351236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.452931
maximum resident set size= 1119232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279414
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= 434
involuntary context switches= 1948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.555 second user time and 9.96548 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 16:29:09
IDJOB=4117109
IDBENCH=109554
IDSOLVER=2542
FILE ID=node132/4117109-1466951349
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-8.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117109-1466951349/watcher-4117109-1466951349 -o /tmp/evaluation-result-4117109-1466951349/solver-4117109-1466951349 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32511 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117109-1466951349.opb

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

MD5SUM BENCH= 0c05803813c74c650aa462c87efe1694
RANDOM SEED=1822383125

node132.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.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.06
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.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.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.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30870628 kB
Buffers:           22168 kB
Cached:           176584 kB
SwapCached:         1784 kB
Active:          1151228 kB
Inactive:         137088 kB
Active(anon):    1090756 kB
Inactive(anon):     1700 kB
Active(file):      60472 kB
Inactive(file):   135388 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16544 kB
Writeback:             0 kB
AnonPages:       1096928 kB
Mapped:            10796 kB
Shmem:                 0 kB
Slab:             570172 kB
SReclaimable:      10648 kB
SUnreclaim:       559524 kB
KernelStack:        2216 kB
PageTables:         6992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1241024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71496 MiB
End job on node132 at 2016-06-26 16:59:10