Trace number 4116717

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-27T00:16:24+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4116717-1466979384.opb"]
0.00/0.01	c use --random-gen="3240272670 3519695208 716428470 2227530418 3763752687 1878025294 2122756889 1828247707 3973519460 111644372 1108150511 1839848031 2561886554 1556435211 1855189736 4230182514 2811570125 3771463063 942938006 2927609890 2700514561 1405694877 3671797431 2225750981 766030483 3666254636 2166505873 1944533240 1651546932 1622983230 3069314956 1268633321 3237539135 2757120570 4010152493 1417378869 2597878418 2502144450 469627538 2804280212 1792401005 519844627 705416427 160221666 3668899606 1818759106 1745570040 1847470223 1371586740 731531823 3507591779 1580902318 3316008576 3723819459 799232138 2881288076 1394611012 1774222080 3748480171 1381705229 2993235382 2311429211 2782389566 3034583566 2297499364 769931335 3391499406 3758913605 2084290375 1348678239 1523393325 1480621790 578079826 2067249333 1722961431 2220410842 2564718949 2791103943 1963568191 1471656922 2705463599 1043008004 1243322839 3171710998 4127197851 548562676 3720426554 1346305179 2357651742 1379617862 3203511839 3093887729 2282175677 3704868811 3328639235 429288371 2608555685 2104765494 3223941341 2742343901 78112920 3414240850 193267708 3309727455 2223395286 2243116923 2645723671 229000872 1504135947 2430211050 998550938 3519720082 1577929998 2215597737 449837265 3934658139 1094053316 3016307372 1822326506 753138918 4228934647 2985247301 1376239019 2401546084 735045226 2498901507 284695178 1227298042 1481657870 2375664951 3028077608 3345816754 1659671744 1570456766 3831383265 3851811797 657206106 1295559806 3061205274 401543834 1862153997 3885636860 3628477994 1084047785 1620211701 1061616455 3063223703 4229236551 3563912953 2508372864 1407346308 1326293226 2428550149 2741534960 2139518855 1785345110 3863634489 3651047075 3737011537 2683608862 2045879587 2927852946 1805964220 1179151409 219670252 1047538103 1915260924 1814568629 3010533786 1972565922 50739109 2420580792 1096768540 1796250268 3347215996 2979490974 1062303534 1729070359 427668869 2738960284 449397365 1674443324 316489844 1786194135 2319217652 3272060977 1060969039 3895510492 4007697450 1109433052 1859375626 2803126129 2444081861 3246240430 284035744 2966407228 273574872 3336366287 1761046097 2700320148 2796784963 132076954 943933811 249681321 1400353382 116250882 2684828508 1792117510 333645357 1575212988 1691737141 3443838131 4200191404 3044938275 2937092765 4219964793 3375339244 531704769 2848042602 1614756763 2155986522 14646485 1291569528 1674042630 4060864598 1517073535 1486022227 2290795354 3050313057 2447822236 79010085 3786151449 3740153420 378648016 3016778919 381115905 3979555148 2262304015 1671240617 1264845660 2835576868 4100220001 1367017199 712543964 1263031780 680180802 2473090859 1591047040 791742395 1066207395 170825993 3645853754 4110163937 761514120 1730244688 1751531840 255 362436" option to reproduce the execution
0.08/0.12	c #vars 4288
0.08/0.12	c #constraints 9504
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      773 |        0
0.29/0.37	c  0.1s |       1 |     1578 |      100 |     4565      0 |      774 |      690
0.38/0.48	c  0.2s |       2 |     2744 |      250 |     5022      0 |      774 |      690
0.69/0.71	c  0.4s |       3 |     4627 |      475 |     5525      0 |      774 |      690
0.89/0.93	c  0.7s |       4 |     7117 |      813 |     6078      0 |      774 |      690
1.39/1.47	c  1.2s |       5 |    10143 |     1320 |     6686      0 |      775 |      690
2.19/2.21	c  1.9s |       6 |    13268 |     2081 |     8091      0 |      775 |      690
3.39/3.42	c  3.1s |       7 |    15042 |     3223 |     8901      0 |      775 |      690
5.29/5.34	c  5.1s |       8 |    18271 |     4936 |     9792      0 |      775 |      690
7.39/7.42	c  7.1s |       8 |    23719 |     7036 |     9792      0 |      775 |      690
7.99/8.06	c  7.8s |       9 |    24299 |     7506 |    10772      0 |      775 |      690
9.99/10.07	c  9.8s |       9 |    29286 |     9406 |    10772      0 |      775 |      690
12.09/12.16	c 11.9s |       9 |    31554 |    11206 |    10772      0 |      775 |      690
12.38/12.42	c 12.1s |      10 |    31719 |    11361 |    11850      0 |      775 |      690
14.39/14.45	c 14.2s |      10 |    39161 |    13461 |    11850      0 |      775 |      690
16.49/16.55	c 16.3s |      10 |    40869 |    14761 |    11850      1 |      775 |      690
18.48/18.56	c 18.3s |      10 |    44386 |    16561 |    11850      1 |      775 |      690
19.08/19.10	c 18.8s |      11 |    45765 |    17144 |    13036      1 |      775 |      690
21.08/21.19	c 20.9s |      11 |    54054 |    19644 |    13036      1 |      775 |      690
23.09/23.19	c 22.9s |      11 |    55896 |    21044 |    13036      1 |      775 |      690
25.18/25.24	c 25.0s |      11 |    57695 |    22344 |    13036      1 |      775 |      690
27.38/27.40	c 27.1s |      11 |    59270 |    23544 |    13036      1 |      775 |      690
29.38/29.41	c 29.1s |      11 |    61479 |    24844 |    13036      2 |      775 |      690
30.48/30.56	c 30.3s |      12 |    63709 |    25819 |    14340      2 |      775 |      690
32.58/32.60	c 32.3s |      12 |    71386 |    28119 |    14340      2 |      775 |      690
34.58/34.68	c 34.4s |      12 |    73358 |    29519 |    14340      2 |      775 |      690
36.68/36.74	c 36.5s |      12 |    74621 |    30519 |    14340      2 |      775 |      690
38.78/38.86	c 38.6s |      12 |    76589 |    31819 |    14340      2 |      775 |      690
40.98/41.01	c 40.7s |      12 |    78168 |    33019 |    14340      2 |      775 |      690
43.08/43.12	c 42.8s |      12 |    79167 |    33819 |    14340      3 |      775 |      690
45.09/45.14	c 44.9s |      12 |    80710 |    34919 |    14340      3 |      775 |      690
47.29/47.33	c 47.1s |      12 |    82231 |    36119 |    14340      3 |      775 |      690
49.38/49.40	c 49.1s |      12 |    83328 |    37019 |    14340      3 |      775 |      690
51.48/51.55	c 51.3s |      12 |    84378 |    37919 |    14340      3 |      775 |      690
53.78/53.80	c 53.5s |      12 |    85309 |    38719 |    15775      3 |      775 |      690
53.98/54.09	c 53.8s |      13 |    85450 |    38832 |    15775      3 |      775 |      690
56.08/56.14	c 55.9s |      13 |    92932 |    41132 |    15775      3 |      775 |      690
58.28/58.33	c 58.1s |      13 |    94952 |    42532 |    15775      3 |      775 |      690
60.28/60.37	c 60.1s |      13 |    96625 |    43732 |    15775      3 |      775 |      690
62.38/62.43	c 62.2s |      13 |    97789 |    44632 |    15775      4 |      775 |      690
64.58/64.60	c 64.3s |      13 |    99173 |    45732 |    15775      4 |      775 |      690
66.67/66.73	c 66.5s |      13 |   101770 |    47032 |    15775      4 |      775 |      690
68.67/68.78	c 68.5s |      13 |   104871 |    48332 |    15775      4 |      775 |      690
70.67/70.80	c 70.5s |      13 |   108510 |    49932 |    15775      4 |      775 |      690
72.87/72.97	c 72.7s |      13 |   116805 |    52232 |    15775      4 |      775 |      690
74.97/75.06	c 74.8s |      13 |   120247 |    53632 |    15775      5 |      775 |      690
77.08/77.10	c 76.8s |      13 |   121784 |    54832 |    15775      5 |      775 |      690
79.18/79.23	c 78.9s |      13 |   125727 |    56632 |    15775      5 |      775 |      690
81.17/81.29	c 81.0s |      13 |   128172 |    58032 |    17353      5 |      775 |      690
81.57/81.61	c 81.3s |      14 |   129172 |    58352 |    17353      5 |      775 |      690
83.58/83.64	c 83.4s |      14 |   137543 |    60452 |    17353      5 |      775 |      690
85.58/85.66	c 85.4s |      14 |   139430 |    61952 |    17353      5 |      775 |      690
87.58/87.68	c 87.4s |      14 |   140805 |    63152 |    17353      5 |      775 |      690
89.78/89.80	c 89.5s |      14 |   142075 |    64252 |    17353      5 |      775 |      690
91.78/91.84	c 91.6s |      14 |   143145 |    65152 |    17353      6 |      775 |      690
93.88/93.96	c 93.7s |      14 |   144257 |    66152 |    17353      6 |      775 |      690
96.08/96.17	c 95.9s |      14 |   145239 |    67052 |    17353      6 |      775 |      690
98.28/98.36	c 98.1s |      14 |   146249 |    67952 |    17353      6 |      775 |      690
100.37/100.45	c  100s |      14 |   147019 |    68652 |    17353      6 |      775 |      690
102.57/102.60	c  102s |      14 |   147927 |    69452 |    17353      6 |      775 |      690
104.67/104.71	c  104s |      14 |   148810 |    70252 |    17353      6 |      775 |      690
106.87/106.94	c  106s |      14 |   149585 |    70952 |    17353      6 |      775 |      690
108.98/109.05	c  108s |      14 |   150493 |    71752 |    17353      6 |      775 |      690
111.27/111.32	c  111s |      14 |   151437 |    72552 |    17353      6 |      775 |      690
113.47/113.52	c  113s |      14 |   152198 |    73252 |    17353      6 |      775 |      690
115.58/115.67	c  115s |      14 |   153007 |    73952 |    17353      6 |      775 |      690
117.87/117.95	c  117s |      14 |   153792 |    74652 |    17353      6 |      775 |      690
120.07/120.14	c  119s |      14 |   154459 |    75252 |    17353      7 |      775 |      690
122.18/122.24	c  121s |      14 |   155232 |    75952 |    17353      7 |      775 |      690
124.17/124.25	c  123s |      14 |   155901 |    76552 |    17353      7 |      775 |      690
126.27/126.36	c  126s |      14 |   156820 |    77352 |    17353      7 |      775 |      690
128.57/128.64	c  128s |      14 |   157728 |    78152 |    17353      7 |      775 |      690
130.77/130.88	c  130s |      14 |   158474 |    78852 |    17353      7 |      775 |      690
133.08/133.12	c  132s |      14 |   159273 |    79552 |    17353      7 |      775 |      690
135.38/135.44	c  135s |      14 |   160069 |    80252 |    17353      7 |      775 |      690
137.48/137.56	c  137s |      14 |   160918 |    80952 |    17353      7 |      775 |      690
139.57/139.60	c  139s |      14 |   161875 |    81752 |    17353      7 |      775 |      690
141.67/141.78	c  141s |      14 |   162946 |    82552 |    17353      7 |      775 |      690
143.77/143.86	c  143s |      14 |   163807 |    83252 |    17353      7 |      775 |      690
146.06/146.12	c  145s |      14 |   164662 |    83952 |    17353      7 |      775 |      690
148.06/148.14	c  147s |      14 |   165500 |    84652 |    17353      7 |      775 |      690
150.16/150.24	c  149s |      14 |   166069 |    85152 |    17353      8 |      775 |      690
152.46/152.51	c  152s |      14 |   166994 |    85952 |    17353      8 |      775 |      690
154.76/154.81	c  154s |      14 |   167784 |    86652 |    17353      8 |      775 |      690
156.76/156.88	c  156s |      14 |   168795 |    87452 |    19089      8 |      775 |      690
157.27/157.37	c  157s |      15 |   169000 |    87632 |    19089      8 |      775 |      690
159.36/159.42	c  159s |      15 |   181039 |    90332 |    19089      8 |      775 |      690
161.36/161.47	c  161s |      15 |   185236 |    92232 |    19089      8 |      775 |      690
163.36/163.49	c  163s |      15 |   187070 |    93532 |    19089      8 |      775 |      690
165.56/165.66	c  165s |      15 |   188579 |    94732 |    19089      8 |      775 |      690
167.66/167.70	c  167s |      15 |   190206 |    95832 |    19089      8 |      775 |      690
170.06/170.12	c  169s |      15 |   191962 |    97132 |    19089      9 |      775 |      690
172.16/172.24	c  171s |      15 |   193334 |    98232 |    19089      9 |      775 |      690
174.36/174.44	c  174s |      15 |   194805 |    99332 |    19089      9 |      775 |      690
176.56/176.60	c  176s |      15 |   196703 |   100532 |    19089      9 |      775 |      690
178.66/178.79	c  178s |      15 |   199007 |   101832 |    19089      9 |      775 |      690
180.76/180.87	c  180s |      15 |   200785 |   102932 |    19089      9 |      775 |      690
182.96/183.03	c  182s |      15 |   201954 |   103932 |    19089      9 |      775 |      690
185.16/185.28	c  185s |      15 |   202833 |   104732 |    19089      9 |      775 |      690
187.26/187.33	c  187s |      15 |   203807 |   105532 |    19089      9 |      775 |      690
189.46/189.57	c  189s |      15 |   204589 |   106232 |    19089      9 |      775 |      690
191.56/191.61	c  191s |      15 |   205382 |   106932 |    19089      9 |      775 |      690
193.56/193.67	c  193s |      15 |   206173 |   107632 |    19089      9 |      775 |      690
195.56/195.67	c  195s |      15 |   206827 |   108232 |    19089      9 |      775 |      690
197.66/197.78	c  197s |      15 |   207481 |   108832 |    19089     10 |      775 |      690
199.86/199.92	c  199s |      15 |   208507 |   109632 |    19089     10 |      775 |      690
201.86/201.96	c  201s |      15 |   209306 |   110332 |    19089     10 |      775 |      690
204.16/204.22	c  203s |      15 |   210281 |   111132 |    19089     10 |      775 |      690
206.36/206.48	c  206s |      15 |   211273 |   111932 |    19089     10 |      775 |      690
208.56/208.68	c  208s |      15 |   212095 |   112632 |    19089     10 |      775 |      690
210.95/211.05	c  210s |      15 |   213029 |   113432 |    19089     10 |      775 |      690
213.15/213.23	c  212s |      15 |   213901 |   114132 |    19089     10 |      775 |      690
215.15/215.27	c  214s |      15 |   214612 |   114732 |    19089     10 |      775 |      690
217.25/217.36	c  217s |      15 |   215348 |   115332 |    19089     10 |      775 |      690
219.55/219.62	c  219s |      15 |   216013 |   115932 |    19089     10 |      775 |      690
221.85/221.92	c  221s |      15 |   216708 |   116532 |    19089     10 |      775 |      690
223.95/224.07	c  223s |      15 |   217262 |   117032 |    19089     10 |      775 |      690
226.35/226.47	c  226s |      15 |   217943 |   117632 |    19089     10 |      775 |      690
228.65/228.76	c  228s |      15 |   218500 |   118132 |    19089     10 |      775 |      690
230.96/231.02	c  230s |      15 |   219039 |   118632 |    19089     10 |      775 |      690
233.26/233.32	c  233s |      15 |   219592 |   119132 |    19089     10 |      775 |      690
235.55/235.64	c  235s |      15 |   220180 |   119632 |    19089     11 |      775 |      690
237.56/237.69	c  237s |      15 |   220861 |   120232 |    19089     11 |      775 |      690
239.95/240.06	c  239s |      15 |   221511 |   120832 |    19089     11 |      775 |      690
242.15/242.26	c  241s |      15 |   222556 |   121632 |    19089     11 |      775 |      690
244.45/244.53	c  244s |      15 |   223509 |   122432 |    19089     11 |      775 |      690
246.55/246.61	c  246s |      15 |   224198 |   123032 |    19089     11 |      775 |      690
248.56/248.70	c  248s |      15 |   224918 |   123632 |    19089     11 |      775 |      690
250.65/250.79	c  250s |      15 |   225605 |   124232 |    19089     11 |      775 |      690
252.85/252.94	c  252s |      15 |   227279 |   125232 |    19089     11 |      775 |      690
255.05/255.15	c  254s |      15 |   228302 |   126132 |    19089     11 |      775 |      690
257.15/257.29	c  257s |      15 |   229340 |   127032 |    19089     11 |      775 |      690
259.35/259.45	c  259s |      15 |   230508 |   127932 |    19089     11 |      775 |      690
261.35/261.47	c  261s |      15 |   231501 |   128832 |    19089     11 |      775 |      690
263.45/263.57	c  263s |      15 |   233885 |   130032 |    19089     11 |      775 |      690
265.65/265.73	c  265s |      15 |   235003 |   130832 |    20998     12 |      775 |      690
267.15/267.29	c  267s |      16 |   235903 |   131552 |    20998     12 |      775 |      690
269.24/269.35	c  269s |      16 |   248552 |   133852 |    20998     12 |      775 |      690
271.34/271.44	c  271s |      16 |   250133 |   135152 |    20998     12 |      775 |      690
273.44/273.57	c  273s |      16 |   251871 |   136452 |    20998     12 |      775 |      690
275.54/275.60	c  275s |      16 |   253210 |   137552 |    20998     12 |      775 |      690
277.64/277.78	c  277s |      16 |   254417 |   138552 |    20998     12 |      775 |      690
279.74/279.81	c  279s |      16 |   255467 |   139452 |    20998     12 |      775 |      690
281.74/281.83	c  281s |      16 |   256959 |   140552 |    20998     12 |      775 |      690
283.85/283.96	c  283s |      16 |   258213 |   141552 |    20998     12 |      775 |      690
286.05/286.14	c  285s |      16 |   259314 |   142452 |    20998     12 |      775 |      690
288.25/288.37	c  288s |      16 |   260417 |   143352 |    20998     12 |      775 |      690
290.45/290.55	c  290s |      16 |   261415 |   144152 |    20998     13 |      775 |      690
292.65/292.74	c  292s |      16 |   262350 |   144952 |    20998     13 |      775 |      690
294.75/294.89	c  294s |      16 |   263289 |   145752 |    20998     13 |      775 |      690
297.14/297.21	c  296s |      16 |   264252 |   146552 |    20998     13 |      775 |      690
299.45/299.56	c  299s |      16 |   265024 |   147252 |    20998     13 |      775 |      690
301.45/301.60	c  301s |      16 |   265827 |   147952 |    20998     13 |      775 |      690
303.55/303.67	c  303s |      16 |   266782 |   148752 |    20998     13 |      775 |      690
305.95/306.01	c  305s |      16 |   267565 |   149452 |    20998     13 |      775 |      690
307.95/308.05	c  307s |      16 |   268280 |   150052 |    20998     13 |      775 |      690
310.04/310.13	c  309s |      16 |   269008 |   150652 |    20998     13 |      775 |      690
312.04/312.19	c  311s |      16 |   269692 |   151252 |    20998     13 |      775 |      690
314.34/314.42	c  314s |      16 |   270501 |   151952 |    20998     13 |      775 |      690
316.34/316.47	c  316s |      16 |   271235 |   152552 |    20998     13 |      775 |      690
318.64/318.76	c  318s |      16 |   271947 |   153152 |    20998     13 |      775 |      690
320.94/321.04	c  320s |      16 |   272634 |   153752 |    20998     13 |      775 |      690
322.94/323.06	c  322s |      16 |   273343 |   154352 |    20998     13 |      775 |      690
325.24/325.38	c  325s |      16 |   274167 |   155052 |    20998     13 |      775 |      690
327.34/327.48	c  327s |      16 |   274848 |   155652 |    20998     13 |      775 |      690
329.44/329.53	c  329s |      16 |   275724 |   156352 |    20998     14 |      775 |      690
331.64/331.79	c  331s |      16 |   276682 |   157152 |    20998     14 |      775 |      690
333.94/334.03	c  333s |      16 |   277613 |   157952 |    20998     14 |      775 |      690
336.24/336.37	c  336s |      16 |   278429 |   158652 |    20998     14 |      775 |      690
338.44/338.53	c  338s |      16 |   279081 |   159252 |    20998     14 |      775 |      690
340.44/340.53	c  340s |      16 |   279965 |   159952 |    20998     14 |      775 |      690
342.44/342.59	c  342s |      16 |   280661 |   160552 |    20998     14 |      775 |      690
344.74/344.89	c  344s |      16 |   281344 |   161152 |    20998     14 |      775 |      690
346.94/347.08	c  346s |      16 |   282194 |   161852 |    20998     14 |      775 |      690
349.04/349.16	c  348s |      16 |   283107 |   162552 |    20998     14 |      775 |      690
351.24/351.37	c  351s |      16 |   283934 |   163252 |    20998     14 |      775 |      690
353.44/353.58	c  353s |      16 |   284630 |   163852 |    20998     14 |      775 |      690
355.64/355.72	c  355s |      16 |   285193 |   164352 |    20998     14 |      775 |      690
357.74/357.84	c  357s |      16 |   285755 |   164852 |    20998     14 |      775 |      690
359.74/359.86	c  359s |      16 |   286306 |   165352 |    20998     14 |      775 |      690
362.13/362.27	c  361s |      16 |   286850 |   165852 |    20998     14 |      775 |      690
364.33/364.47	c  364s |      16 |   287443 |   166352 |    20998     14 |      775 |      690
366.34/366.49	c  366s |      16 |   288046 |   166852 |    20998     14 |      775 |      690
368.63/368.72	c  368s |      16 |   288848 |   167552 |    20998     14 |      775 |      690
370.74/370.88	c  370s |      16 |   289385 |   168052 |    20998     15 |      775 |      690
372.84/372.92	c  372s |      16 |   290231 |   168752 |    20998     15 |      775 |      690
374.83/374.93	c  374s |      16 |   291037 |   169452 |    20998     15 |      775 |      690
377.03/377.14	c  376s |      16 |   291858 |   170152 |    20998     15 |      775 |      690
379.23/379.35	c  379s |      16 |   292665 |   170852 |    20998     15 |      775 |      690
381.33/381.41	c  381s |      16 |   293369 |   171452 |    20998     15 |      775 |      690
383.43/383.59	c  383s |      16 |   294056 |   172052 |    20998     15 |      775 |      690
385.83/385.92	c  385s |      16 |   294736 |   172652 |    20998     15 |      775 |      690
387.83/387.95	c  387s |      16 |   296109 |   173352 |    20998     15 |      775 |      690
389.93/390.05	c  389s |      16 |   298526 |   174452 |    20998     15 |      775 |      690
391.93/392.09	c  391s |      16 |   299726 |   175252 |    20998     15 |      775 |      690
394.03/394.16	c  393s |      16 |   302633 |   176252 |    20998     15 |      775 |      690
396.23/396.31	c  396s |      16 |   304694 |   177352 |    20998     15 |      775 |      690
398.23/398.34	c  398s |      16 |   307958 |   178452 |    20998     15 |      775 |      690
400.53/400.65	c  400s |      16 |   309058 |   179352 |    20998     15 |      775 |      690
402.73/402.80	c  402s |      16 |   310193 |   180152 |    20998     16 |      775 |      690
404.93/405.09	c  404s |      16 |   311423 |   181152 |    20998     16 |      775 |      690
407.03/407.13	c  406s |      16 |   312463 |   181952 |    20998     16 |      775 |      690
409.23/409.35	c  409s |      16 |   316612 |   183452 |    20998     16 |      775 |      690
411.33/411.41	c  411s |      16 |   317595 |   184252 |    20998     16 |      775 |      690
413.53/413.69	c  413s |      16 |   318260 |   184852 |    20998     16 |      775 |      690
415.73/415.84	c  415s |      16 |   319201 |   185552 |    20998     16 |      775 |      690
417.93/418.00	c  417s |      16 |   319850 |   186152 |    20998     16 |      775 |      690
420.23/420.33	c  420s |      16 |   320675 |   186852 |    20998     16 |      775 |      690
422.43/422.53	c  422s |      16 |   321338 |   187452 |    20998     16 |      775 |      690
424.83/424.92	c  424s |      16 |   321981 |   188052 |    20998     16 |      775 |      690
427.13/427.23	c  426s |      16 |   322614 |   188652 |    20998     16 |      775 |      690
429.23/429.30	c  429s |      16 |   323408 |   189252 |    20998     16 |      775 |      690
431.33/431.45	c  431s |      16 |   324053 |   189852 |    20998     16 |      775 |      690
433.63/433.79	c  433s |      16 |   324723 |   190452 |    20998     16 |      775 |      690
436.03/436.13	c  435s |      16 |   325368 |   191052 |    20998     16 |      775 |      690
438.33/438.42	c  438s |      16 |   325910 |   191552 |    20998     16 |      775 |      690
440.53/440.66	c  440s |      16 |   326459 |   192052 |    20998     17 |      775 |      690
442.53/442.67	c  442s |      16 |   327103 |   192652 |    20998     17 |      775 |      690
444.62/444.74	c  444s |      16 |   327769 |   193252 |    20998     17 |      775 |      690
446.92/447.05	c  446s |      16 |   328556 |   193952 |    20998     17 |      775 |      690
449.12/449.28	c  448s |      16 |   329196 |   194552 |    20998     17 |      775 |      690
451.42/451.54	c  451s |      16 |   329933 |   195152 |    20998     17 |      775 |      690
453.52/453.63	c  453s |      16 |   330627 |   195752 |    20998     17 |      775 |      690
455.72/455.85	c  455s |      16 |   331268 |   196352 |    23098     17 |      775 |      690
458.12/458.25	c  457s |      16 |   331924 |   196952 |    23098     17 |      775 |      690
460.22/460.37	c  460s |      17 |   332428 |   197432 |    23098     17 |      775 |      690
462.32/462.44	c  462s |      17 |   336293 |   198932 |    23098     17 |      775 |      690
464.42/464.55	c  464s |      17 |   343846 |   200732 |    23098     17 |      776 |      690
466.52/466.62	c  466s |      17 |   346526 |   202332 |    23098     17 |      776 |      690
468.63/468.74	c  468s |      17 |   348007 |   203532 |    23098     17 |      776 |      690
470.73/470.90	c  470s |      17 |   349196 |   204532 |    23098     17 |      776 |      690
473.03/473.17	c  472s |      17 |   350216 |   205432 |    23098     17 |      776 |      690
475.22/475.39	c  475s |      17 |   351246 |   206332 |    23098     17 |      776 |      690
477.42/477.59	c  477s |      17 |   351999 |   207032 |    23098     18 |      776 |      690
479.52/479.64	c  479s |      17 |   352873 |   207832 |    23098     18 |      776 |      690
481.72/481.84	c  481s |      17 |   354075 |   208832 |    23098     18 |      776 |      690
483.92/484.01	c  483s |      17 |   355305 |   209832 |    23098     18 |      776 |      690
486.02/486.11	c  485s |      17 |   356269 |   210632 |    23098     18 |      776 |      690
488.12/488.21	c  487s |      17 |   357389 |   211532 |    23098     18 |      776 |      690
490.12/490.28	c  490s |      17 |   358346 |   212332 |    23098     18 |      776 |      690
492.22/492.34	c  492s |      17 |   359149 |   213032 |    23098     18 |      776 |      690
494.31/494.40	c  494s |      17 |   359783 |   213632 |    23098     18 |      776 |      690
496.41/496.50	c  496s |      17 |   360604 |   214332 |    23098     18 |      776 |      690
498.41/498.59	c  498s |      17 |   361266 |   214932 |    23098     18 |      776 |      690
500.71/500.83	c  500s |      17 |   361922 |   215532 |    23098     18 |      776 |      690
502.91/503.07	c  502s |      17 |   362554 |   216132 |    23098     18 |      776 |      690
505.01/505.15	c  504s |      17 |   363396 |   216832 |    23098     18 |      776 |      690
507.21/507.36	c  507s |      17 |   364221 |   217532 |    23098     18 |      776 |      690
509.41/509.50	c  509s |      17 |   365010 |   218232 |    23098     18 |      776 |      690
511.61/511.70	c  511s |      17 |   365715 |   218832 |    23098     18 |      776 |      690
513.81/513.94	c  513s |      17 |   366400 |   219432 |    23098     18 |      776 |      690
516.01/516.12	c  515s |      17 |   367119 |   220032 |    23098     19 |      776 |      690
518.12/518.21	c  517s |      17 |   368051 |   220832 |    23098     19 |      776 |      690
520.11/520.24	c  519s |      17 |   368858 |   221532 |    23098     19 |      776 |      690
522.21/522.37	c  522s |      17 |   369656 |   222232 |    23098     19 |      776 |      690
524.41/524.57	c  524s |      17 |   370335 |   222832 |    23098     19 |      776 |      690
526.61/526.76	c  526s |      17 |   371038 |   223432 |    23098     19 |      776 |      690
528.61/528.79	c  528s |      17 |   372080 |   224232 |    23098     19 |      776 |      690
530.61/530.79	c  530s |      17 |   372875 |   224932 |    23098     19 |      776 |      690
532.81/532.94	c  532s |      17 |   373686 |   225632 |    23098     19 |      776 |      690
535.01/535.11	c  534s |      17 |   374475 |   226332 |    23098     19 |      776 |      690
537.21/537.36	c  537s |      17 |   375477 |   227132 |    23098     19 |      776 |      690
539.41/539.59	c  539s |      17 |   376256 |   227832 |    23098     19 |      776 |      690
541.61/541.76	c  541s |      17 |   376938 |   228432 |    23098     19 |      776 |      690
543.71/543.86	c  543s |      17 |   377605 |   229032 |    23098     19 |      776 |      690
546.01/546.10	c  545s |      17 |   378347 |   229732 |    23098     19 |      776 |      690
548.00/548.16	c  547s |      17 |   379008 |   230332 |    23098     19 |      776 |      690
550.40/550.52	c  550s |      17 |   379638 |   230932 |    23098     19 |      776 |      690
552.70/552.85	c  552s |      17 |   380288 |   231532 |    23098     19 |      776 |      690
554.80/554.97	c  554s |      17 |   380950 |   232132 |    23098     19 |      776 |      690
557.00/557.14	c  556s |      17 |   381649 |   232732 |    23098     19 |      776 |      690
559.20/559.32	c  559s |      17 |   382347 |   233332 |    23098     20 |      776 |      690
561.30/561.41	c  561s |      17 |   383255 |   234132 |    23098     20 |      776 |      690
563.30/563.44	c  563s |      17 |   384161 |   234932 |    23098     20 |      776 |      690
565.41/565.53	c  565s |      17 |   384933 |   235632 |    23098     20 |      776 |      690
567.70/567.83	c  567s |      17 |   385699 |   236332 |    23098     20 |      776 |      690
569.81/569.98	c  569s |      17 |   386459 |   237032 |    23098     20 |      776 |      690
572.10/572.20	c  571s |      17 |   387231 |   237732 |    23098     20 |      776 |      690
574.11/574.28	c  574s |      17 |   388015 |   238432 |    23098     20 |      776 |      690
576.41/576.56	c  576s |      17 |   388752 |   239132 |    23098     20 |      776 |      690
578.80/578.93	c  578s |      17 |   389523 |   239832 |    23098     20 |      776 |      690
580.81/580.97	c  580s |      17 |   390088 |   240332 |    23098     20 |      776 |      690
582.91/583.06	c  582s |      17 |   390746 |   240932 |    23098     20 |      776 |      690
585.11/585.28	c  585s |      17 |   391414 |   241532 |    23098     20 |      776 |      690
587.20/587.38	c  587s |      17 |   392057 |   242132 |    23098     20 |      776 |      690
589.30/589.44	c  589s |      17 |   392723 |   242732 |    23098     20 |      776 |      690
591.40/591.58	c  591s |      17 |   393276 |   243232 |    23098     20 |      776 |      690
593.60/593.76	c  593s |      17 |   393966 |   243832 |    23098     20 |      776 |      690
595.80/595.95	c  595s |      17 |   394635 |   244432 |    23098     20 |      776 |      690
597.90/598.06	c  597s |      17 |   395177 |   244932 |    23098     20 |      776 |      690
600.10/600.22	c  599s |      17 |   395711 |   245432 |    23098     20 |      776 |      690
602.59/602.71	c  602s |      17 |   396366 |   246032 |    23098     20 |      776 |      690
604.59/604.71	c  604s |      17 |   396939 |   246532 |    23098     21 |      776 |      690
606.59/606.79	c  606s |      17 |   397763 |   247232 |    23098     21 |      776 |      690
608.69/608.88	c  608s |      17 |   398570 |   247932 |    23098     21 |      776 |      690
610.89/611.07	c  610s |      17 |   399381 |   248632 |    23098     21 |      776 |      690
612.89/613.09	c  612s |      17 |   400059 |   249232 |    23098     21 |      776 |      690
614.99/615.18	c  614s |      17 |   400702 |   249832 |    23098     21 |      776 |      690
617.19/617.36	c  617s |      17 |   401360 |   250432 |    23098     21 |      776 |      690
619.39/619.51	c  619s |      17 |   402019 |   251032 |    23098     21 |      776 |      690
621.50/621.68	c  621s |      17 |   402562 |   251532 |    23098     21 |      776 |      690
623.70/623.81	c  623s |      17 |   403209 |   252132 |    23098     21 |      776 |      690
625.90/626.02	c  625s |      17 |   404055 |   252832 |    23098     21 |      776 |      690
627.89/628.08	c  627s |      17 |   404767 |   253432 |    23098     21 |      776 |      690
629.99/630.14	c  629s |      17 |   405486 |   254032 |    23098     21 |      776 |      690
631.99/632.15	c  631s |      17 |   406167 |   254632 |    23098     21 |      776 |      690
634.09/634.24	c  633s |      17 |   406856 |   255232 |    23098     21 |      776 |      690
636.39/636.51	c  636s |      17 |   407508 |   255832 |    23098     21 |      776 |      690
638.50/638.67	c  638s |      17 |   408207 |   256432 |    23098     21 |      776 |      690
640.60/640.77	c  640s |      17 |   408753 |   256932 |    23098     21 |      776 |      690
642.70/642.87	c  642s |      17 |   409306 |   257432 |    23098     21 |      776 |      690
644.80/644.97	c  644s |      17 |   409844 |   257932 |    23098     21 |      776 |      690
646.99/647.14	c  646s |      17 |   410410 |   258432 |    23098     21 |      776 |      690
649.09/649.25	c  648s |      17 |   410978 |   258932 |    23098     21 |      776 |      690
651.10/651.28	c  651s |      17 |   411548 |   259432 |    23098     21 |      776 |      690
653.40/653.59	c  653s |      17 |   412097 |   259932 |    23098     22 |      776 |      690
655.60/655.79	c  655s |      17 |   412888 |   260632 |    23098     22 |      776 |      690
657.99/658.10	c  657s |      17 |   413676 |   261332 |    23098     22 |      776 |      690
660.09/660.27	c  659s |      17 |   414345 |   261932 |    23098     22 |      776 |      690
662.10/662.28	c  662s |      17 |   415019 |   262532 |    23098     22 |      776 |      690
664.19/664.40	c  664s |      17 |   415683 |   263132 |    23098     22 |      776 |      690
666.50/666.62	c  666s |      17 |   416333 |   263732 |    23098     22 |      776 |      690
668.70/668.89	c  668s |      17 |   417129 |   264432 |    23098     22 |      776 |      690
670.90/671.08	c  670s |      17 |   417820 |   265032 |    23098     22 |      776 |      690
672.99/673.19	c  672s |      17 |   418499 |   265632 |    23098     22 |      776 |      690
675.40/675.53	c  675s |      17 |   419177 |   266232 |    23098     22 |      776 |      690
677.79/677.95	c  677s |      17 |   419836 |   266832 |    23098     22 |      776 |      690
679.99/680.10	c  679s |      17 |   420526 |   267432 |    23098     22 |      776 |      690
682.29/682.43	c  682s |      17 |   421198 |   268032 |    23098     22 |      776 |      690
684.39/684.51	c  684s |      17 |   421739 |   268532 |    23098     22 |      776 |      690
686.69/686.82	c  686s |      17 |   422279 |   269032 |    23098     22 |      776 |      690
688.79/688.96	c  688s |      17 |   422999 |   269632 |    23098     22 |      776 |      690
691.18/691.32	c  691s |      17 |   423684 |   270232 |    23098     22 |      776 |      690
693.28/693.48	c  693s |      17 |   424370 |   270832 |    23098     22 |      776 |      690
695.48/695.61	c  695s |      17 |   424927 |   271332 |    23098     22 |      776 |      690
697.48/697.64	c  697s |      17 |   425648 |   271932 |    23098     22 |      776 |      690
699.49/699.67	c  699s |      17 |   426232 |   272432 |    23098     22 |      776 |      690
701.69/701.90	c  701s |      17 |   426676 |   272832 |    23098     23 |      776 |      690
703.78/703.99	c  703s |      17 |   427459 |   273532 |    23098     23 |      776 |      690
705.98/706.19	c  705s |      17 |   428227 |   274232 |    23098     23 |      776 |      690
708.08/708.29	c  708s |      17 |   429031 |   274932 |    23098     23 |      776 |      690
710.18/710.35	c  710s |      17 |   429684 |   275532 |    23098     23 |      776 |      690
712.38/712.57	c  712s |      17 |   430328 |   276132 |    23098     23 |      776 |      690
714.38/714.58	c  714s |      17 |   430882 |   276632 |    23098     23 |      776 |      690
716.68/716.85	c  716s |      17 |   431647 |   277332 |    23098     23 |      776 |      690
718.68/718.85	c  718s |      17 |   432309 |   277932 |    23098     23 |      776 |      690
720.88/721.00	c  720s |      17 |   432978 |   278532 |    23098     23 |      776 |      690
723.18/723.31	c  723s |      17 |   433737 |   279232 |    23098     23 |      776 |      690
725.17/725.31	c  725s |      17 |   434409 |   279832 |    23098     23 |      776 |      690
727.37/727.59	c  727s |      17 |   435056 |   280432 |    23098     23 |      776 |      690
729.67/729.85	c  729s |      17 |   435726 |   281032 |    23098     23 |      776 |      690
731.97/732.12	c  731s |      17 |   436404 |   281632 |    23098     23 |      776 |      690
733.97/734.15	c  733s |      17 |   436940 |   282132 |    23098     23 |      776 |      690
736.27/736.43	c  736s |      17 |   437599 |   282732 |    23098     23 |      776 |      690
738.47/738.66	c  738s |      17 |   438159 |   283232 |    23098     23 |      776 |      690
740.57/740.74	c  740s |      17 |   438715 |   283732 |    23098     23 |      776 |      690
742.77/742.96	c  742s |      17 |   439281 |   284232 |    23098     23 |      776 |      690
745.07/745.27	c  744s |      17 |   439840 |   284732 |    23098     23 |      776 |      690
747.57/747.72	c  747s |      17 |   440396 |   285232 |    23098     23 |      776 |      690
749.77/749.97	c  749s |      17 |   440957 |   285732 |    23098     23 |      776 |      690
752.47/752.62	c  752s |      17 |   441481 |   286232 |    23098     24 |      776 |      690
754.57/754.80	c  754s |      17 |   442129 |   286832 |    23098     24 |      776 |      690
756.87/757.00	c  756s |      17 |   442932 |   287532 |    23098     24 |      776 |      690
758.87/759.04	c  758s |      17 |   443588 |   288132 |    23098     24 |      776 |      690
761.17/761.39	c  761s |      17 |   444377 |   288832 |    23098     24 |      776 |      690
763.46/763.68	c  763s |      17 |   445041 |   289432 |    23098     24 |      776 |      690
765.66/765.86	c  765s |      17 |   445701 |   290032 |    23098     24 |      776 |      690
767.96/768.10	c  767s |      17 |   446353 |   290632 |    23098     24 |      776 |      690
770.26/770.48	c  770s |      17 |   446997 |   291232 |    23098     24 |      776 |      690
772.56/772.74	c  772s |      17 |   447699 |   291832 |    23098     24 |      776 |      690
774.86/775.05	c  774s |      17 |   448377 |   292432 |    23098     24 |      776 |      690
777.06/777.28	c  777s |      17 |   449060 |   293032 |    23098     24 |      776 |      690
779.46/779.63	c  779s |      17 |   449737 |   293632 |    23098     24 |      776 |      690
781.66/781.86	c  781s |      17 |   450436 |   294232 |    25408     24 |      776 |      690
783.96/784.17	c  783s |      17 |   451099 |   294832 |    25408     24 |      776 |      690
786.06/786.26	c  785s |      17 |   451656 |   295332 |    25408     24 |      776 |      690
788.46/788.62	c  788s |      17 |   452305 |   295932 |    25408     24 |      776 |      690
789.76/789.93	c  789s |      18 |   452668 |   296252 |    25408     24 |      776 |      690
791.86/792.05	c  791s |      18 |   463501 |   298452 |    25408     24 |      776 |      690
793.96/794.16	c  793s |      18 |   467979 |   300252 |    25408     24 |      776 |      690
796.06/796.22	c  795s |      18 |   470927 |   301652 |    25408     25 |      776 |      690
798.06/798.28	c  797s |      18 |   473882 |   303052 |    25408     25 |      776 |      690
800.16/800.38	c  800s |      18 |   476225 |   304352 |    25408     25 |      776 |      690
802.26/802.43	c  802s |      18 |   477610 |   305352 |    25408     25 |      776 |      690
804.45/804.60	c  804s |      18 |   478642 |   306152 |    25408     25 |      776 |      690
806.76/806.90	c  806s |      18 |   479831 |   307052 |    25408     25 |      776 |      690
808.76/808.91	c  808s |      18 |   480575 |   307652 |    25408     25 |      776 |      690
810.96/811.10	c  810s |      18 |   481341 |   308252 |    25408     25 |      776 |      690
813.06/813.26	c  812s |      18 |   482460 |   309152 |    25408     25 |      776 |      690
815.16/815.31	c  815s |      18 |   483438 |   309952 |    25408     25 |      776 |      690
817.26/817.42	c  817s |      18 |   484323 |   310652 |    25408     25 |      776 |      690
819.55/819.74	c  819s |      18 |   485197 |   311352 |    25408     25 |      776 |      690
821.75/821.99	c  821s |      18 |   486015 |   312052 |    25408     25 |      776 |      690
824.15/824.36	c  824s |      18 |   486723 |   312652 |    25408     25 |      776 |      690
826.35/826.57	c  826s |      18 |   487427 |   313252 |    25408     25 |      776 |      690
828.45/828.61	c  828s |      18 |   488141 |   313852 |    25408     25 |      776 |      690
830.54/830.76	c  830s |      18 |   488863 |   314452 |    25408     25 |      776 |      690
832.95/833.17	c  832s |      18 |   489527 |   315052 |    25408     25 |      776 |      690
835.15/835.30	c  835s |      18 |   490079 |   315552 |    25408     25 |      776 |      690
837.65/837.82	c  837s |      18 |   490634 |   316052 |    25408     26 |      776 |      690
840.15/840.38	c  840s |      18 |   491528 |   316752 |    25408     26 |      776 |      690
842.25/842.43	c  842s |      18 |   492556 |   317452 |    25408     26 |      776 |      690
844.25/844.45	c  844s |      18 |   493461 |   318152 |    25408     26 |      776 |      690
846.25/846.47	c  846s |      18 |   494424 |   318852 |    25408     26 |      776 |      690
848.55/848.76	c  848s |      18 |   495160 |   319452 |    25408     26 |      776 |      690
850.95/851.15	c  850s |      18 |   495753 |   319952 |    25408     26 |      776 |      690
853.45/853.61	c  853s |      18 |   496221 |   320352 |    25408     26 |      776 |      690
855.75/855.99	c  855s |      18 |   496800 |   320852 |    25408     26 |      776 |      690
858.24/858.40	c  858s |      18 |   497373 |   321352 |    25408     26 |      776 |      690
860.74/860.99	c  860s |      18 |   497951 |   321852 |    25408     26 |      776 |      690
862.84/863.04	c  862s |      18 |   498421 |   322252 |    25408     26 |      776 |      690
864.94/865.19	c  864s |      18 |   498882 |   322652 |    25408     26 |      776 |      690
867.54/867.72	c  867s |      18 |   499333 |   323052 |    25408     26 |      776 |      690
869.64/869.81	c  869s |      18 |   499664 |   323352 |    25408     26 |      776 |      690
871.74/871.97	c  871s |      18 |   500144 |   323752 |    25408     26 |      776 |      690
873.74/873.98	c  873s |      18 |   500623 |   324152 |    25408     26 |      776 |      690
876.03/876.28	c  876s |      18 |   501059 |   324552 |    25408     26 |      776 |      690
878.74/879.00	c  878s |      18 |   501513 |   324952 |    25408     26 |      776 |      690
881.24/881.44	c  881s |      18 |   501978 |   325352 |    25408     26 |      776 |      690
883.44/883.60	c  883s |      18 |   502446 |   325752 |    25408     26 |      776 |      690
885.74/885.91	c  885s |      18 |   502897 |   326152 |    25408     26 |      776 |      690
888.14/888.36	c  888s |      18 |   503352 |   326552 |    25408     26 |      776 |      690
890.44/890.67	c  890s |      18 |   503819 |   326952 |    25408     26 |      776 |      690
892.44/892.69	c  892s |      18 |   504149 |   327252 |    25408     26 |      776 |      690
895.03/895.27	c  894s |      18 |   504614 |   327652 |    25408     26 |      776 |      690
897.54/897.74	c  897s |      18 |   505046 |   328052 |    25408     26 |      776 |      690
899.53/899.78	c  899s |      18 |   505557 |   328452 |    25408     26 |      776 |      690
902.23/902.47	c  902s |      18 |   506103 |   328952 |    25408     26 |      776 |      690
904.83/905.02	c  904s |      18 |   506698 |   329452 |    25408     26 |      776 |      690
906.83/907.08	c  906s |      18 |   507157 |   329852 |    25408     26 |      776 |      690
909.03/909.25	c  908s |      18 |   507626 |   330252 |    25408     26 |      776 |      690
911.22/911.44	c  911s |      18 |   507959 |   330552 |    25408     27 |      776 |      690
913.73/913.93	c  913s |      18 |   508537 |   331052 |    25408     27 |      776 |      690
915.83/916.03	c  915s |      18 |   508989 |   331452 |    25408     27 |      776 |      690
917.83/918.03	c  917s |      18 |   509483 |   331852 |    25408     27 |      776 |      690
920.33/920.52	c  920s |      18 |   510045 |   332352 |    25408     27 |      776 |      690
922.53/922.74	c  922s |      18 |   510475 |   332752 |    25408     27 |      776 |      690
924.93/925.13	c  924s |      18 |   510928 |   333152 |    25408     27 |      776 |      690
927.02/927.28	c  927s |      18 |   511403 |   333552 |    25408     27 |      776 |      690
929.62/929.84	c  929s |      18 |   511848 |   333952 |    25408     27 |      776 |      690
931.92/932.14	c  931s |      18 |   512554 |   334552 |    25408     27 |      776 |      690
934.02/934.20	c  933s |      18 |   513125 |   335052 |    25408     27 |      776 |      690
936.21/936.41	c  936s |      18 |   513714 |   335552 |    25408     27 |      776 |      690
938.31/938.57	c  938s |      18 |   514299 |   336052 |    25408     27 |      776 |      690
940.91/941.12	c  940s |      18 |   514842 |   336552 |    25408     27 |      776 |      690
943.11/943.38	c  943s |      18 |   515437 |   337052 |    25408     27 |      776 |      690
945.50/945.73	c  945s |      18 |   515998 |   337552 |    25408     27 |      776 |      690
947.80/948.03	c  947s |      18 |   516726 |   338152 |    25408     27 |      776 |      690
949.80/950.04	c  949s |      18 |   517386 |   338652 |    25408     27 |      776 |      690
952.00/952.27	c  951s |      18 |   518079 |   339152 |    25408     27 |      776 |      690
954.00/954.28	c  954s |      18 |   519607 |   339952 |    25408     27 |      776 |      690
956.20/956.46	c  956s |      18 |   520707 |   340752 |    25408     27 |      776 |      690
958.30/958.50	c  958s |      18 |   521467 |   341352 |    25408     27 |      776 |      690
960.30/960.53	c  960s |      18 |   522207 |   341952 |    25408     27 |      776 |      690
962.50/962.73	c  962s |      18 |   522798 |   342452 |    25408     27 |      776 |      690
964.51/964.75	c  964s |      18 |   523396 |   342952 |    25408     27 |      776 |      690
966.90/967.14	c  966s |      18 |   523982 |   343452 |    25408     27 |      776 |      690
969.01/969.21	c  968s |      18 |   525108 |   344052 |    25408     27 |      776 |      690
971.00/971.27	c  970s |      18 |   525943 |   344552 |    25408     28 |      776 |      690
973.20/973.43	c  973s |      18 |   527801 |   345552 |    25408     28 |      776 |      690
975.40/975.65	c  975s |      18 |   528783 |   346352 |    25408     28 |      776 |      690
977.40/977.68	c  977s |      18 |   529511 |   346952 |    25408     28 |      776 |      690
979.70/979.96	c  979s |      18 |   530305 |   347652 |    25408     28 |      776 |      690
981.89/982.12	c  981s |      18 |   530873 |   348152 |    25408     28 |      776 |      690
984.09/984.34	c  984s |      18 |   531572 |   348752 |    25408     28 |      776 |      690
986.09/986.39	c  986s |      18 |   532618 |   349552 |    25408     28 |      776 |      690
988.29/988.51	c  988s |      18 |   533478 |   350252 |    25408     28 |      776 |      690
990.39/990.68	c  990s |      18 |   534361 |   350952 |    25408     28 |      776 |      690
992.59/992.89	c  992s |      18 |   535210 |   351652 |    25408     28 |      776 |      690
994.79/995.02	c  994s |      18 |   535917 |   352252 |    25408     28 |      776 |      690
997.09/997.38	c  997s |      18 |   536613 |   352852 |    25408     28 |      776 |      690
999.19/999.40	c  999s |      18 |   537205 |   353352 |    25408     28 |      776 |      690
1001.49/1001.74	c 1001s |      18 |   537905 |   353952 |    25408     28 |      776 |      690
1003.49/1003.79	c 1003s |      18 |   538522 |   354452 |    25408     28 |      776 |      690
1005.69/1005.93	c 1005s |      18 |   539102 |   354952 |    25408     28 |      776 |      690
1007.79/1008.00	c 1007s |      18 |   539720 |   355452 |    25408     28 |      776 |      690
1010.08/1010.39	c 1010s |      18 |   540401 |   356052 |    25408     28 |      776 |      690
1012.28/1012.59	c 1012s |      18 |   541140 |   356652 |    25408     28 |      776 |      690
1014.38/1014.69	c 1014s |      18 |   541693 |   357152 |    25408     28 |      776 |      690
1016.48/1016.74	c 1016s |      18 |   542266 |   357652 |    25408     28 |      776 |      690
1018.58/1018.81	c 1018s |      18 |   542847 |   358152 |    25408     28 |      776 |      690
1020.78/1021.06	c 1020s |      18 |   543429 |   358652 |    25408     28 |      776 |      690
1023.18/1023.43	c 1023s |      18 |   543999 |   359152 |    25408     29 |      776 |      690
1025.17/1025.47	c 1025s |      18 |   544558 |   359652 |    25408     29 |      776 |      690
1027.18/1027.49	c 1027s |      18 |   545129 |   360152 |    25408     29 |      776 |      690
1029.57/1029.84	c 1029s |      18 |   545673 |   360652 |    25408     29 |      776 |      690
1031.58/1031.88	c 1031s |      18 |   546224 |   361152 |    25408     29 |      776 |      690
1033.67/1033.94	c 1033s |      18 |   546871 |   361652 |    25408     29 |      776 |      690
1035.68/1035.97	c 1035s |      18 |   547709 |   362352 |    25408     29 |      776 |      690
1037.88/1038.15	c 1037s |      18 |   548490 |   362952 |    25408     29 |      776 |      690
1040.18/1040.47	c 1040s |      18 |   549477 |   363752 |    25408     29 |      776 |      690
1042.48/1042.74	c 1042s |      18 |   550116 |   364352 |    25408     29 |      776 |      690
1044.48/1044.79	c 1044s |      18 |   551051 |   365052 |    25408     29 |      776 |      690
1046.67/1046.98	c 1046s |      18 |   551885 |   365752 |    25408     29 |      776 |      690
1048.77/1049.08	c 1048s |      18 |   552626 |   366352 |    25408     29 |      776 |      690
1050.97/1051.25	c 1050s |      18 |   553195 |   366852 |    25408     29 |      776 |      690
1053.37/1053.67	c 1053s |      18 |   553868 |   367352 |    25408     29 |      776 |      690
1055.66/1055.92	c 1055s |      18 |   555315 |   368052 |    25408     29 |      776 |      690
1057.86/1058.14	c 1057s |      18 |   555950 |   368552 |    25408     29 |      776 |      690
1059.86/1060.19	c 1059s |      18 |   556402 |   368952 |    25408     29 |      776 |      690
1061.96/1062.25	c 1061s |      18 |   556834 |   369352 |    25408     29 |      776 |      690
1064.06/1064.39	c 1064s |      18 |   557385 |   369852 |    25408     29 |      776 |      690
1066.35/1066.67	c 1066s |      18 |   558099 |   370452 |    25408     29 |      776 |      690
1068.75/1069.06	c 1068s |      18 |   558998 |   371152 |    25408     29 |      776 |      690
1070.95/1071.27	c 1070s |      18 |   559719 |   371752 |    25408     29 |      776 |      690
1073.15/1073.46	c 1073s |      18 |   560504 |   372352 |    25408     29 |      776 |      690
1075.45/1075.78	c 1075s |      18 |   561078 |   372852 |    25408     29 |      776 |      690
1077.75/1078.08	c 1077s |      18 |   561561 |   373252 |    25408     30 |      776 |      690
1079.84/1080.10	c 1079s |      18 |   562145 |   373752 |    25408     30 |      776 |      690
1081.84/1082.16	c 1081s |      18 |   562843 |   374352 |    25408     30 |      776 |      690
1083.94/1084.29	c 1084s |      18 |   563564 |   374952 |    25408     30 |      776 |      690
1086.14/1086.47	c 1086s |      18 |   564326 |   375552 |    25408     30 |      776 |      690
1088.44/1088.71	c 1088s |      18 |   565012 |   376152 |    25408     30 |      776 |      690
1090.44/1090.78	c 1090s |      18 |   565591 |   376652 |    25408     30 |      776 |      690
1092.84/1093.13	c 1092s |      18 |   566278 |   377252 |    25408     30 |      776 |      690
1094.93/1095.28	c 1095s |      18 |   566835 |   377752 |    25408     30 |      776 |      690
1097.03/1097.36	c 1097s |      18 |   567650 |   378452 |    25408     30 |      776 |      690
1099.23/1099.51	c 1099s |      18 |   568465 |   379152 |    25408     30 |      776 |      690
1101.43/1101.74	c 1101s |      18 |   569144 |   379752 |    25408     30 |      776 |      690
1103.43/1103.77	c 1103s |      18 |   569750 |   380252 |    25408     30 |      776 |      690
1105.82/1106.11	c 1105s |      18 |   570329 |   380752 |    25408     30 |      776 |      690
1108.12/1108.42	c 1108s |      18 |   570782 |   381152 |    25408     30 |      776 |      690
1110.62/1110.90	c 1110s |      18 |   571370 |   381652 |    25408     30 |      776 |      690
1112.93/1113.29	c 1113s |      18 |   571966 |   382152 |    25408     30 |      776 |      690
1115.12/1115.50	c 1115s |      18 |   572553 |   382652 |    25408     30 |      776 |      690
1117.42/1117.76	c 1117s |      18 |   573104 |   383152 |    25408     30 |      776 |      690
1119.81/1120.10	c 1119s |      18 |   573666 |   383652 |    25408     30 |      776 |      690
1122.11/1122.47	c 1122s |      18 |   574228 |   384152 |    25408     30 |      776 |      690
1124.31/1124.64	c 1124s |      18 |   574672 |   384552 |    25408     30 |      776 |      690
1126.80/1127.11	c 1126s |      18 |   575216 |   385052 |    25408     30 |      776 |      690
1129.00/1129.33	c 1129s |      18 |   575660 |   385452 |    25408     30 |      776 |      690
1131.40/1131.74	c 1131s |      18 |   576282 |   385952 |    25408     30 |      776 |      690
1133.91/1134.24	c 1133s |      18 |   576737 |   386352 |    25408     30 |      776 |      690
1136.30/1136.66	c 1136s |      18 |   577190 |   386752 |    25408     30 |      776 |      690
1138.80/1139.19	c 1138s |      18 |   577647 |   387152 |    25408     31 |      776 |      690
1141.20/1141.50	c 1141s |      18 |   578211 |   387652 |    25408     31 |      776 |      690
1143.20/1143.53	c 1143s |      18 |   578658 |   388052 |    25408     31 |      776 |      690
1145.60/1145.92	c 1145s |      18 |   579234 |   388552 |    25408     31 |      776 |      690
1147.80/1148.16	c 1147s |      18 |   579676 |   388952 |    25408     31 |      776 |      690
1149.90/1150.23	c 1149s |      18 |   580461 |   389552 |    25408     31 |      776 |      690
1152.10/1152.46	c 1152s |      18 |   581028 |   390052 |    25408     31 |      776 |      690
1154.40/1154.75	c 1154s |      18 |   581464 |   390452 |    25408     31 |      776 |      690
1156.59/1156.95	c 1156s |      18 |   582135 |   391052 |    25408     31 |      776 |      690
1158.79/1159.12	c 1158s |      18 |   582703 |   391552 |    25408     31 |      776 |      690
1160.89/1161.29	c 1161s |      18 |   583043 |   391852 |    25408     31 |      776 |      690
1163.28/1163.67	c 1163s |      18 |   583595 |   392352 |    25408     31 |      776 |      690
1165.48/1165.87	c 1165s |      18 |   584150 |   392852 |    25408     31 |      776 |      690
1167.78/1168.20	c 1167s |      18 |   584716 |   393352 |    25408     31 |      776 |      690
1170.48/1170.80	c 1170s |      18 |   585164 |   393752 |    25408     31 |      776 |      690
1173.08/1173.44	c 1173s |      18 |   585701 |   394252 |    25408     31 |      776 |      690
1175.77/1176.19	c 1175s |      18 |   586160 |   394652 |    25408     31 |      776 |      690
1177.97/1178.37	c 1178s |      18 |   586477 |   394952 |    25408     31 |      776 |      690
1180.77/1181.14	c 1180s |      18 |   586922 |   395352 |    25408     31 |      776 |      690
1182.97/1183.36	c 1183s |      18 |   587248 |   395652 |    25408     31 |      776 |      690
1185.16/1185.52	c 1185s |      18 |   587599 |   395952 |    25408     31 |      776 |      690
1187.36/1187.76	c 1187s |      18 |   588039 |   396352 |    25408     31 |      776 |      690
1189.46/1189.81	c 1189s |      18 |   588470 |   396752 |    25408     31 |      776 |      690
1191.86/1192.26	c 1191s |      18 |   588982 |   397252 |    25408     31 |      776 |      690
1194.27/1194.63	c 1194s |      18 |   589684 |   397852 |    25408     31 |      776 |      690
1196.56/1196.97	c 1196s |      18 |   590237 |   398352 |    25408     31 |      776 |      690
1198.86/1199.27	c 1198s |      18 |   590659 |   398752 |    25408     31 |      776 |      690
1201.26/1201.63	c 1201s |      18 |   591204 |   399252 |    25408     31 |      776 |      690
1203.36/1203.74	c 1203s |      18 |   591747 |   399752 |    25408     31 |      776 |      690
1205.56/1205.97	c 1205s |      18 |   592213 |   400152 |    25408     31 |      776 |      690
1208.36/1208.78	c 1208s |      18 |   592627 |   400552 |    25408     31 |      776 |      690
1210.46/1210.89	c 1210s |      18 |   593121 |   400952 |    25408     31 |      776 |      690
1212.85/1213.25	c 1212s |      18 |   593572 |   401352 |    25408     31 |      776 |      690
1215.85/1216.26	c 1215s |      18 |   594024 |   401752 |    25408     32 |      776 |      690
1218.15/1218.60	c 1218s |      18 |   594714 |   402352 |    25408     32 |      776 |      690
1220.25/1220.63	c 1220s |      18 |   595258 |   402852 |    25408     32 |      776 |      690
1222.45/1222.87	c 1222s |      18 |   595788 |   403352 |    25408     32 |      776 |      690
1224.65/1225.08	c 1224s |      18 |   596364 |   403852 |    25408     32 |      776 |      690
1226.94/1227.37	c 1227s |      18 |   596905 |   404352 |    25408     32 |      776 |      690
1229.45/1229.82	c 1229s |      18 |   597595 |   404952 |    25408     32 |      776 |      690
1231.94/1232.32	c 1232s |      18 |   598194 |   405452 |    25408     32 |      776 |      690
1234.14/1234.51	c 1234s |      18 |   598642 |   405852 |    25408     32 |      776 |      690
1236.14/1236.57	c 1236s |      18 |   598955 |   406152 |    25408     32 |      776 |      690
1238.24/1238.66	c 1238s |      18 |   599277 |   406452 |    25408     32 |      776 |      690
1240.54/1240.92	c 1240s |      18 |   599595 |   406752 |    25408     32 |      776 |      690
1242.93/1243.34	c 1243s |      18 |   600178 |   407252 |    25408     32 |      776 |      690
1245.33/1245.72	c 1245s |      18 |   600669 |   407652 |    25408     32 |      776 |      690
1247.42/1247.84	c 1247s |      18 |   601134 |   408052 |    25408     32 |      776 |      690
1249.52/1249.94	c 1249s |      18 |   601621 |   408452 |    25408     32 |      776 |      690
1251.54/1251.99	c 1251s |      18 |   601974 |   408752 |    25408     32 |      776 |      690
1254.03/1254.42	c 1254s |      18 |   602583 |   409252 |    25408     32 |      776 |      690
1256.23/1256.70	c 1256s |      18 |   603028 |   409652 |    25408     32 |      776 |      690
1258.62/1259.07	c 1258s |      18 |   603472 |   410052 |    25408     32 |      776 |      690
1261.22/1261.69	c 1261s |      18 |   603937 |   410452 |    25408     32 |      776 |      690
1263.32/1263.70	c 1263s |      18 |   604277 |   410752 |    25408     32 |      776 |      690
1265.72/1266.12	c 1265s |      18 |   604742 |   411152 |    25408     32 |      776 |      690
1268.02/1268.47	c 1268s |      18 |   605206 |   411552 |    25408     32 |      776 |      690
1270.61/1271.01	c 1270s |      18 |   605777 |   412052 |    25408     32 |      776 |      690
1272.61/1273.01	c 1272s |      18 |   606249 |   412452 |    25408     32 |      776 |      690
1274.91/1275.35	c 1275s |      18 |   606690 |   412852 |    25408     32 |      776 |      690
1277.11/1277.59	c 1277s |      18 |   607142 |   413252 |    25408     32 |      776 |      690
1279.31/1279.74	c 1279s |      18 |   607647 |   413652 |    25408     32 |      776 |      690
1281.71/1282.12	c 1281s |      18 |   608106 |   414052 |    25408     32 |      776 |      690
1283.81/1284.20	c 1283s |      18 |   608448 |   414352 |    25408     32 |      776 |      690
1286.10/1286.57	c 1286s |      18 |   608870 |   414752 |    25408     32 |      776 |      690
1288.40/1288.81	c 1288s |      18 |   609201 |   415052 |    25408     32 |      776 |      690
1290.90/1291.36	c 1291s |      18 |   609643 |   415452 |    25408     32 |      776 |      690
1293.40/1293.85	c 1293s |      18 |   610097 |   415852 |    25408     32 |      776 |      690
1295.99/1296.49	c 1296s |      18 |   610451 |   416152 |    25408     33 |      776 |      690
1298.19/1298.65	c 1298s |      18 |   610894 |   416552 |    25408     33 |      776 |      690
1300.59/1301.08	c 1300s |      18 |   611624 |   417152 |    25408     33 |      776 |      690
1303.10/1303.54	c 1303s |      18 |   612210 |   417652 |    25408     33 |      776 |      690
1305.39/1305.86	c 1305s |      18 |   612896 |   418252 |    25408     33 |      776 |      690
1307.79/1308.21	c 1307s |      18 |   613444 |   418752 |    25408     33 |      776 |      690
1309.80/1310.27	c 1309s |      18 |   614023 |   419252 |    25408     33 |      776 |      690
1312.29/1312.76	c 1312s |      18 |   614638 |   419752 |    25408     33 |      776 |      690
1314.59/1315.08	c 1314s |      18 |   615100 |   420152 |    25408     33 |      776 |      690
1317.29/1317.78	c 1317s |      18 |   615680 |   420652 |    25408     33 |      776 |      690
1319.69/1320.18	c 1319s |      18 |   616138 |   421052 |    25408     33 |      776 |      690
1321.89/1322.34	c 1322s |      18 |   616490 |   421352 |    25408     33 |      776 |      690
1324.18/1324.64	c 1324s |      18 |   616930 |   421752 |    25408     33 |      776 |      690
1326.19/1326.67	c 1326s |      18 |   617263 |   422052 |    25408     33 |      776 |      690
1328.68/1329.10	c 1328s |      18 |   617712 |   422452 |    25408     33 |      776 |      690
1330.98/1331.48	c 1331s |      18 |   618166 |   422852 |    25408     33 |      776 |      690
1333.48/1333.96	c 1333s |      18 |   618615 |   423252 |    25408     33 |      776 |      690
1335.87/1336.39	c 1336s |      18 |   619200 |   423752 |    25408     33 |      776 |      690
1338.07/1338.51	c 1338s |      18 |   619658 |   424152 |    25408     33 |      776 |      690
1340.17/1340.64	c 1340s |      18 |   620128 |   424552 |    25408     33 |      776 |      690
1342.37/1342.86	c 1342s |      18 |   620591 |   424952 |    25408     33 |      776 |      690
1344.77/1345.27	c 1344s |      18 |   621024 |   425352 |    25408     33 |      776 |      690
1347.07/1347.55	c 1347s |      18 |   621610 |   425852 |    25408     33 |      776 |      690
1349.07/1349.56	c 1349s |      18 |   622059 |   426252 |    25408     33 |      776 |      690
1351.57/1352.00	c 1351s |      18 |   622514 |   426652 |    25408     33 |      776 |      690
1353.57/1354.02	c 1353s |      18 |   622846 |   426952 |    25408     33 |      776 |      690
1355.56/1356.08	c 1355s |      18 |   623175 |   427252 |    25408     33 |      776 |      690
1358.17/1358.66	c 1358s |      18 |   623697 |   427652 |    25408     33 |      776 |      690
1360.56/1361.09	c 1360s |      18 |   624168 |   428052 |    25408     33 |      776 |      690
1362.86/1363.31	c 1363s |      18 |   624511 |   428352 |    25408     33 |      776 |      690
1364.85/1365.33	c 1365s |      18 |   624979 |   428752 |    25408     33 |      776 |      690
1367.35/1367.88	c 1367s |      18 |   625424 |   429152 |    25408     33 |      776 |      690
1369.65/1370.16	c 1369s |      18 |   625911 |   429552 |    25408     33 |      776 |      690
1371.95/1372.40	c 1372s |      18 |   626382 |   429952 |    25408     33 |      776 |      690
1374.15/1374.66	c 1374s |      18 |   626854 |   430352 |    25408     33 |      776 |      690
1376.65/1377.13	c 1376s |      18 |   627211 |   430652 |    25408     34 |      776 |      690
1378.85/1379.39	c 1379s |      18 |   627811 |   431152 |    25408     34 |      776 |      690
1381.05/1381.55	c 1381s |      18 |   628262 |   431552 |    25408     34 |      776 |      690
1383.64/1384.11	c 1383s |      18 |   628873 |   432052 |    25408     34 |      776 |      690
1385.94/1386.46	c 1386s |      18 |   629296 |   432452 |    25408     34 |      776 |      690
1388.34/1388.89	c 1388s |      18 |   629903 |   432952 |    25408     34 |      776 |      690
1390.74/1391.23	c 1390s |      18 |   630526 |   433452 |    25408     34 |      776 |      690
1393.15/1393.61	c 1393s |      18 |   631108 |   433952 |    25408     34 |      776 |      690
1395.15/1395.65	c 1395s |      18 |   631585 |   434352 |    25408     34 |      776 |      690
1397.35/1397.88	c 1397s |      18 |   632030 |   434752 |    25408     34 |      776 |      690
1399.55/1400.06	c 1399s |      18 |   632527 |   435152 |    25408     34 |      776 |      690
1402.16/1402.60	c 1402s |      18 |   633098 |   435652 |    25408     34 |      776 |      690
1404.26/1404.72	c 1404s |      18 |   633563 |   436052 |    25408     34 |      776 |      690
1406.45/1406.96	c 1406s |      18 |   634019 |   436452 |    25408     34 |      776 |      690
1408.75/1409.26	c 1408s |      18 |   634484 |   436852 |    25408     34 |      776 |      690
1411.14/1411.69	c 1411s |      18 |   634943 |   437252 |    25408     34 |      776 |      690
1413.64/1414.10	c 1413s |      18 |   635440 |   437652 |    25408     34 |      776 |      690
1415.74/1416.20	c 1415s |      18 |   635926 |   438052 |    25408     34 |      776 |      690
1418.14/1418.62	c 1418s |      18 |   636361 |   438452 |    25408     34 |      776 |      690
1420.54/1421.01	c 1420s |      18 |   636817 |   438852 |    25408     34 |      776 |      690
1423.05/1423.55	c 1423s |      18 |   637267 |   439252 |    25408     34 |      776 |      690
1425.15/1425.64	c 1425s |      18 |   637729 |   439652 |    25408     34 |      776 |      690
1427.14/1427.69	c 1427s |      18 |   638221 |   440052 |    25408     34 |      776 |      690
1429.44/1429.96	c 1429s |      18 |   638699 |   440452 |    25408     34 |      776 |      690
1431.94/1432.47	c 1432s |      18 |   639161 |   440852 |    25408     34 |      776 |      690
1434.64/1435.12	c 1434s |      18 |   639604 |   441252 |    25408     34 |      776 |      690
1436.94/1437.49	c 1437s |      18 |   640027 |   441652 |    27949     34 |      776 |      690
1439.54/1440.09	c 1439s |      18 |   640458 |   442052 |    27949     34 |      776 |      690
1441.94/1442.40	c 1442s |      18 |   640783 |   442352 |    27949     34 |      776 |      690
1444.14/1444.64	c 1444s |      18 |   641121 |   442652 |    27949     34 |      776 |      690
1446.44/1446.99	c 1446s |      18 |   641588 |   443052 |    27949     34 |      776 |      690
1448.84/1449.36	c 1449s |      18 |   642077 |   443452 |    27949     34 |      776 |      690
1451.24/1451.80	c 1451s |      18 |   642565 |   443852 |    27949     34 |      776 |      690
1453.44/1453.97	c 1453s |      18 |   642893 |   444152 |    27949     34 |      776 |      690
1455.54/1456.02	c 1455s |      18 |   643230 |   444452 |    27949     34 |      776 |      690
1455.64/1456.17	c 1455s |      19 |   643261 |   444482 |    27949     34 |      776 |      690
1457.84/1458.30	c 1458s |      19 |   646276 |   445382 |    27949     34 |      776 |      690
1459.84/1460.34	c 1460s |      19 |   647930 |   446782 |    27949     34 |      776 |      690
1461.94/1462.42	c 1462s |      19 |   649847 |   447782 |    27949     35 |      776 |      690
1464.04/1464.59	c 1464s |      19 |   651875 |   449182 |    27949     35 |      776 |      690
1466.04/1466.59	c 1466s |      19 |   653689 |   450482 |    27949     35 |      776 |      690
1468.15/1468.61	c 1468s |      19 |   654913 |   451482 |    27949     35 |      776 |      690
1470.25/1470.77	c 1470s |      19 |   656341 |   452582 |    27949     35 |      776 |      690
1472.45/1472.96	c 1472s |      19 |   657628 |   453582 |    27949     35 |      776 |      690
1474.44/1474.97	c 1474s |      19 |   658752 |   454482 |    27949     35 |      776 |      690
1476.64/1477.13	c 1476s |      19 |   660064 |   455482 |    27949     35 |      776 |      690
1478.64/1479.16	c 1478s |      19 |   661176 |   456382 |    27949     35 |      776 |      690
1480.74/1481.24	c 1480s |      19 |   662197 |   457182 |    27949     35 |      776 |      690
1482.94/1483.43	c 1483s |      19 |   663218 |   457982 |    27949     35 |      776 |      690
1485.24/1485.73	c 1485s |      19 |   664312 |   458882 |    27949     35 |      776 |      690
1487.23/1487.77	c 1487s |      19 |   665162 |   459582 |    27949     35 |      776 |      690
1489.33/1489.87	c 1489s |      19 |   666018 |   460282 |    27949     35 |      776 |      690
1491.43/1491.90	c 1491s |      19 |   666795 |   460982 |    27949     35 |      776 |      690
1493.53/1494.08	c 1493s |      19 |   667582 |   461682 |    27949     35 |      776 |      690
1495.93/1496.41	c 1496s |      19 |   668392 |   462382 |    27949     35 |      776 |      690
1498.33/1498.82	c 1498s |      19 |   668936 |   462882 |    27949     36 |      776 |      690
1500.43/1500.93	c 1500s |      19 |   669597 |   463482 |    27949     36 |      776 |      690
1502.73/1503.22	c 1502s |      19 |   670262 |   464082 |    27949     36 |      776 |      690
1504.93/1505.46	c 1505s |      19 |   670808 |   464582 |    27949     36 |      776 |      690
1507.03/1507.57	c 1507s |      19 |   671369 |   465082 |    27949     36 |      776 |      690
1509.13/1509.66	c 1509s |      19 |   671918 |   465582 |    27949     36 |      776 |      690
1511.43/1511.96	c 1511s |      19 |   672628 |   466182 |    27949     36 |      776 |      690
1513.63/1514.19	c 1513s |      19 |   673194 |   466682 |    27949     36 |      776 |      690
1515.93/1516.43	c 1516s |      19 |   673890 |   467282 |    27949     36 |      776 |      690
1518.23/1518.78	c 1518s |      19 |   674586 |   467882 |    27949     36 |      776 |      690
1520.43/1520.98	c 1520s |      19 |   675127 |   468382 |    27949     36 |      776 |      690
1522.53/1523.03	c 1522s |      19 |   675704 |   468882 |    27949     36 |      776 |      690
1524.53/1525.08	c 1524s |      19 |   676250 |   469382 |    27949     36 |      776 |      690
1526.63/1527.10	c 1526s |      19 |   676805 |   469882 |    27949     36 |      776 |      690
1528.83/1529.37	c 1529s |      19 |   677388 |   470382 |    27949     36 |      776 |      690
1530.83/1531.38	c 1531s |      19 |   677842 |   470782 |    27949     36 |      776 |      690
1533.03/1533.52	c 1533s |      19 |   678421 |   471282 |    27949     36 |      776 |      690
1535.23/1535.75	c 1535s |      19 |   679001 |   471782 |    27949     36 |      776 |      690
1537.52/1538.01	c 1537s |      19 |   679595 |   472282 |    27949     36 |      776 |      690
1539.72/1540.28	c 1539s |      19 |   680185 |   472782 |    27949     36 |      776 |      690
1542.02/1542.53	c 1542s |      19 |   680732 |   473282 |    27949     36 |      776 |      690
1544.32/1544.81	c 1544s |      19 |   681337 |   473782 |    27949     36 |      776 |      690
1546.42/1546.98	c 1546s |      19 |   681781 |   474182 |    27949     36 |      776 |      690
1548.62/1549.18	c 1548s |      19 |   682231 |   474582 |    27949     36 |      776 |      690
1550.82/1551.36	c 1551s |      19 |   682835 |   475082 |    27949     36 |      776 |      690
1553.02/1553.53	c 1553s |      19 |   683444 |   475582 |    27949     36 |      776 |      690
1555.12/1555.62	c 1555s |      19 |   683889 |   475982 |    27949     36 |      776 |      690
1557.52/1558.06	c 1557s |      19 |   684461 |   476482 |    27949     36 |      776 |      690
1559.92/1560.47	c 1560s |      19 |   685037 |   476982 |    27949     36 |      776 |      690
1561.92/1562.49	c 1562s |      19 |   685482 |   477382 |    27949     36 |      776 |      690
1564.12/1564.68	c 1564s |      19 |   685916 |   477782 |    27949     36 |      776 |      690
1566.22/1566.75	c 1566s |      19 |   686362 |   478182 |    27949     36 |      776 |      690
1568.32/1568.87	c 1568s |      19 |   686706 |   478482 |    27949     37 |      776 |      690
1570.62/1571.19	c 1570s |      19 |   687398 |   479082 |    27949     37 |      776 |      690
1572.82/1573.34	c 1573s |      19 |   687997 |   479582 |    27949     37 |      776 |      690
1575.12/1575.68	c 1575s |      19 |   688671 |   480182 |    27949     37 |      776 |      690
1577.52/1578.01	c 1577s |      19 |   689206 |   480682 |    27949     37 |      776 |      690
1579.62/1580.17	c 1579s |      19 |   689917 |   481282 |    27949     37 |      776 |      690
1581.72/1582.20	c 1581s |      19 |   690470 |   481782 |    27949     37 |      776 |      690
1583.72/1584.20	c 1583s |      19 |   691055 |   482282 |    27949     37 |      776 |      690
1585.72/1586.27	c 1585s |      19 |   691613 |   482782 |    27949     37 |      776 |      690
1588.22/1588.71	c 1588s |      19 |   692300 |   483382 |    27949     37 |      776 |      690
1590.32/1590.87	c 1590s |      19 |   692907 |   483882 |    27949     37 |      776 |      690
1592.51/1593.06	c 1592s |      19 |   693633 |   484482 |    27949     37 |      776 |      690
1594.91/1595.41	c 1595s |      19 |   694326 |   485082 |    27949     37 |      776 |      690
1597.11/1597.63	c 1597s |      19 |   694880 |   485582 |    27949     37 |      776 |      690
1599.31/1599.87	c 1599s |      19 |   695435 |   486082 |    27949     37 |      776 |      690
1601.61/1602.13	c 1601s |      19 |   695979 |   486582 |    27949     37 |      776 |      690
1603.91/1604.41	c 1604s |      19 |   696529 |   487082 |    27949     37 |      776 |      690
1606.11/1606.61	c 1606s |      19 |   697093 |   487582 |    27949     37 |      776 |      690
1608.61/1609.10	c 1608s |      19 |   697623 |   488082 |    27949     37 |      776 |      690
1610.81/1611.39	c 1611s |      19 |   698206 |   488582 |    27949     37 |      776 |      690
1613.01/1613.51	c 1613s |      19 |   698777 |   489082 |    27949     37 |      776 |      690
1615.21/1615.76	c 1615s |      19 |   699352 |   489582 |    27949     37 |      776 |      690
1617.31/1617.81	c 1617s |      19 |   699789 |   489982 |    27949     37 |      776 |      690
1619.61/1620.19	c 1619s |      19 |   700345 |   490482 |    27949     37 |      776 |      690
1622.02/1622.55	c 1622s |      19 |   700898 |   490982 |    27949     37 |      776 |      690
1624.51/1625.09	c 1624s |      19 |   701447 |   491482 |    27949     37 |      776 |      690
1626.61/1627.11	c 1626s |      19 |   701892 |   491882 |    27949     37 |      776 |      690
1629.12/1629.60	c 1629s |      19 |   702454 |   492382 |    27949     37 |      776 |      690
1631.12/1631.67	c 1631s |      19 |   702884 |   492782 |    27949     37 |      776 |      690
1633.32/1633.81	c 1633s |      19 |   703325 |   493182 |    27949     37 |      776 |      690
1635.42/1635.99	c 1635s |      19 |   703778 |   493582 |    27949     37 |      776 |      690
1637.52/1638.02	c 1637s |      19 |   704217 |   493982 |    27949     37 |      776 |      690
1639.81/1640.31	c 1640s |      19 |   704682 |   494382 |    27949     38 |      776 |      690
1642.01/1642.57	c 1642s |      19 |   705449 |   495082 |    27949     38 |      776 |      690
1644.31/1644.81	c 1644s |      19 |   706133 |   495682 |    27949     38 |      776 |      690
1646.51/1647.04	c 1646s |      19 |   706802 |   496282 |    27949     38 |      776 |      690
1648.81/1649.35	c 1649s |      19 |   707339 |   496782 |    27949     38 |      776 |      690
1651.11/1651.65	c 1651s |      19 |   707896 |   497282 |    27949     38 |      776 |      690
1653.51/1654.06	c 1653s |      19 |   708471 |   497782 |    27949     38 |      776 |      690
1655.51/1656.08	c 1655s |      19 |   709025 |   498282 |    27949     38 |      776 |      690
1657.91/1658.41	c 1658s |      19 |   709583 |   498782 |    27949     38 |      776 |      690
1660.11/1660.64	c 1660s |      19 |   710130 |   499282 |    27949     38 |      776 |      690
1662.21/1662.78	c 1662s |      19 |   710684 |   499782 |    27949     38 |      776 |      690
1664.51/1665.05	c 1664s |      19 |   711227 |   500282 |    27949     38 |      776 |      690
1666.91/1667.41	c 1667s |      19 |   711771 |   500782 |    27949     38 |      776 |      690
1669.32/1669.83	c 1669s |      19 |   712357 |   501282 |    27949     38 |      776 |      690
1671.81/1672.31	c 1672s |      19 |   712925 |   501782 |    27949     38 |      776 |      690
1673.91/1674.42	c 1674s |      19 |   713363 |   502182 |    27949     38 |      776 |      690
1676.21/1676.73	c 1676s |      19 |   713907 |   502682 |    27949     38 |      776 |      690
1678.41/1678.94	c 1678s |      19 |   714322 |   503082 |    27949     38 |      776 |      690
1680.60/1681.12	c 1680s |      19 |   714754 |   503482 |    27949     38 |      776 |      690
1683.10/1683.65	c 1683s |      19 |   715305 |   503982 |    27949     38 |      776 |      690
1685.30/1685.82	c 1685s |      19 |   715777 |   504382 |    27949     38 |      776 |      690
1687.50/1688.08	c 1687s |      19 |   716211 |   504782 |    27949     38 |      776 |      690
1689.70/1690.26	c 1689s |      19 |   716639 |   505182 |    27949     38 |      776 |      690
1692.00/1692.54	c 1692s |      19 |   717085 |   505582 |    27949     38 |      776 |      690
1694.50/1695.08	c 1694s |      19 |   717519 |   505982 |    27949     38 |      776 |      690
1696.60/1697.14	c 1696s |      19 |   717995 |   506382 |    27949     38 |      776 |      690
1698.70/1699.21	c 1698s |      19 |   718434 |   506782 |    27949     38 |      776 |      690
1700.90/1701.44	c 1701s |      19 |   718873 |   507182 |    27949     38 |      776 |      690
1703.10/1703.65	c 1703s |      19 |   719333 |   507582 |    27949     38 |      776 |      690
1705.20/1705.76	c 1705s |      19 |   719778 |   507982 |    27949     38 |      776 |      690
1707.40/1707.91	c 1707s |      19 |   720232 |   508382 |    27949     38 |      776 |      690
1709.50/1710.04	c 1709s |      19 |   720676 |   508782 |    27949     38 |      776 |      690
1711.80/1712.37	c 1712s |      19 |   721272 |   509282 |    27949     38 |      776 |      690
1714.50/1715.05	c 1714s |      19 |   721724 |   509682 |    27949     39 |      776 |      690
1716.80/1717.30	c 1717s |      19 |   722442 |   510282 |    27949     39 |      776 |      690
1719.00/1719.56	c 1719s |      19 |   723137 |   510882 |    27949     39 |      776 |      690
1721.20/1721.73	c 1721s |      19 |   723821 |   511482 |    27949     39 |      776 |      690
1723.40/1723.96	c 1723s |      19 |   724384 |   511982 |    27949     39 |      776 |      690
1725.70/1726.28	c 1726s |      19 |   724929 |   512482 |    27949     39 |      776 |      690
1728.00/1728.57	c 1728s |      19 |   725465 |   512982 |    27949     39 |      776 |      690
1730.20/1730.80	c 1730s |      19 |   726023 |   513482 |    27949     39 |      776 |      690
1732.29/1732.89	c 1732s |      19 |   726585 |   513982 |    27949     39 |      776 |      690
1734.49/1735.02	c 1734s |      19 |   727154 |   514482 |    27949     39 |      776 |      690
1736.59/1737.14	c 1736s |      19 |   727713 |   514982 |    27949     39 |      776 |      690
1738.79/1739.37	c 1739s |      19 |   728299 |   515482 |    27949     39 |      776 |      690
1741.29/1741.84	c 1741s |      19 |   728865 |   515982 |    27949     39 |      776 |      690
1743.39/1743.97	c 1743s |      19 |   729411 |   516482 |    27949     39 |      776 |      690
1745.49/1746.00	c 1745s |      19 |   729850 |   516882 |    27949     39 |      776 |      690
1747.89/1748.48	c 1748s |      19 |   730380 |   517382 |    27949     39 |      776 |      690
1750.09/1750.69	c 1750s |      19 |   730963 |   517882 |    27949     39 |      776 |      690
1752.19/1752.70	c 1752s |      19 |   731402 |   518282 |    27949     39 |      776 |      690
1754.49/1755.07	c 1754s |      19 |   731957 |   518782 |    27949     39 |      776 |      690
1756.99/1757.53	c 1757s |      19 |   732512 |   519282 |    27949     39 |      776 |      690
1759.39/1759.99	c 1759s |      19 |   733056 |   519782 |    27949     39 |      776 |      690
1761.49/1762.02	c 1761s |      19 |   733653 |   520282 |    27949     39 |      776 |      690
1763.59/1764.10	c 1763s |      19 |   734084 |   520682 |    27949     39 |      776 |      690
1765.69/1766.21	c 1765s |      19 |   734512 |   521082 |    27949     39 |      776 |      690
1767.79/1768.35	c 1768s |      19 |   734941 |   521482 |    27949     39 |      776 |      690
1770.19/1770.75	c 1770s |      19 |   735392 |   521882 |    27949     39 |      776 |      690
1772.70/1773.26	c 1772s |      19 |   735835 |   522282 |    27949     39 |      776 |      690
1774.90/1775.50	c 1775s |      19 |   736262 |   522682 |    27949     39 |      776 |      690
1777.29/1777.86	c 1777s |      19 |   736702 |   523082 |    27949     39 |      776 |      690
1779.79/1780.37	c 1780s |      19 |   737149 |   523482 |    27949     39 |      776 |      690
1782.19/1782.78	c 1782s |      19 |   737585 |   523882 |    27949     39 |      776 |      690
1784.59/1785.11	c 1784s |      19 |   738017 |   524282 |    27949     39 |      776 |      690
1787.10/1787.64	c 1787s |      19 |   738459 |   524682 |    27949     39 |      776 |      690
1789.49/1790.03	c 1789s |      19 |   738886 |   525082 |    27949     39 |      776 |      690
1791.59/1792.16	c 1791s |      19 |   739227 |   525382 |    27949     40 |      776 |      690
1793.99/1794.55	c 1794s |      19 |   739892 |   525982 |    27949     40 |      776 |      690
1796.19/1796.78	c 1796s |      19 |   740437 |   526482 |    27949     40 |      776 |      690
1798.39/1798.92	c 1798s |      19 |   740987 |   526982 |    27949     40 |      776 |      690

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

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.37 2.32 3/179 24595
/proc/meminfo: memFree=30275084/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=550332 CPUtime=0 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 2021 0 0 0 0 0 0 0 20 0 4 0 30977130 563539968 2382 33554432000 4194304 16246674 140736822078192 140736822077616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 138095 2390 441 2943 0 134989 0
[pid=24595/tid=24596] ppid=24592 vsize=565692 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 579268608 2443 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=569788 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 583462912 2456 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=573884 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 587657216 2474 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100225 s]
/proc/loadavg: 2.26 2.37 2.32 3/179 24595
/proc/meminfo: memFree=30275084/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 28468 0 0 0 5 3 0 0 20 0 4 0 30977130 1249447936 28767 33554432000 4194304 16246674 140736822078192 140736822077504 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 305041 28767 801 2943 0 301935 0
[pid=24595/tid=24596] ppid=24592 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1249447936 28767 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1249447936 28767 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1249447936 28767 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200519 s]
/proc/loadavg: 2.26 2.37 2.32 3/179 24595
/proc/meminfo: memFree=30275084/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 48673 0 0 0 13 6 0 0 20 0 4 0 30977130 1332285440 48972 33554432000 4194304 16246674 140736822078192 140736822077504 6198236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 325265 48972 842 2943 0 322159 0
[pid=24595/tid=24596] ppid=24592 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1332285440 48972 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1332285440 48972 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1332285440 48972 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300498 s]
/proc/loadavg: 2.26 2.37 2.32 3/179 24595
/proc/meminfo: memFree=30275084/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 54335 0 0 0 22 7 0 0 20 0 4 0 30977130 1332285440 54635 33554432000 4194304 16246674 140736822078192 140736822077504 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 325265 54641 882 2943 0 322159 0
[pid=24595/tid=24596] ppid=24592 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1332285440 54644 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1332285440 54647 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1332285440 54649 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700409 s]
/proc/loadavg: 2.26 2.37 2.32 3/179 24595
/proc/meminfo: memFree=30275084/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 99311 0 0 0 55 14 0 0 20 0 4 0 30977130 1332285440 99611 33554432000 4194304 16246674 140736822078192 140736822060096 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 325265 99620 882 2943 0 322159 0
[pid=24595/tid=24596] ppid=24592 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1332285440 99624 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1332285440 99626 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1332285440 99629 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 2.32 2.38 2.32 3/183 24599
/proc/meminfo: memFree=29094336/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 206592 0 0 0 120 29 0 0 20 0 4 0 30977130 1332285440 206891 33554432000 4194304 16246674 140736822078192 140736822060096 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 325265 206897 882 2943 0 322159 0
[pid=24595/tid=24596] ppid=24592 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1332285440 206900 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1332285440 206902 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1332285440 206904 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 2.32 2.38 2.32 3/183 24599
/proc/meminfo: memFree=28162832/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 269332 0 0 0 272 37 0 0 20 0 4 0 30977130 1344868352 269631 33554432000 4194304 16246674 140736822078192 140736822060096 12483276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 328337 269631 888 2943 0 325231 0
[pid=24595/tid=24596] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269631 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269631 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269631 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.32 2.38 2.32 3/183 24599
/proc/meminfo: memFree=28161108/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 269523 0 0 0 592 37 0 0 20 0 4 0 30977130 1344868352 269822 33554432000 4194304 16246674 140736822078192 140736822060096 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 328337 269822 889 2943 0 325231 0
[pid=24595/tid=24596] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269822 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269822 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269822 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.27 2.37 2.32 4/183 24599
/proc/meminfo: memFree=28161052/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 269525 0 0 0 1231 37 0 0 20 0 4 0 30977130 1344868352 269824 33554432000 4194304 16246674 140736822078192 140736822060096 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 328337 269824 891 2943 0 325231 0
[pid=24595/tid=24596] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269824 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269824 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269824 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.22 2.36 2.31 4/183 24599
/proc/meminfo: memFree=28161680/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 269526 0 0 0 2511 37 0 0 20 0 4 0 30977130 1344868352 269825 33554432000 4194304 16246674 140736822078192 140736822060096 5822298 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 328337 269825 892 2943 0 325231 0
[pid=24595/tid=24596] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269825 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269825 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269825 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.35 2.37 2.32 3/183 24599
/proc/meminfo: memFree=28161160/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 269526 0 0 0 5071 37 0 0 20 0 4 0 30977130 1344868352 269825 33554432000 4194304 16246674 140736822078192 140736822060096 6012196 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 328337 269825 892 2943 0 325231 0
[pid=24595/tid=24596] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269825 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269825 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1344868352 269825 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.25 2.34 2.31 3/183 24601
/proc/meminfo: memFree=28152344/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1322564 CPUtime=102.28 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 271729 0 0 0 10190 38 0 0 20 0 4 0 30977130 1354305536 272028 33554432000 4194304 16246674 140736822078192 140736822060096 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 330641 272028 892 2943 0 327535 0
[pid=24595/tid=24596] ppid=24592 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1354305536 272028 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1354305536 272028 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1354305536 272028 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1322564


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

/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1328708

[startup+1302.3 s]
/proc/loadavg: 2.40 2.31 2.28 3/182 24630
/proc/meminfo: memFree=28115256/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1328708 CPUtime=1301.89 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 273682 0 0 0 130139 50 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140736822060096 5723504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 332177 273921 892 2943 0 329071 0
[pid=24595/tid=24596] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.24 2.28 2.27 3/183 24632
/proc/meminfo: memFree=28115076/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1328708 CPUtime=1361.86 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 273727 0 0 0 136135 51 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140736822077368 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 332177 273921 892 2943 0 329071 0
[pid=24595/tid=24596] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.43 2.32 2.28 4/184 24636
/proc/meminfo: memFree=28114752/32872528 swapFree=1541160/1696504
[pid=24595] ppid=24592 vsize=1328708 CPUtime=1421.85 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 273738 0 0 0 142133 52 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140736822060096 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 332177 273921 892 2943 0 329071 0
[pid=24595/tid=24596] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1328708

[startup+1482.3 s]
/proc/loadavg: 2.37 2.32 2.28 3/183 24637
/proc/meminfo: memFree=28116116/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1328708 CPUtime=1481.84 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 273738 0 0 0 148131 53 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140736822060096 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 332177 273921 892 2943 0 329071 0
[pid=24595/tid=24596] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1328708

[startup+1542.31 s]
/proc/loadavg: 2.28 2.30 2.27 4/183 24638
/proc/meminfo: memFree=28115740/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1328708 CPUtime=1541.83 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 273738 0 0 0 154130 53 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140736822077288 13927324 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 332177 273921 892 2943 0 329071 0
[pid=24595/tid=24596] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1328708

[startup+1602.3 s]
/proc/loadavg: 2.31 2.31 2.27 4/183 24639
/proc/meminfo: memFree=28115848/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1328708 CPUtime=1601.81 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 273738 0 0 0 160128 53 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140736822077368 5546219 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 332177 273921 892 2943 0 329071 0
[pid=24595/tid=24596] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1328708

[startup+1662.3 s]
/proc/loadavg: 2.31 2.31 2.27 3/183 24641
/proc/meminfo: memFree=28115724/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1328708 CPUtime=1661.81 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 273738 0 0 0 166127 54 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140736822060096 5546623 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 332177 273921 892 2943 0 329071 0
[pid=24595/tid=24596] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1328708

[startup+1722.3 s]
/proc/loadavg: 2.27 2.30 2.27 4/183 24642
/proc/meminfo: memFree=28115848/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1328708 CPUtime=1721.8 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 273738 0 0 0 172126 54 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140736822060096 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 332177 273921 892 2943 0 329071 0
[pid=24595/tid=24596] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1328708

[startup+1782.3 s]
/proc/loadavg: 2.24 2.28 2.27 4/183 24643
/proc/meminfo: memFree=28114808/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1328708 CPUtime=1781.79 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 273738 0 0 0 178124 55 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140736822060096 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 332177 273921 892 2943 0 329071 0
[pid=24595/tid=24596] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.28 2.27 3/183 24643
/proc/meminfo: memFree=28115056/32872528 swapFree=1541156/1696500
[pid=24595] ppid=24592 vsize=1328708 CPUtime=1800.09 cores=1,3,5,7
/proc/24595/stat : 24595 (toysat) R 24592 24595 23447 0 -1 4202496 273738 0 0 0 179954 55 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140736822060096 5823238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24595/statm: 332177 273921 892 2943 0 329071 0
[pid=24595/tid=24596] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24596/stat : 24596 (toysat) S 24592 24595 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484650446064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24595/tid=24597] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24597/stat : 24597 (toysat) S 24592 24595 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484639956208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24595/tid=24598] ppid=24592 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/24595/task/24598/stat : 24598 (toysat) S 24592 24595 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30977130 1360596992 273921 33554432000 4194304 16246674 140736822078192 140484555041968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1328708

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 24595 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.1
CPU user time (s): 1799.55
CPU system time (s): 0.552915
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.552915
maximum resident set size= 1095684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273738
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= 387
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.87126 second user time and 6.64799 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-27 00:16:24
IDJOB=4116717
IDBENCH=109505
IDSOLVER=2542
FILE ID=node125/4116717-1466979384
RUNJOBID= node125-1466966776-23464
PBS_JOBID= 19976375
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 1160cf5172f569fef08315392b827576
RANDOM SEED=1387524752

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30301752 kB
Buffers:           52180 kB
Cached:            99352 kB
SwapCached:         1736 kB
Active:            95796 kB
Inactive:          74452 kB
Active(anon):      20248 kB
Inactive(anon):      448 kB
Active(file):      75548 kB
Inactive(file):    74004 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33400 kB
Writeback:             0 kB
AnonPages:       1690072 kB
Mapped:             8712 kB
Shmem:                 0 kB
Slab:             568748 kB
SReclaimable:      12608 kB
SUnreclaim:       556140 kB
KernelStack:        1504 kB
PageTables:         8588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2624488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node125 at 2016-06-27 00:46:25