Trace number 4116101

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-2.opb
MD5SUMb14c69da2c42fca4a907f4974b0a7bdb
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:12:42+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-4116101-1466979161.opb"]
0.00/0.01	c use --random-gen="1764388172 2581473835 303191851 3075424406 1521716714 2328240294 1280081877 1294559845 871808807 4277292038 3276856368 3744974648 2454681611 1602231785 3831977539 3068269125 1088574635 2057289725 986261601 1976578499 3546930576 2736703028 2316206315 3159260693 3649843625 259482340 2494396908 810392164 758812475 167462645 4148841749 2622975530 1727579110 2795197304 1325018913 4269656816 737587398 1165154337 3436665972 1022609361 2013036289 3944181999 393391546 2065832436 2569684445 593070317 1193374 1239896149 1564673235 1124644777 505564263 3604355497 480719506 3174349094 2384536013 957693153 2092153842 1403078531 3132313286 3016440127 3118456373 978099030 1029557414 451557337 381058777 155884655 2689560528 1321599205 2871765028 4179800621 2121356432 224379379 2455854802 1259796468 326358591 2057808794 3804744871 3217626018 2806826994 1445644483 4263859705 2831348615 1060507976 984991997 973095981 3891157722 177262222 2108361350 1526029894 2344425834 3855248819 3875358162 2910888315 1509812539 3536859703 3411154764 438678136 1760579335 1597145456 1586207784 1110101367 1161677025 1275549798 246523914 3743941249 2384203871 3768547352 2323151116 2621211399 1359938501 601602837 3348120379 4261450535 2546165853 1919840513 765913828 3985740553 722686667 523124814 1436228601 1315936661 1901388752 4122510576 1148858305 1843620576 1882568419 2829779154 653830540 2283848362 3463396638 377284047 3327667401 1735020845 805682496 1079570549 856215112 3073002846 4202141752 883470712 19982878 3829577782 618013861 636785227 410240725 2975919868 2377961359 2836241960 807081872 2290731956 508362577 2748156882 2261431700 3872160750 57648117 1895744640 2578108369 3676139371 881719279 127140244 3756085140 3994400664 1676461271 2832541271 192556289 168049953 2496210958 3671411732 2927703579 1491022919 3779603944 3164004634 160773179 2277407664 4096515315 3939864631 21054698 2395114090 3705428678 546078120 1705324778 2856269436 829725763 4215456518 4002496594 462392672 2555690010 1642376323 1606418036 445398962 1191155393 2093334539 2187101923 4060340604 1196679106 2500388391 2856736198 364859390 2676478076 2197262709 1140924238 3857923807 1541359194 2740897031 4059495842 3847209133 3452265161 2534633710 820268643 1202450884 516873682 3523972000 752710612 2541815180 3464540202 3185909088 2531990339 2794769059 2291987941 3348253101 1194282054 2730075195 5412710 2862326026 12213427 240659634 617655561 207899147 3717231948 3007431040 665822540 3888599384 2602600040 2752514920 1428096282 408834740 298113110 1118784199 335936794 2216388518 3436917984 1652331639 4213847483 3143750373 3205435422 1715397353 4260652334 2632657808 3604483501 4020724568 2708462850 2342832666 554490112 4629421 949886484 199815445 2253205177 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9504
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      783 |        0
0.28/0.36	c  0.1s |       1 |     1573 |      100 |     4565      0 |      784 |      732
0.39/0.45	c  0.2s |       2 |     2880 |      250 |     5022      0 |      784 |      732
0.59/0.60	c  0.3s |       3 |     4927 |      475 |     5525      0 |      784 |      732
0.89/0.91	c  0.6s |       4 |     6837 |      813 |     6078      0 |      784 |      732
1.29/1.33	c  1.1s |       5 |    10486 |     1320 |     6686      0 |      784 |      732
2.19/2.24	c  2.0s |       6 |    12485 |     2081 |     8091      0 |      784 |      732
2.88/2.92	c  2.6s |       7 |    20183 |     3223 |     8901      0 |      784 |      732
3.99/4.00	c  3.7s |       8 |    28441 |     4936 |     9792      0 |      785 |      732
5.89/5.92	c  5.6s |       9 |    37274 |     7506 |    10772      0 |      785 |      732
7.89/7.98	c  7.7s |       9 |    45690 |    10106 |    10772      0 |      785 |      732
9.79/9.84	c  9.6s |      10 |    49416 |    11361 |    11850      0 |      785 |      732
11.79/11.85	c 11.6s |      10 |    55103 |    13161 |    11850      0 |      785 |      732
13.89/13.91	c 13.6s |      10 |    58865 |    14961 |    11850      0 |      785 |      732
15.99/16.03	c 15.8s |      10 |    60567 |    16261 |    11850      1 |      785 |      732
17.49/17.60	c 17.3s |      11 |    61607 |    17144 |    13036      1 |      785 |      732
19.59/19.65	c 19.4s |      11 |    68340 |    19244 |    13036      1 |      785 |      732
21.59/21.66	c 21.4s |      11 |    71273 |    21044 |    13036      1 |      785 |      732
23.69/23.79	c 23.5s |      11 |    72928 |    22444 |    13036      1 |      785 |      732
25.79/25.87	c 25.6s |      11 |    74264 |    23644 |    13036      1 |      785 |      732
27.89/27.94	c 27.7s |      11 |    75320 |    24544 |    13036      2 |      785 |      732
30.09/30.19	c 29.9s |      11 |    76549 |    25644 |    13036      2 |      785 |      732
30.49/30.55	c 30.3s |      12 |    76746 |    25819 |    14340      2 |      785 |      732
32.49/32.58	c 32.3s |      12 |    87840 |    28319 |    14340      2 |      785 |      732
34.48/34.59	c 34.3s |      12 |    90935 |    30019 |    14340      2 |      785 |      732
36.58/36.67	c 36.4s |      12 |    93027 |    31419 |    14340      2 |      785 |      732
38.68/38.76	c 38.5s |      12 |    94975 |    32719 |    14340      2 |      785 |      732
40.69/40.80	c 40.5s |      12 |    96208 |    33719 |    14340      2 |      785 |      732
42.78/42.85	c 42.6s |      12 |    97579 |    34819 |    14340      3 |      785 |      732
44.88/44.90	c 44.6s |      12 |    99064 |    35919 |    14340      3 |      785 |      732
46.88/46.99	c 46.7s |      12 |   100049 |    36719 |    14340      3 |      785 |      732
48.98/49.06	c 48.8s |      12 |   102017 |    37919 |    14340      3 |      785 |      732
50.59/50.61	c 50.3s |      13 |   103406 |    38832 |    15775      3 |      785 |      732
52.68/52.70	c 52.4s |      13 |   108321 |    40732 |    15775      3 |      785 |      732
54.68/54.73	c 54.5s |      13 |   110076 |    42132 |    15775      3 |      785 |      732
56.78/56.85	c 56.6s |      13 |   111705 |    43432 |    15775      3 |      785 |      732
58.78/58.87	c 58.6s |      13 |   113095 |    44532 |    15775      4 |      785 |      732
60.88/60.92	c 60.6s |      13 |   114523 |    45632 |    15775      4 |      785 |      732
62.98/63.09	c 62.8s |      13 |   115585 |    46632 |    15775      4 |      785 |      732
65.18/65.22	c 64.9s |      13 |   116870 |    47732 |    15775      4 |      785 |      732
67.18/67.24	c 67.0s |      13 |   118122 |    48732 |    15775      4 |      785 |      732
69.38/69.42	c 69.1s |      13 |   119789 |    50032 |    15775      4 |      785 |      732
71.38/71.44	c 71.2s |      13 |   121385 |    51232 |    15775      4 |      785 |      732
73.47/73.52	c 73.2s |      13 |   122630 |    52232 |    15775      4 |      785 |      732
75.57/75.69	c 75.4s |      13 |   123910 |    53232 |    15775      4 |      785 |      732
77.67/77.70	c 77.4s |      13 |   124963 |    54132 |    15775      5 |      785 |      732
79.87/79.91	c 79.6s |      13 |   126126 |    55132 |    15775      5 |      785 |      732
82.07/82.13	c 81.9s |      13 |   127365 |    56132 |    15775      5 |      785 |      732
84.27/84.34	c 84.1s |      13 |   128621 |    57132 |    15775      5 |      785 |      732
86.37/86.41	c 86.1s |      13 |   129745 |    58032 |    17353      5 |      785 |      732
87.17/87.24	c 87.0s |      14 |   130154 |    58352 |    17353      5 |      785 |      732
89.27/89.30	c 89.0s |      14 |   137237 |    60352 |    17353      5 |      785 |      732
91.28/91.30	c 91.0s |      14 |   147636 |    62552 |    17353      5 |      785 |      732
93.58/93.64	c 93.4s |      14 |   153338 |    64752 |    17353      6 |      785 |      732
95.57/95.69	c 95.4s |      14 |   159907 |    67052 |    17353      6 |      785 |      732
97.67/97.74	c 97.5s |      14 |   163665 |    68852 |    17353      6 |      785 |      732
99.67/99.78	c 99.5s |      14 |   165873 |    70252 |    17353      6 |      785 |      732
101.77/101.83	c  101s |      14 |   167993 |    71452 |    17353      6 |      785 |      732
103.87/103.96	c  103s |      14 |   169768 |    72652 |    17353      6 |      785 |      732
105.97/106.09	c  105s |      14 |   171201 |    73652 |    17353      6 |      785 |      732
108.07/108.17	c  107s |      14 |   172478 |    74652 |    17353      6 |      785 |      732
110.27/110.32	c  110s |      14 |   173631 |    75552 |    17353      7 |      785 |      732
112.47/112.57	c  112s |      14 |   174878 |    76552 |    17353      7 |      785 |      732
114.67/114.77	c  114s |      14 |   176001 |    77452 |    17353      7 |      785 |      732
116.77/116.87	c  116s |      14 |   176942 |    78252 |    17353      7 |      785 |      732
119.07/119.18	c  118s |      14 |   177859 |    79052 |    17353      7 |      785 |      732
121.37/121.45	c  121s |      14 |   178625 |    79752 |    17353      7 |      785 |      732
123.57/123.64	c  123s |      14 |   179727 |    80552 |    17353      7 |      785 |      732
125.67/125.72	c  125s |      14 |   181022 |    81452 |    17353      7 |      785 |      732
127.87/127.91	c  127s |      14 |   182581 |    82552 |    17353      7 |      785 |      732
129.88/129.99	c  129s |      14 |   183918 |    83552 |    17353      7 |      785 |      732
131.98/132.08	c  131s |      14 |   185032 |    84452 |    17353      7 |      785 |      732
134.18/134.28	c  134s |      14 |   185970 |    85252 |    17353      7 |      785 |      732
136.38/136.47	c  136s |      14 |   186807 |    85952 |    17353      8 |      785 |      732
138.58/138.65	c  138s |      14 |   187961 |    86852 |    17353      8 |      785 |      732
139.68/139.78	c  139s |      15 |   189365 |    87632 |    19089      8 |      785 |      732
141.77/141.81	c  141s |      15 |   197965 |    89732 |    19089      8 |      785 |      732
143.77/143.84	c  143s |      15 |   199386 |    91032 |    19089      8 |      785 |      732
145.77/145.85	c  145s |      15 |   200736 |    92232 |    19089      8 |      785 |      732
147.97/148.00	c  147s |      15 |   201929 |    93332 |    19089      8 |      785 |      732
150.07/150.13	c  149s |      15 |   203021 |    94332 |    19089      8 |      785 |      732
152.17/152.25	c  151s |      15 |   204005 |    95232 |    19089      8 |      785 |      732
154.17/154.27	c  153s |      15 |   204999 |    96132 |    19089      8 |      785 |      732
156.37/156.47	c  156s |      15 |   205975 |    97032 |    19089      8 |      785 |      732
158.57/158.64	c  158s |      15 |   206725 |    97732 |    19089      9 |      785 |      732
160.87/160.95	c  160s |      15 |   207695 |    98632 |    19089      9 |      785 |      732
163.07/163.11	c  162s |      15 |   208547 |    99432 |    19089      9 |      785 |      732
165.26/165.38	c  165s |      15 |   209392 |   100232 |    19089      9 |      785 |      732
167.46/167.56	c  167s |      15 |   210354 |   101032 |    19089      9 |      785 |      732
169.76/169.81	c  169s |      15 |   211106 |   101732 |    19089      9 |      785 |      732
171.86/171.90	c  171s |      15 |   211736 |   102332 |    19089      9 |      785 |      732
174.16/174.21	c  173s |      15 |   212477 |   103032 |    19089      9 |      785 |      732
176.46/176.51	c  176s |      15 |   213230 |   103732 |    19089      9 |      785 |      732
178.66/178.72	c  178s |      15 |   213850 |   104332 |    19089      9 |      785 |      732
180.76/180.85	c  180s |      15 |   214463 |   104932 |    19089      9 |      785 |      732
183.06/183.12	c  182s |      15 |   215075 |   105532 |    19089      9 |      785 |      732
185.16/185.29	c  185s |      15 |   215693 |   106132 |    19089      9 |      785 |      732
187.46/187.56	c  187s |      15 |   216320 |   106732 |    19089      9 |      785 |      732
189.66/189.71	c  189s |      15 |   217261 |   107432 |    19089      9 |      785 |      732
191.66/191.75	c  191s |      15 |   218304 |   108232 |    19089      9 |      785 |      732
193.96/194.02	c  193s |      15 |   219096 |   108932 |    19089     10 |      785 |      732
195.96/196.07	c  195s |      15 |   220006 |   109732 |    19089     10 |      785 |      732
198.26/198.34	c  198s |      15 |   220784 |   110432 |    19089     10 |      785 |      732
200.46/200.53	c  200s |      15 |   221544 |   111132 |    19089     10 |      785 |      732
202.47/202.53	c  202s |      15 |   222178 |   111732 |    19089     10 |      785 |      732
204.46/204.59	c  204s |      15 |   222825 |   112332 |    19089     10 |      785 |      732
206.56/206.64	c  206s |      15 |   223487 |   112932 |    19089     10 |      785 |      732
208.56/208.67	c  208s |      15 |   224156 |   113532 |    19089     10 |      785 |      732
210.76/210.83	c  210s |      15 |   224818 |   114132 |    19089     10 |      785 |      732
212.86/212.94	c  212s |      15 |   225447 |   114732 |    19089     10 |      785 |      732
214.96/215.09	c  214s |      15 |   226115 |   115332 |    19089     10 |      785 |      732
217.06/217.11	c  216s |      15 |   226655 |   115832 |    19089     10 |      785 |      732
219.35/219.41	c  219s |      15 |   227293 |   116432 |    19089     10 |      785 |      732
221.65/221.74	c  221s |      15 |   227947 |   117032 |    19089     10 |      785 |      732
223.65/223.75	c  223s |      15 |   228502 |   117532 |    19089     10 |      785 |      732
225.95/226.01	c  225s |      15 |   229215 |   118132 |    19089     10 |      785 |      732
228.15/228.22	c  227s |      15 |   229880 |   118732 |    19089     10 |      785 |      732
230.35/230.48	c  230s |      15 |   230725 |   119432 |    19089     10 |      785 |      732
233.05/233.12	c  232s |      15 |   231418 |   120032 |    19089     11 |      785 |      732
235.15/235.25	c  234s |      15 |   232167 |   120732 |    19089     11 |      785 |      732
237.25/237.33	c  237s |      15 |   232973 |   121432 |    19089     11 |      785 |      732
239.25/239.36	c  239s |      15 |   233713 |   122032 |    19089     11 |      785 |      732
241.25/241.39	c  241s |      15 |   234411 |   122632 |    19089     11 |      785 |      732
243.35/243.44	c  243s |      15 |   235097 |   123232 |    19089     11 |      785 |      732
245.45/245.51	c  245s |      15 |   235775 |   123832 |    19089     11 |      785 |      732
247.65/247.72	c  247s |      15 |   236584 |   124532 |    19089     11 |      785 |      732
250.05/250.10	c  249s |      15 |   237300 |   125132 |    19089     11 |      785 |      732
252.34/252.44	c  252s |      15 |   238020 |   125732 |    19089     11 |      785 |      732
254.34/254.47	c  254s |      15 |   238574 |   126232 |    19089     11 |      785 |      732
256.44/256.57	c  256s |      15 |   239106 |   126732 |    19089     11 |      785 |      732
258.55/258.66	c  258s |      15 |   239935 |   127432 |    19089     11 |      785 |      732
260.76/260.89	c  260s |      15 |   240615 |   128032 |    19089     11 |      785 |      732
263.15/263.27	c  262s |      15 |   241265 |   128632 |    19089     11 |      785 |      732
265.35/265.40	c  265s |      15 |   241940 |   129232 |    19089     11 |      785 |      732
267.65/267.78	c  267s |      15 |   242605 |   129832 |    19089     11 |      785 |      732
269.75/269.87	c  269s |      15 |   243194 |   130332 |    19089     11 |      785 |      732
272.05/272.11	c  271s |      15 |   243743 |   130832 |    20998     11 |      785 |      732
274.05/274.12	c  273s |      15 |   244197 |   131232 |    20998     11 |      785 |      732
275.75/275.83	c  275s |      16 |   244543 |   131552 |    20998     11 |      785 |      732
277.85/277.95	c  277s |      16 |   249331 |   132852 |    20998     12 |      785 |      732
279.95/280.01	c  279s |      16 |   253646 |   134952 |    20998     12 |      785 |      732
282.05/282.10	c  281s |      16 |   255179 |   136152 |    20998     12 |      785 |      732
284.05/284.16	c  283s |      16 |   257014 |   137352 |    20998     12 |      785 |      732
286.25/286.31	c  286s |      16 |   259058 |   138852 |    20998     12 |      785 |      732
288.25/288.31	c  288s |      16 |   260118 |   139752 |    20998     12 |      785 |      732
290.25/290.36	c  290s |      16 |   262730 |   141152 |    20998     12 |      785 |      732
292.25/292.38	c  292s |      16 |   266499 |   142652 |    20998     12 |      785 |      732
294.35/294.46	c  294s |      16 |   269130 |   144052 |    20998     12 |      785 |      732
296.54/296.64	c  296s |      16 |   270372 |   144952 |    20998     13 |      785 |      732
298.64/298.72	c  298s |      16 |   271500 |   145852 |    20998     13 |      785 |      732
300.74/300.84	c  300s |      16 |   272481 |   146652 |    20998     13 |      785 |      732
302.84/302.90	c  302s |      16 |   273278 |   147352 |    20998     13 |      785 |      732
305.04/305.11	c  304s |      16 |   274167 |   148052 |    20998     13 |      785 |      732
307.14/307.29	c  307s |      16 |   274969 |   148752 |    20998     13 |      785 |      732
309.24/309.31	c  309s |      16 |   275778 |   149452 |    20998     13 |      785 |      732
311.35/311.43	c  311s |      16 |   276495 |   150052 |    20998     13 |      785 |      732
313.64/313.73	c  313s |      16 |   277180 |   150652 |    20998     13 |      785 |      732
315.84/315.91	c  315s |      16 |   277867 |   151252 |    20998     13 |      785 |      732
318.04/318.18	c  317s |      16 |   278402 |   151752 |    20998     13 |      785 |      732
320.34/320.42	c  320s |      16 |   279244 |   152452 |    20998     13 |      785 |      732
322.44/322.54	c  322s |      16 |   280186 |   153252 |    20998     13 |      785 |      732
324.54/324.65	c  324s |      16 |   281075 |   154052 |    20998     13 |      785 |      732
326.84/326.94	c  326s |      16 |   281840 |   154752 |    20998     13 |      785 |      732
328.84/329.00	c  328s |      16 |   282607 |   155452 |    20998     13 |      785 |      732
331.04/331.12	c  330s |      16 |   283253 |   156052 |    20998     13 |      785 |      732
333.14/333.25	c  332s |      16 |   283909 |   156652 |    20998     13 |      785 |      732
335.24/335.37	c  335s |      16 |   284448 |   157152 |    20998     14 |      785 |      732
337.43/337.51	c  337s |      16 |   285125 |   157752 |    20998     14 |      785 |      732
339.84/339.94	c  339s |      16 |   285830 |   158352 |    20998     14 |      785 |      732
341.83/341.99	c  341s |      16 |   286376 |   158852 |    20998     14 |      785 |      732
343.93/344.01	c  343s |      16 |   287075 |   159452 |    20998     14 |      785 |      732
345.93/346.08	c  345s |      16 |   287745 |   160052 |    20998     14 |      785 |      732
348.33/348.42	c  348s |      16 |   288400 |   160652 |    20998     14 |      785 |      732
350.63/350.71	c  350s |      16 |   289405 |   161452 |    20998     14 |      785 |      732
352.63/352.78	c  352s |      16 |   290102 |   162052 |    20998     14 |      785 |      732
354.74/354.84	c  354s |      16 |   290915 |   162752 |    20998     14 |      785 |      732
357.04/357.15	c  356s |      16 |   291625 |   163352 |    20998     14 |      785 |      732
359.24/359.31	c  359s |      16 |   292178 |   163852 |    20998     14 |      785 |      732
361.34/361.44	c  361s |      16 |   292807 |   164352 |    20998     14 |      785 |      732
363.44/363.55	c  363s |      16 |   295362 |   165452 |    20998     14 |      785 |      732
365.64/365.76	c  365s |      16 |   297147 |   166552 |    20998     14 |      785 |      732
367.84/367.91	c  367s |      16 |   297956 |   167252 |    20998     14 |      785 |      732
369.84/369.94	c  369s |      16 |   298955 |   168052 |    20998     14 |      785 |      732
372.44/372.54	c  372s |      16 |   300237 |   168952 |    20998     15 |      785 |      732
374.43/374.60	c  374s |      16 |   301389 |   169852 |    20998     15 |      785 |      732
376.53/376.67	c  376s |      16 |   303958 |   171052 |    20998     15 |      785 |      732
378.63/378.78	c  378s |      16 |   305901 |   172352 |    20998     15 |      785 |      732
380.73/380.81	c  380s |      16 |   307182 |   173352 |    20998     15 |      785 |      732
382.84/382.97	c  382s |      16 |   308562 |   174352 |    20998     15 |      785 |      732
385.04/385.14	c  384s |      16 |   309893 |   175352 |    20998     15 |      785 |      732
387.24/387.35	c  387s |      16 |   311085 |   176252 |    20998     15 |      785 |      732
389.34/389.45	c  389s |      16 |   312366 |   177152 |    20998     15 |      785 |      732
391.43/391.55	c  391s |      16 |   313360 |   177952 |    20998     15 |      785 |      732
393.74/393.85	c  393s |      16 |   314289 |   178752 |    20998     15 |      785 |      732
395.94/396.01	c  395s |      16 |   315148 |   179452 |    20998     15 |      785 |      732
398.14/398.24	c  397s |      16 |   316134 |   180252 |    20998     15 |      785 |      732
400.23/400.38	c  400s |      16 |   316855 |   180852 |    20998     15 |      785 |      732
402.43/402.55	c  402s |      16 |   317575 |   181452 |    20998     16 |      785 |      732
404.63/404.77	c  404s |      16 |   318586 |   182252 |    20998     16 |      785 |      732
406.73/406.84	c  406s |      16 |   319451 |   182952 |    20998     16 |      785 |      732
408.93/409.07	c  408s |      16 |   320580 |   183852 |    20998     16 |      785 |      732
411.13/411.24	c  410s |      16 |   321559 |   184652 |    20998     16 |      785 |      732
413.23/413.39	c  413s |      16 |   322387 |   185352 |    20998     16 |      785 |      732
415.43/415.55	c  415s |      16 |   323221 |   186052 |    20998     16 |      785 |      732
417.63/417.74	c  417s |      16 |   323924 |   186652 |    20998     16 |      785 |      732
419.73/419.81	c  419s |      16 |   324599 |   187252 |    20998     16 |      785 |      732
421.92/422.03	c  421s |      16 |   325278 |   187852 |    20998     16 |      785 |      732
424.02/424.14	c  423s |      16 |   325990 |   188452 |    20998     16 |      785 |      732
426.22/426.31	c  426s |      16 |   326824 |   189152 |    20998     16 |      785 |      732
428.32/428.40	c  428s |      16 |   327689 |   189852 |    20998     16 |      785 |      732
430.52/430.65	c  430s |      16 |   328516 |   190552 |    20998     16 |      785 |      732
432.62/432.79	c  432s |      16 |   329227 |   191152 |    20998     16 |      785 |      732
434.92/435.07	c  434s |      16 |   329967 |   191752 |    20998     16 |      785 |      732
437.02/437.11	c  436s |      16 |   330559 |   192252 |    20998     16 |      785 |      732
439.12/439.23	c  438s |      16 |   331131 |   192752 |    20998     16 |      785 |      732
441.22/441.36	c  441s |      16 |   331597 |   193152 |    20998     17 |      785 |      732
443.42/443.54	c  443s |      16 |   332435 |   193852 |    20998     17 |      785 |      732
445.53/445.63	c  445s |      16 |   333257 |   194552 |    20998     17 |      785 |      732
447.52/447.67	c  447s |      16 |   333973 |   195152 |    20998     17 |      785 |      732
449.72/449.83	c  449s |      16 |   334683 |   195752 |    20998     17 |      785 |      732
451.92/452.00	c  451s |      16 |   335233 |   196252 |    23098     17 |      785 |      732
454.22/454.33	c  454s |      16 |   335916 |   196852 |    23098     17 |      785 |      732
456.42/456.56	c  456s |      17 |   336579 |   197432 |    23098     17 |      785 |      732
458.51/458.62	c  458s |      17 |   340695 |   198832 |    23098     17 |      785 |      732
460.51/460.63	c  460s |      17 |   343405 |   200732 |    23098     17 |      785 |      732
462.51/462.65	c  462s |      17 |   345113 |   202032 |    23098     17 |      785 |      732
464.71/464.80	c  464s |      17 |   346666 |   203232 |    23098     17 |      785 |      732
466.82/466.93	c  466s |      17 |   348052 |   204332 |    23098     17 |      785 |      732
468.82/468.98	c  468s |      17 |   349194 |   205232 |    23098     17 |      785 |      732
471.02/471.16	c  470s |      17 |   350727 |   206432 |    23098     17 |      785 |      732
473.52/473.64	c  473s |      17 |   351800 |   207332 |    23098     18 |      785 |      732
475.62/475.70	c  475s |      17 |   353047 |   208332 |    23098     18 |      785 |      732
477.72/477.81	c  477s |      17 |   355577 |   209732 |    23098     18 |      785 |      732
479.82/479.98	c  479s |      17 |   356790 |   210832 |    23098     18 |      785 |      732
481.92/482.05	c  481s |      17 |   357772 |   211732 |    23098     18 |      785 |      732
484.02/484.18	c  483s |      17 |   358752 |   212632 |    23098     18 |      785 |      732
486.12/486.28	c  486s |      17 |   359722 |   213532 |    23098     18 |      785 |      732
488.22/488.30	c  488s |      17 |   360596 |   214332 |    23098     18 |      785 |      732
490.22/490.39	c  490s |      17 |   361543 |   215132 |    23098     18 |      785 |      732
492.52/492.60	c  492s |      17 |   362581 |   216032 |    23098     18 |      785 |      732
494.52/494.65	c  494s |      17 |   363499 |   216832 |    23098     18 |      785 |      732
496.52/496.65	c  496s |      17 |   364328 |   217532 |    23098     18 |      785 |      732
498.62/498.76	c  498s |      17 |   365396 |   218432 |    23098     18 |      785 |      732
500.81/500.98	c  500s |      17 |   366694 |   219432 |    23098     18 |      785 |      732
502.91/503.02	c  502s |      17 |   367789 |   220332 |    23098     18 |      785 |      732
504.92/505.06	c  504s |      17 |   368780 |   221132 |    23098     19 |      785 |      732
506.91/507.10	c  506s |      17 |   369717 |   221932 |    23098     19 |      785 |      732
509.22/509.32	c  509s |      17 |   370751 |   222832 |    23098     19 |      785 |      732
511.42/511.54	c  511s |      17 |   371799 |   223732 |    23098     19 |      785 |      732
513.41/513.54	c  513s |      17 |   373168 |   224732 |    23098     19 |      785 |      732
515.41/515.56	c  515s |      17 |   374442 |   225732 |    23098     19 |      785 |      732
517.41/517.59	c  517s |      17 |   375784 |   226732 |    23098     19 |      785 |      732
519.51/519.60	c  519s |      17 |   377146 |   227732 |    23098     19 |      785 |      732
521.71/521.82	c  521s |      17 |   378573 |   228832 |    23098     19 |      785 |      732
523.71/523.82	c  523s |      17 |   379513 |   229632 |    23098     19 |      785 |      732
525.82/525.95	c  525s |      17 |   380613 |   230532 |    23098     19 |      785 |      732
528.02/528.17	c  527s |      17 |   381712 |   231432 |    23098     19 |      785 |      732
530.22/530.32	c  530s |      17 |   382714 |   232232 |    23098     19 |      785 |      732
532.41/532.54	c  532s |      17 |   383654 |   233032 |    23098     19 |      785 |      732
534.51/534.62	c  534s |      17 |   384456 |   233732 |    23098     19 |      785 |      732
536.61/536.73	c  536s |      17 |   385271 |   234432 |    23098     20 |      785 |      732
538.81/538.91	c  538s |      17 |   386491 |   235432 |    23098     20 |      785 |      732
541.00/541.10	c  540s |      17 |   387638 |   236332 |    23098     20 |      785 |      732
543.00/543.19	c  542s |      17 |   388780 |   237232 |    23098     20 |      785 |      732
545.20/545.32	c  545s |      17 |   390059 |   238232 |    23098     20 |      785 |      732
547.20/547.33	c  547s |      17 |   391238 |   239132 |    23098     20 |      785 |      732
549.20/549.33	c  549s |      17 |   392443 |   240032 |    23098     20 |      785 |      732
551.30/551.43	c  551s |      17 |   393636 |   240932 |    23098     20 |      785 |      732
553.50/553.64	c  553s |      17 |   394610 |   241732 |    23098     20 |      785 |      732
555.80/555.95	c  555s |      17 |   395573 |   242532 |    23098     20 |      785 |      732
557.80/557.98	c  557s |      17 |   396423 |   243232 |    23098     20 |      785 |      732
560.00/560.16	c  559s |      17 |   397447 |   244032 |    23098     20 |      785 |      732
562.20/562.36	c  562s |      17 |   398318 |   244732 |    23098     20 |      785 |      732
564.50/564.61	c  564s |      17 |   399160 |   245432 |    23098     20 |      785 |      732
566.51/566.65	c  566s |      17 |   400024 |   246132 |    23098     20 |      785 |      732
568.61/568.79	c  568s |      17 |   400923 |   246832 |    23098     20 |      785 |      732
570.70/570.86	c  570s |      17 |   401790 |   247532 |    23098     21 |      785 |      732
572.70/572.89	c  572s |      17 |   402918 |   248432 |    23098     21 |      785 |      732
574.90/575.08	c  574s |      17 |   404007 |   249332 |    23098     21 |      785 |      732
577.20/577.36	c  577s |      17 |   405126 |   250232 |    23098     21 |      785 |      732
579.50/579.60	c  579s |      17 |   406061 |   251032 |    23098     21 |      785 |      732
581.70/581.81	c  581s |      17 |   407188 |   251932 |    23098     21 |      785 |      732
583.80/583.91	c  583s |      17 |   408212 |   252732 |    23098     21 |      785 |      732
586.10/586.20	c  585s |      17 |   409222 |   253532 |    23098     21 |      785 |      732
588.09/588.29	c  588s |      17 |   410083 |   254232 |    23098     21 |      785 |      732
590.29/590.48	c  590s |      17 |   411068 |   255032 |    23098     21 |      785 |      732
592.49/592.67	c  592s |      17 |   412090 |   255832 |    23098     21 |      785 |      732
594.69/594.84	c  594s |      17 |   412955 |   256532 |    23098     21 |      785 |      732
596.99/597.13	c  596s |      17 |   413927 |   257332 |    23098     21 |      785 |      732
598.99/599.15	c  598s |      17 |   414834 |   258032 |    23098     21 |      785 |      732
601.19/601.30	c  601s |      17 |   415837 |   258832 |    23098     21 |      785 |      732
603.19/603.36	c  603s |      17 |   416769 |   259532 |    23098     21 |      785 |      732
605.29/605.47	c  605s |      17 |   417688 |   260232 |    23098     21 |      785 |      732
607.39/607.53	c  607s |      17 |   418556 |   260932 |    23098     22 |      785 |      732
609.40/609.55	c  609s |      17 |   419557 |   261732 |    23098     22 |      785 |      732
611.50/611.65	c  611s |      17 |   420542 |   262532 |    23098     22 |      785 |      732
613.59/613.77	c  613s |      17 |   421501 |   263332 |    23098     22 |      785 |      732
615.79/615.94	c  615s |      17 |   422568 |   264232 |    23098     22 |      785 |      732
617.99/618.14	c  617s |      17 |   423684 |   265132 |    23098     22 |      785 |      732
620.19/620.37	c  620s |      17 |   424781 |   266032 |    23098     22 |      785 |      732
622.39/622.60	c  622s |      17 |   425596 |   266732 |    23098     22 |      785 |      732
624.80/624.92	c  624s |      17 |   426505 |   267532 |    23098     22 |      785 |      732
626.79/626.98	c  626s |      17 |   427312 |   268232 |    23098     22 |      785 |      732
628.99/629.16	c  628s |      17 |   428156 |   268932 |    23098     22 |      785 |      732
631.19/631.36	c  631s |      17 |   429005 |   269632 |    23098     22 |      785 |      732
633.59/633.71	c  633s |      17 |   429772 |   270332 |    23098     22 |      785 |      732
635.89/636.01	c  635s |      17 |   430583 |   271032 |    23098     22 |      785 |      732
637.89/638.08	c  637s |      17 |   431155 |   271532 |    23098     22 |      785 |      732
640.09/640.22	c  639s |      17 |   431867 |   272132 |    23098     22 |      785 |      732
642.19/642.34	c  642s |      17 |   432575 |   272732 |    23098     22 |      785 |      732
644.59/644.71	c  644s |      17 |   433293 |   273332 |    23098     22 |      785 |      732
646.69/646.85	c  646s |      17 |   434016 |   273932 |    23098     23 |      785 |      732
648.89/649.02	c  648s |      17 |   434948 |   274732 |    23098     23 |      785 |      732
650.98/651.19	c  650s |      17 |   436092 |   275632 |    23098     23 |      785 |      732
653.18/653.35	c  653s |      17 |   437062 |   276432 |    23098     23 |      785 |      732
655.29/655.42	c  655s |      17 |   438053 |   277232 |    23098     23 |      785 |      732
657.49/657.67	c  657s |      17 |   439044 |   278032 |    23098     23 |      785 |      732
659.69/659.82	c  659s |      17 |   439868 |   278732 |    23098     23 |      785 |      732
661.99/662.12	c  661s |      17 |   440773 |   279532 |    23098     23 |      785 |      732
664.19/664.32	c  664s |      17 |   441653 |   280232 |    23098     23 |      785 |      732
666.39/666.56	c  666s |      17 |   442344 |   280832 |    23098     23 |      785 |      732
668.59/668.73	c  668s |      17 |   442995 |   281432 |    23098     23 |      785 |      732
670.69/670.87	c  670s |      17 |   443837 |   282132 |    23098     23 |      785 |      732
672.99/673.18	c  672s |      17 |   444654 |   282832 |    23098     23 |      785 |      732
675.09/675.24	c  674s |      17 |   445491 |   283532 |    23098     23 |      785 |      732
677.29/677.41	c  677s |      17 |   446329 |   284232 |    23098     23 |      785 |      732
679.58/679.71	c  679s |      17 |   447287 |   285032 |    23098     23 |      785 |      732
681.58/681.72	c  681s |      17 |   447983 |   285632 |    23098     23 |      785 |      732
683.78/683.90	c  683s |      17 |   448872 |   286332 |    23098     23 |      785 |      732
685.88/686.06	c  685s |      17 |   449892 |   287132 |    23098     24 |      785 |      732
687.88/688.06	c  687s |      17 |   451054 |   288032 |    23098     24 |      785 |      732
689.98/690.11	c  689s |      17 |   452023 |   288832 |    23098     24 |      785 |      732
691.98/692.15	c  691s |      17 |   452965 |   289632 |    23098     24 |      785 |      732
694.28/694.40	c  694s |      17 |   453884 |   290432 |    23098     24 |      785 |      732
696.29/696.48	c  696s |      17 |   454657 |   291132 |    23098     24 |      785 |      732
698.49/698.65	c  698s |      17 |   455441 |   291832 |    23098     24 |      785 |      732
700.48/700.69	c  700s |      17 |   456230 |   292532 |    23098     24 |      785 |      732
702.68/702.84	c  702s |      17 |   457185 |   293332 |    23098     24 |      785 |      732
704.88/705.07	c  704s |      17 |   457972 |   294032 |    23098     24 |      785 |      732
707.19/707.36	c  707s |      17 |   458898 |   294832 |    25408     24 |      785 |      732
709.39/709.57	c  709s |      17 |   459910 |   295632 |    25408     24 |      785 |      732
711.28/711.46	c  711s |      18 |   460656 |   296252 |    25408     24 |      785 |      732
713.37/713.54	c  713s |      18 |   468504 |   298252 |    25408     24 |      785 |      732
715.47/715.64	c  715s |      18 |   475511 |   300552 |    25408     24 |      785 |      732
717.57/717.70	c  717s |      18 |   479459 |   302152 |    25408     25 |      785 |      732
719.67/719.82	c  719s |      18 |   486030 |   304352 |    25408     25 |      785 |      732
721.77/721.94	c  721s |      18 |   487651 |   305552 |    25408     25 |      785 |      732
723.87/724.09	c  723s |      18 |   488968 |   306552 |    25408     25 |      785 |      732
726.07/726.25	c  725s |      18 |   490329 |   307652 |    25408     25 |      785 |      732
728.27/728.40	c  728s |      18 |   491602 |   308652 |    25408     25 |      785 |      732
730.38/730.54	c  730s |      18 |   492685 |   309552 |    25408     25 |      785 |      732
732.48/732.66	c  732s |      18 |   493796 |   310452 |    25408     25 |      785 |      732
734.69/734.85	c  734s |      18 |   494795 |   311252 |    25408     25 |      785 |      732
736.68/736.86	c  736s |      18 |   495808 |   312052 |    25408     25 |      785 |      732
738.98/739.15	c  738s |      18 |   496850 |   312852 |    25408     25 |      785 |      732
741.08/741.20	c  740s |      18 |   498100 |   313652 |    25408     25 |      785 |      732
743.28/743.40	c  743s |      18 |   499241 |   314552 |    25408     25 |      785 |      732
745.38/745.58	c  745s |      18 |   501058 |   315652 |    25408     25 |      785 |      732
747.98/748.18	c  747s |      18 |   502210 |   316552 |    25408     26 |      785 |      732
750.08/750.28	c  750s |      18 |   503346 |   317452 |    25408     26 |      785 |      732
752.18/752.40	c  752s |      18 |   504552 |   318352 |    25408     26 |      785 |      732
754.37/754.56	c  754s |      18 |   505583 |   319152 |    25408     26 |      785 |      732
756.47/756.63	c  756s |      18 |   506713 |   320052 |    25408     26 |      785 |      732
758.57/758.78	c  758s |      18 |   507838 |   320952 |    25408     26 |      785 |      732
760.67/760.88	c  760s |      18 |   508856 |   321752 |    25408     26 |      785 |      732
762.77/762.96	c  762s |      18 |   509674 |   322452 |    25408     26 |      785 |      732
764.77/764.98	c  764s |      18 |   510507 |   323152 |    25408     26 |      785 |      732
766.87/767.07	c  766s |      18 |   511364 |   323852 |    25408     26 |      785 |      732
769.07/769.28	c  769s |      18 |   512162 |   324552 |    25408     26 |      785 |      732
771.17/771.36	c  771s |      18 |   512980 |   325252 |    25408     26 |      785 |      732
773.37/773.50	c  773s |      18 |   513807 |   325952 |    25408     26 |      785 |      732
775.37/775.53	c  775s |      18 |   514490 |   326552 |    25408     26 |      785 |      732
777.67/777.81	c  777s |      18 |   515521 |   327352 |    25408     26 |      785 |      732
779.87/780.01	c  779s |      18 |   516513 |   328152 |    25408     26 |      785 |      732
781.87/782.03	c  781s |      18 |   517340 |   328852 |    25408     26 |      785 |      732
784.06/784.24	c  783s |      18 |   518233 |   329452 |    25408     26 |      785 |      732
786.16/786.36	c  786s |      18 |   520702 |   330552 |    25408     26 |      785 |      732
788.16/788.39	c  788s |      18 |   521389 |   331152 |    25408     27 |      785 |      732
790.26/790.44	c  790s |      18 |   522501 |   332052 |    25408     27 |      785 |      732
792.36/792.50	c  792s |      18 |   523416 |   332852 |    25408     27 |      785 |      732
794.46/794.61	c  794s |      18 |   525158 |   333852 |    25408     27 |      785 |      732
796.56/796.75	c  796s |      18 |   526395 |   334752 |    25408     27 |      785 |      732
798.57/798.77	c  798s |      18 |   527064 |   335252 |    25408     27 |      785 |      732
800.77/800.95	c  800s |      18 |   527841 |   335852 |    25408     27 |      785 |      732
803.06/803.20	c  802s |      18 |   528460 |   336352 |    25408     27 |      785 |      732
805.26/805.47	c  805s |      18 |   529178 |   336952 |    25408     27 |      785 |      732
807.37/807.55	c  807s |      18 |   529664 |   337352 |    25408     27 |      785 |      732
809.46/809.61	c  809s |      18 |   530115 |   337752 |    25408     27 |      785 |      732
811.56/811.73	c  811s |      18 |   531043 |   338452 |    25408     27 |      785 |      732
813.76/813.95	c  813s |      18 |   531745 |   339052 |    25408     27 |      785 |      732
815.95/816.13	c  815s |      18 |   532412 |   339652 |    25408     27 |      785 |      732
818.05/818.26	c  817s |      18 |   533162 |   340252 |    25408     27 |      785 |      732
820.16/820.34	c  820s |      18 |   533847 |   340852 |    25408     27 |      785 |      732
822.46/822.61	c  822s |      18 |   534545 |   341452 |    25408     27 |      785 |      732
824.76/824.96	c  824s |      18 |   535210 |   342052 |    25408     27 |      785 |      732
826.86/827.04	c  826s |      18 |   536435 |   342852 |    25408     27 |      785 |      732
828.86/829.10	c  828s |      18 |   537677 |   343652 |    25408     27 |      785 |      732
830.96/831.13	c  830s |      18 |   538561 |   344352 |    25408     27 |      785 |      732
832.96/833.13	c  832s |      18 |   539307 |   344952 |    25408     27 |      785 |      732
835.36/835.50	c  835s |      18 |   539895 |   345452 |    25408     28 |      785 |      732
837.46/837.61	c  837s |      18 |   540799 |   346152 |    25408     28 |      785 |      732
839.46/839.65	c  839s |      18 |   542768 |   347152 |    25408     28 |      785 |      732
841.76/841.96	c  841s |      18 |   544233 |   348152 |    25408     28 |      785 |      732
843.86/844.02	c  843s |      18 |   545152 |   348852 |    25408     28 |      785 |      732
846.06/846.27	c  845s |      18 |   546359 |   349752 |    25408     28 |      785 |      732
848.36/848.53	c  848s |      18 |   547240 |   350452 |    25408     28 |      785 |      732
850.65/850.82	c  850s |      18 |   547828 |   350952 |    25408     28 |      785 |      732
853.15/853.36	c  853s |      18 |   548397 |   351452 |    25408     28 |      785 |      732
855.35/855.59	c  855s |      18 |   550185 |   352452 |    25408     28 |      785 |      732
857.65/857.89	c  857s |      18 |   551495 |   353352 |    25408     28 |      785 |      732
859.75/859.92	c  859s |      18 |   552365 |   354052 |    25408     28 |      785 |      732
862.05/862.24	c  861s |      18 |   553381 |   354852 |    25408     28 |      785 |      732
864.25/864.41	c  864s |      18 |   554368 |   355652 |    25408     28 |      785 |      732
866.35/866.52	c  866s |      18 |   555046 |   356252 |    25408     28 |      785 |      732
868.65/868.85	c  868s |      18 |   555938 |   356952 |    25408     28 |      785 |      732
870.75/870.96	c  870s |      18 |   556780 |   357652 |    25408     28 |      785 |      732
872.85/873.08	c  872s |      18 |   557503 |   358252 |    25408     28 |      785 |      732
875.25/875.40	c  875s |      18 |   558387 |   358952 |    25408     28 |      785 |      732
877.25/877.41	c  877s |      18 |   559260 |   359552 |    25408     28 |      785 |      732
879.45/879.68	c  879s |      18 |   559905 |   360052 |    25408     29 |      785 |      732
881.65/881.86	c  881s |      18 |   560955 |   360852 |    25408     29 |      785 |      732
884.05/884.21	c  883s |      18 |   561998 |   361652 |    25408     29 |      785 |      732
886.24/886.45	c  886s |      18 |   562595 |   362152 |    25408     29 |      785 |      732
888.55/888.73	c  888s |      18 |   563425 |   362852 |    25408     29 |      785 |      732
890.85/891.08	c  890s |      18 |   564333 |   363552 |    25408     29 |      785 |      732
892.95/893.20	c  892s |      18 |   565042 |   364152 |    25408     29 |      785 |      732
895.15/895.34	c  895s |      18 |   565783 |   364752 |    25408     29 |      785 |      732
897.35/897.56	c  897s |      18 |   566694 |   365452 |    25408     29 |      785 |      732
899.65/899.84	c  899s |      18 |   567419 |   366052 |    25408     29 |      785 |      732
901.74/901.91	c  901s |      18 |   567993 |   366552 |    25408     29 |      785 |      732
903.94/904.19	c  903s |      18 |   568900 |   367352 |    25408     29 |      785 |      732
906.04/906.29	c  906s |      18 |   569712 |   367952 |    25408     29 |      785 |      732
908.34/908.55	c  908s |      18 |   570489 |   368552 |    25408     29 |      785 |      732
910.44/910.60	c  910s |      18 |   571057 |   369052 |    25408     29 |      785 |      732
912.74/912.98	c  912s |      18 |   571621 |   369552 |    25408     29 |      785 |      732
914.84/915.04	c  914s |      18 |   572174 |   370052 |    25408     29 |      785 |      732
916.94/917.10	c  916s |      18 |   572786 |   370552 |    25408     29 |      785 |      732
919.14/919.32	c  919s |      18 |   573369 |   371052 |    25408     29 |      785 |      732
921.53/921.73	c  921s |      18 |   574042 |   371652 |    25408     29 |      785 |      732
923.63/923.80	c  923s |      18 |   574593 |   372152 |    25408     29 |      785 |      732
925.63/925.84	c  925s |      18 |   575041 |   372552 |    25408     29 |      785 |      732
927.73/927.90	c  927s |      18 |   575473 |   372952 |    25408     29 |      785 |      732
929.83/930.05	c  929s |      18 |   575945 |   373352 |    25408     29 |      785 |      732
931.83/932.09	c  931s |      18 |   576393 |   373752 |    25408     29 |      785 |      732
934.13/934.38	c  934s |      18 |   576839 |   374152 |    25408     30 |      785 |      732
936.33/936.50	c  936s |      18 |   577451 |   374652 |    25408     30 |      785 |      732
938.52/938.75	c  938s |      18 |   578143 |   375252 |    25408     30 |      785 |      732
940.82/941.07	c  940s |      18 |   578952 |   375952 |    25408     30 |      785 |      732
943.02/943.22	c  942s |      18 |   579517 |   376452 |    25408     30 |      785 |      732
945.32/945.55	c  945s |      18 |   580092 |   376952 |    25408     30 |      785 |      732
947.52/947.78	c  947s |      18 |   580800 |   377552 |    25408     30 |      785 |      732
949.82/950.01	c  949s |      18 |   581343 |   378052 |    25408     30 |      785 |      732
951.82/952.07	c  951s |      18 |   581895 |   378552 |    25408     30 |      785 |      732
954.12/954.31	c  954s |      18 |   582450 |   379052 |    25408     30 |      785 |      732
956.32/956.54	c  956s |      18 |   583000 |   379552 |    25408     30 |      785 |      732
958.42/958.60	c  958s |      18 |   583428 |   379952 |    25408     30 |      785 |      732
960.52/960.75	c  960s |      18 |   584133 |   380552 |    25408     30 |      785 |      732
962.92/963.12	c  962s |      18 |   584851 |   381152 |    25408     30 |      785 |      732
965.32/965.51	c  965s |      18 |   585393 |   381652 |    25408     30 |      785 |      732
967.61/967.86	c  967s |      18 |   585966 |   382152 |    25408     30 |      785 |      732
969.91/970.17	c  969s |      18 |   586508 |   382652 |    25408     30 |      785 |      732
972.32/972.59	c  972s |      18 |   587054 |   383152 |    25408     30 |      785 |      732
974.81/975.03	c  974s |      18 |   587644 |   383652 |    25408     30 |      785 |      732
977.11/977.35	c  977s |      18 |   588076 |   384052 |    25408     30 |      785 |      732
979.10/979.37	c  979s |      18 |   588505 |   384452 |    25408     30 |      785 |      732
981.41/981.60	c  981s |      18 |   588967 |   384852 |    25408     30 |      785 |      732
983.41/983.67	c  983s |      18 |   589427 |   385252 |    25408     30 |      785 |      732
985.71/985.91	c  985s |      18 |   589855 |   385652 |    25408     30 |      785 |      732
987.80/988.05	c  987s |      18 |   590307 |   386052 |    25408     30 |      785 |      732
990.00/990.29	c  990s |      18 |   590759 |   386452 |    25408     30 |      785 |      732
992.40/992.63	c  992s |      18 |   591193 |   386852 |    25408     30 |      785 |      732
994.50/994.76	c  994s |      18 |   591644 |   387252 |    25408     30 |      785 |      732
997.00/997.29	c  997s |      18 |   592109 |   387652 |    25408     30 |      785 |      732
999.80/1000.09	c  999s |      18 |   592706 |   388152 |    25408     31 |      785 |      732
1002.20/1002.40	c 1002s |      18 |   593419 |   388752 |    25408     31 |      785 |      732
1004.30/1004.59	c 1004s |      18 |   594001 |   389252 |    25408     31 |      785 |      732
1006.60/1006.88	c 1006s |      18 |   594575 |   389752 |    25408     31 |      785 |      732
1008.99/1009.20	c 1008s |      18 |   595146 |   390252 |    25408     31 |      785 |      732
1011.29/1011.51	c 1011s |      18 |   595711 |   390752 |    25408     31 |      785 |      732
1013.49/1013.71	c 1013s |      18 |   596293 |   391252 |    25408     31 |      785 |      732
1015.59/1015.86	c 1015s |      18 |   597159 |   391852 |    25408     31 |      785 |      732
1017.69/1017.92	c 1017s |      18 |   598019 |   392452 |    25408     31 |      785 |      732
1019.99/1020.20	c 1019s |      18 |   598686 |   393052 |    25408     31 |      785 |      732
1021.99/1022.25	c 1021s |      18 |   599402 |   393652 |    25408     31 |      785 |      732
1024.09/1024.32	c 1024s |      18 |   600016 |   394152 |    25408     31 |      785 |      732
1026.10/1026.34	c 1026s |      18 |   600620 |   394652 |    25408     31 |      785 |      732
1028.18/1028.47	c 1028s |      18 |   601181 |   395152 |    25408     31 |      785 |      732
1030.49/1030.73	c 1030s |      18 |   601982 |   395752 |    25408     31 |      785 |      732
1032.48/1032.76	c 1032s |      18 |   602586 |   396252 |    25408     31 |      785 |      732
1034.68/1034.92	c 1034s |      18 |   603132 |   396752 |    25408     31 |      785 |      732
1036.68/1036.98	c 1036s |      18 |   603701 |   397252 |    25408     31 |      785 |      732
1038.98/1039.23	c 1038s |      18 |   604251 |   397752 |    25408     31 |      785 |      732
1040.98/1041.28	c 1041s |      18 |   604689 |   398152 |    25408     31 |      785 |      732
1043.27/1043.57	c 1043s |      18 |   605235 |   398652 |    25408     31 |      785 |      732
1045.67/1045.92	c 1045s |      18 |   605814 |   399152 |    25408     31 |      785 |      732
1047.97/1048.26	c 1047s |      18 |   606440 |   399652 |    25408     31 |      785 |      732
1050.07/1050.37	c 1050s |      18 |   606894 |   400052 |    25408     31 |      785 |      732
1052.27/1052.53	c 1052s |      18 |   607359 |   400452 |    25408     31 |      785 |      732
1054.67/1055.00	c 1054s |      18 |   607916 |   400952 |    25408     31 |      785 |      732
1057.06/1057.30	c 1057s |      18 |   608359 |   401352 |    25408     31 |      785 |      732
1059.07/1059.33	c 1059s |      18 |   608829 |   401752 |    25408     31 |      785 |      732
1061.26/1061.53	c 1061s |      18 |   609291 |   402152 |    25408     31 |      785 |      732
1063.86/1064.12	c 1063s |      18 |   609645 |   402452 |    25408     32 |      785 |      732
1066.06/1066.40	c 1066s |      18 |   610592 |   403152 |    25408     32 |      785 |      732
1068.15/1068.46	c 1068s |      18 |   611186 |   403652 |    25408     32 |      785 |      732
1070.25/1070.54	c 1070s |      18 |   611903 |   404252 |    25408     32 |      785 |      732
1072.55/1072.81	c 1072s |      18 |   612593 |   404852 |    25408     32 |      785 |      732
1074.56/1074.86	c 1074s |      18 |   613173 |   405352 |    25408     32 |      785 |      732
1076.67/1076.95	c 1076s |      18 |   613728 |   405852 |    25408     32 |      785 |      732
1079.05/1079.30	c 1079s |      18 |   614295 |   406352 |    25408     32 |      785 |      732
1081.45/1081.72	c 1081s |      18 |   614848 |   406852 |    25408     32 |      785 |      732
1083.65/1083.91	c 1083s |      18 |   615446 |   407352 |    25408     32 |      785 |      732
1085.85/1086.18	c 1085s |      18 |   616053 |   407852 |    25408     32 |      785 |      732
1088.05/1088.40	c 1088s |      18 |   616627 |   408352 |    25408     32 |      785 |      732
1090.45/1090.70	c 1090s |      18 |   617200 |   408852 |    25408     32 |      785 |      732
1092.84/1093.12	c 1092s |      18 |   617754 |   409352 |    25408     32 |      785 |      732
1095.14/1095.46	c 1095s |      18 |   618310 |   409852 |    25408     32 |      785 |      732
1097.55/1097.87	c 1097s |      18 |   618878 |   410352 |    25408     32 |      785 |      732
1099.94/1100.27	c 1100s |      18 |   619448 |   410852 |    25408     32 |      785 |      732
1102.24/1102.50	c 1102s |      18 |   620080 |   411352 |    25408     32 |      785 |      732
1104.34/1104.67	c 1104s |      18 |   620719 |   411852 |    25408     32 |      785 |      732
1106.74/1107.06	c 1106s |      18 |   621300 |   412352 |    25408     32 |      785 |      732
1109.23/1109.56	c 1109s |      18 |   621906 |   412852 |    25408     32 |      785 |      732
1111.63/1111.92	c 1111s |      18 |   622366 |   413252 |    25408     32 |      785 |      732
1113.83/1114.13	c 1113s |      18 |   622917 |   413752 |    25408     32 |      785 |      732
1116.34/1116.63	c 1116s |      18 |   623361 |   414152 |    25408     32 |      785 |      732
1118.43/1118.74	c 1118s |      18 |   623830 |   414552 |    25408     32 |      785 |      732
1120.52/1120.85	c 1120s |      18 |   624277 |   414952 |    25408     32 |      785 |      732
1122.52/1122.87	c 1122s |      18 |   624722 |   415352 |    25408     32 |      785 |      732
1124.92/1125.30	c 1125s |      18 |   625303 |   415852 |    25408     32 |      785 |      732
1127.12/1127.49	c 1127s |      18 |   625750 |   416252 |    25408     32 |      785 |      732
1129.32/1129.63	c 1129s |      18 |   626100 |   416552 |    25408     32 |      785 |      732
1132.32/1132.69	c 1132s |      18 |   626533 |   416952 |    25408     33 |      785 |      732
1134.42/1134.70	c 1134s |      18 |   626976 |   417352 |    25408     33 |      785 |      732
1136.42/1136.77	c 1136s |      18 |   627408 |   417752 |    25408     33 |      785 |      732
1138.82/1139.10	c 1138s |      18 |   627989 |   418252 |    25408     33 |      785 |      732
1141.12/1141.41	c 1141s |      18 |   628548 |   418752 |    25408     33 |      785 |      732
1143.42/1143.75	c 1143s |      18 |   629115 |   419252 |    25408     33 |      785 |      732
1145.72/1146.03	c 1145s |      18 |   629667 |   419752 |    25408     33 |      785 |      732
1147.71/1148.03	c 1147s |      18 |   630110 |   420152 |    25408     33 |      785 |      732
1150.11/1150.47	c 1150s |      18 |   630669 |   420652 |    25408     33 |      785 |      732
1152.71/1153.01	c 1152s |      18 |   631272 |   421152 |    25408     33 |      785 |      732
1154.82/1155.17	c 1154s |      18 |   631725 |   421552 |    25408     33 |      785 |      732
1157.02/1157.35	c 1157s |      18 |   632480 |   422052 |    25408     33 |      785 |      732
1159.00/1159.40	c 1159s |      18 |   633241 |   422652 |    25408     33 |      785 |      732
1161.10/1161.44	c 1161s |      18 |   633866 |   423152 |    25408     33 |      785 |      732
1163.30/1163.66	c 1163s |      18 |   634467 |   423652 |    25408     33 |      785 |      732
1165.40/1165.78	c 1165s |      18 |   634906 |   424052 |    25408     33 |      785 |      732
1167.50/1167.87	c 1167s |      18 |   635350 |   424452 |    25408     33 |      785 |      732
1169.89/1170.27	c 1169s |      18 |   635790 |   424852 |    25408     33 |      785 |      732
1172.59/1172.91	c 1172s |      18 |   636345 |   425352 |    25408     33 |      785 |      732
1174.60/1174.99	c 1174s |      18 |   636783 |   425752 |    25408     33 |      785 |      732
1176.89/1177.20	c 1176s |      18 |   637253 |   426152 |    25408     33 |      785 |      732
1178.99/1179.31	c 1179s |      18 |   637710 |   426552 |    25408     33 |      785 |      732
1180.98/1181.33	c 1181s |      18 |   638159 |   426952 |    25408     33 |      785 |      732
1183.18/1183.58	c 1183s |      18 |   638635 |   427352 |    25408     33 |      785 |      732
1185.38/1185.70	c 1185s |      18 |   639076 |   427752 |    25408     33 |      785 |      732
1187.78/1188.17	c 1187s |      18 |   639608 |   428252 |    25408     33 |      785 |      732
1189.89/1190.30	c 1190s |      18 |   640057 |   428652 |    25408     33 |      785 |      732
1192.19/1192.51	c 1192s |      18 |   640520 |   429052 |    25408     33 |      785 |      732
1194.29/1194.62	c 1194s |      18 |   640946 |   429452 |    25408     33 |      785 |      732
1196.28/1196.62	c 1196s |      18 |   641269 |   429752 |    25408     33 |      785 |      732
1198.37/1198.76	c 1198s |      18 |   641711 |   430152 |    25408     33 |      785 |      732
1200.37/1200.79	c 1200s |      18 |   642171 |   430552 |    25408     33 |      785 |      732
1202.77/1203.11	c 1202s |      18 |   642629 |   430952 |    25408     33 |      785 |      732
1205.17/1205.60	c 1205s |      18 |   642961 |   431252 |    25408     34 |      785 |      732
1207.48/1207.84	c 1207s |      18 |   643521 |   431752 |    25408     34 |      785 |      732
1209.86/1210.23	c 1209s |      18 |   643939 |   432152 |    25408     34 |      785 |      732
1212.06/1212.49	c 1212s |      18 |   644497 |   432652 |    25408     34 |      785 |      732
1214.17/1214.56	c 1214s |      18 |   644920 |   433052 |    25408     34 |      785 |      732
1216.56/1216.90	c 1216s |      18 |   645472 |   433552 |    25408     34 |      785 |      732
1218.75/1219.17	c 1218s |      18 |   646062 |   434052 |    25408     34 |      785 |      732
1221.36/1221.73	c 1221s |      18 |   646668 |   434552 |    25408     34 |      785 |      732
1223.46/1223.82	c 1223s |      18 |   647102 |   434952 |    25408     34 |      785 |      732
1225.66/1226.05	c 1225s |      18 |   647560 |   435352 |    25408     34 |      785 |      732
1227.85/1228.26	c 1227s |      18 |   648009 |   435752 |    25408     34 |      785 |      732
1229.95/1230.38	c 1230s |      18 |   648473 |   436152 |    25408     34 |      785 |      732
1232.15/1232.54	c 1232s |      18 |   648912 |   436552 |    25408     34 |      785 |      732
1234.45/1234.80	c 1234s |      18 |   649347 |   436952 |    25408     34 |      785 |      732
1236.75/1237.11	c 1236s |      18 |   650011 |   437452 |    25408     34 |      785 |      732
1239.14/1239.53	c 1239s |      18 |   650658 |   437952 |    25408     34 |      785 |      732
1241.65/1242.07	c 1241s |      18 |   651272 |   438452 |    25408     34 |      785 |      732
1244.04/1244.42	c 1244s |      18 |   651727 |   438852 |    25408     34 |      785 |      732
1246.05/1246.47	c 1246s |      18 |   652186 |   439252 |    25408     34 |      785 |      732
1248.44/1248.90	c 1248s |      18 |   652771 |   439752 |    25408     34 |      785 |      732
1250.93/1251.33	c 1251s |      18 |   653349 |   440252 |    25408     34 |      785 |      732
1253.03/1253.40	c 1253s |      18 |   654735 |   441052 |    25408     34 |      785 |      732
1255.03/1255.40	c 1255s |      18 |   655856 |   441752 |    27949     34 |      785 |      732
1257.53/1257.90	c 1257s |      18 |   656953 |   442452 |    27949     34 |      785 |      732
1259.63/1260.04	c 1259s |      18 |   657725 |   443052 |    27949     34 |      785 |      732
1261.63/1262.07	c 1261s |      18 |   658543 |   443652 |    27949     34 |      785 |      732
1264.03/1264.43	c 1264s |      18 |   659277 |   444252 |    27949     34 |      785 |      732
1265.03/1265.40	c 1265s |      19 |   659551 |   444482 |    27949     34 |      785 |      732
1267.03/1267.43	c 1267s |      19 |   663738 |   445582 |    27949     34 |      785 |      732
1269.13/1269.51	c 1269s |      19 |   668683 |   446782 |    27949     35 |      785 |      732
1271.12/1271.57	c 1271s |      19 |   670475 |   448282 |    27949     35 |      785 |      732
1273.22/1273.65	c 1273s |      19 |   671842 |   449482 |    27949     35 |      785 |      732
1275.22/1275.66	c 1275s |      19 |   672965 |   450482 |    27949     35 |      785 |      732
1277.42/1277.87	c 1277s |      19 |   674038 |   451482 |    27949     35 |      785 |      732
1279.62/1280.03	c 1279s |      19 |   675015 |   452382 |    27949     35 |      785 |      732
1281.82/1282.24	c 1281s |      19 |   676177 |   453382 |    27949     35 |      785 |      732
1284.02/1284.42	c 1284s |      19 |   677141 |   454282 |    27949     35 |      785 |      732
1286.02/1286.43	c 1286s |      19 |   678133 |   455182 |    27949     35 |      785 |      732
1288.21/1288.60	c 1288s |      19 |   679520 |   456282 |    27949     35 |      785 |      732
1290.21/1290.68	c 1290s |      19 |   680569 |   457182 |    27949     35 |      785 |      732
1292.51/1292.95	c 1292s |      19 |   681628 |   458082 |    27949     35 |      785 |      732
1294.51/1294.95	c 1294s |      19 |   682465 |   458782 |    27949     35 |      785 |      732
1296.71/1297.12	c 1296s |      19 |   685038 |   459882 |    27949     35 |      785 |      732
1298.81/1299.25	c 1298s |      19 |   686392 |   460982 |    27949     35 |      785 |      732
1300.81/1301.29	c 1301s |      19 |   688016 |   462082 |    27949     35 |      785 |      732
1302.91/1303.32	c 1303s |      19 |   691264 |   463182 |    27949     36 |      785 |      732
1304.91/1305.38	c 1305s |      19 |   697106 |   464982 |    27949     36 |      785 |      732
1307.11/1307.50	c 1307s |      19 |   698450 |   465982 |    27949     36 |      785 |      732
1309.20/1309.62	c 1309s |      19 |   699808 |   466982 |    27949     36 |      785 |      732
1311.20/1311.66	c 1311s |      19 |   701154 |   467882 |    27949     36 |      785 |      732
1313.30/1313.74	c 1313s |      19 |   702645 |   468882 |    27949     36 |      785 |      732
1315.40/1315.84	c 1315s |      19 |   703652 |   469682 |    27949     36 |      785 |      732
1317.60/1318.09	c 1317s |      19 |   704991 |   470582 |    27949     36 |      785 |      732
1319.70/1320.16	c 1319s |      19 |   706827 |   471482 |    27949     36 |      785 |      732
1321.69/1322.18	c 1321s |      19 |   710744 |   472882 |    27949     36 |      785 |      732
1323.79/1324.28	c 1324s |      19 |   712112 |   473882 |    27949     36 |      785 |      732
1325.99/1326.48	c 1326s |      19 |   713089 |   474682 |    27949     36 |      785 |      732
1328.39/1328.81	c 1328s |      19 |   713761 |   475282 |    27949     36 |      785 |      732
1330.48/1330.95	c 1330s |      19 |   714554 |   475982 |    27949     36 |      785 |      732
1332.68/1333.14	c 1332s |      19 |   715362 |   476682 |    27949     36 |      785 |      732
1334.99/1335.42	c 1335s |      19 |   716139 |   477382 |    27949     36 |      785 |      732
1337.19/1337.68	c 1337s |      19 |   717002 |   478082 |    27949     36 |      785 |      732
1339.18/1339.68	c 1339s |      19 |   717718 |   478682 |    27949     37 |      785 |      732
1341.28/1341.73	c 1341s |      19 |   718650 |   479482 |    27949     37 |      785 |      732
1343.58/1344.06	c 1343s |      19 |   719581 |   480282 |    27949     37 |      785 |      732
1345.78/1346.28	c 1346s |      19 |   720374 |   480982 |    27949     37 |      785 |      732
1348.07/1348.55	c 1348s |      19 |   721152 |   481682 |    27949     37 |      785 |      732
1350.27/1350.78	c 1350s |      19 |   722517 |   482582 |    27949     37 |      785 |      732
1352.47/1352.96	c 1352s |      19 |   723595 |   483382 |    27949     37 |      785 |      732
1354.57/1355.04	c 1354s |      19 |   724599 |   484182 |    27949     37 |      785 |      732
1356.77/1357.21	c 1356s |      19 |   725423 |   484882 |    27949     37 |      785 |      732
1358.77/1359.25	c 1358s |      19 |   726205 |   485482 |    27949     37 |      785 |      732
1360.87/1361.33	c 1361s |      19 |   727057 |   486182 |    27949     37 |      785 |      732
1363.06/1363.57	c 1363s |      19 |   727915 |   486882 |    27949     37 |      785 |      732
1365.36/1365.88	c 1365s |      19 |   728601 |   487482 |    27949     37 |      785 |      732
1367.36/1367.89	c 1367s |      19 |   729417 |   488082 |    27949     37 |      785 |      732
1369.46/1369.90	c 1369s |      19 |   729976 |   488582 |    27949     37 |      785 |      732
1371.56/1372.09	c 1371s |      19 |   730513 |   489082 |    27949     37 |      785 |      732
1373.66/1374.15	c 1373s |      19 |   731064 |   489582 |    27949     37 |      785 |      732
1375.76/1376.29	c 1376s |      19 |   731613 |   490082 |    27949     37 |      785 |      732
1377.86/1378.32	c 1378s |      19 |   732055 |   490482 |    27949     37 |      785 |      732
1380.16/1380.61	c 1380s |      19 |   732830 |   491082 |    27949     37 |      785 |      732
1382.15/1382.64	c 1382s |      19 |   733395 |   491582 |    27949     37 |      785 |      732
1384.46/1384.94	c 1384s |      19 |   733951 |   492082 |    27949     37 |      785 |      732
1386.85/1387.36	c 1387s |      19 |   734487 |   492582 |    27949     37 |      785 |      732
1389.54/1390.05	c 1389s |      19 |   735041 |   493082 |    27949     37 |      785 |      732
1391.94/1392.46	c 1392s |      19 |   735481 |   493482 |    27949     37 |      785 |      732
1393.94/1394.48	c 1394s |      19 |   735791 |   493782 |    27949     37 |      785 |      732
1396.24/1396.78	c 1396s |      19 |   736265 |   494182 |    27949     38 |      785 |      732
1398.44/1398.93	c 1398s |      19 |   736994 |   494782 |    27949     38 |      785 |      732
1400.64/1401.18	c 1400s |      19 |   737722 |   495382 |    27949     38 |      785 |      732
1402.94/1403.46	c 1403s |      19 |   738445 |   495982 |    27949     38 |      785 |      732
1405.14/1405.69	c 1405s |      19 |   739303 |   496682 |    27949     38 |      785 |      732
1407.35/1407.87	c 1407s |      19 |   739848 |   497182 |    27949     38 |      785 |      732
1409.35/1409.87	c 1409s |      19 |   740442 |   497682 |    27949     38 |      785 |      732
1411.65/1412.10	c 1411s |      19 |   741177 |   498282 |    27949     38 |      785 |      732
1413.95/1414.42	c 1414s |      19 |   741896 |   498882 |    27949     38 |      785 |      732
1416.05/1416.53	c 1416s |      19 |   742562 |   499482 |    27949     38 |      785 |      732
1418.45/1418.90	c 1418s |      19 |   743286 |   500082 |    27949     38 |      785 |      732
1420.65/1421.12	c 1420s |      19 |   743872 |   500582 |    27949     38 |      785 |      732
1423.06/1423.58	c 1423s |      19 |   744409 |   501082 |    27949     38 |      785 |      732
1425.25/1425.77	c 1425s |      19 |   744856 |   501482 |    27949     38 |      785 |      732
1427.35/1427.88	c 1427s |      19 |   745287 |   501882 |    27949     38 |      785 |      732
1429.45/1429.99	c 1429s |      19 |   745719 |   502282 |    27949     38 |      785 |      732
1431.65/1432.15	c 1431s |      19 |   746158 |   502682 |    27949     38 |      785 |      732
1433.95/1434.40	c 1434s |      19 |   746639 |   503082 |    27949     38 |      785 |      732
1436.05/1436.57	c 1436s |      19 |   747063 |   503482 |    27949     38 |      785 |      732
1438.14/1438.62	c 1438s |      19 |   747527 |   503882 |    27949     38 |      785 |      732
1440.24/1440.75	c 1440s |      19 |   747952 |   504282 |    27949     38 |      785 |      732
1442.54/1443.03	c 1442s |      19 |   748385 |   504682 |    27949     38 |      785 |      732
1444.84/1445.39	c 1445s |      19 |   748826 |   505082 |    27949     38 |      785 |      732
1446.94/1447.44	c 1447s |      19 |   749524 |   505582 |    27949     38 |      785 |      732
1449.35/1449.86	c 1449s |      19 |   750118 |   506082 |    27949     38 |      785 |      732
1451.74/1452.21	c 1451s |      19 |   750601 |   506482 |    27949     38 |      785 |      732
1454.14/1454.62	c 1454s |      19 |   750920 |   506782 |    27949     38 |      785 |      732
1456.54/1457.00	c 1456s |      19 |   751377 |   507182 |    27949     38 |      785 |      732
1458.84/1459.37	c 1459s |      19 |   751961 |   507682 |    27949     38 |      785 |      732
1461.34/1461.90	c 1461s |      19 |   752394 |   508082 |    27949     38 |      785 |      732
1463.44/1463.94	c 1463s |      19 |   752718 |   508382 |    27949     38 |      785 |      732
1465.74/1466.30	c 1466s |      19 |   753191 |   508782 |    27949     38 |      785 |      732
1468.04/1468.51	c 1468s |      19 |   753638 |   509182 |    27949     38 |      785 |      732
1470.34/1470.87	c 1470s |      19 |   753964 |   509482 |    27949     39 |      785 |      732
1472.54/1473.09	c 1472s |      19 |   754401 |   509882 |    27949     39 |      785 |      732
1474.84/1475.36	c 1475s |      19 |   754984 |   510382 |    27949     39 |      785 |      732
1477.03/1477.58	c 1477s |      19 |   755415 |   510782 |    27949     39 |      785 |      732
1479.33/1479.87	c 1479s |      19 |   755891 |   511182 |    27949     39 |      785 |      732
1481.63/1482.12	c 1481s |      19 |   756514 |   511682 |    27949     39 |      785 |      732
1483.63/1484.17	c 1483s |      19 |   756993 |   512082 |    27949     39 |      785 |      732
1485.83/1486.36	c 1486s |      19 |   757452 |   512482 |    27949     39 |      785 |      732
1487.84/1488.36	c 1488s |      19 |   757980 |   512882 |    27949     39 |      785 |      732
1490.14/1490.64	c 1490s |      19 |   758739 |   513482 |    27949     39 |      785 |      732
1492.34/1492.83	c 1492s |      19 |   759307 |   513982 |    27949     39 |      785 |      732
1494.54/1495.03	c 1494s |      19 |   759751 |   514382 |    27949     39 |      785 |      732
1496.93/1497.40	c 1497s |      19 |   760295 |   514882 |    27949     39 |      785 |      732
1499.03/1499.50	c 1499s |      19 |   760744 |   515282 |    27949     39 |      785 |      732
1501.43/1501.93	c 1501s |      19 |   761312 |   515782 |    27949     39 |      785 |      732
1503.93/1504.40	c 1504s |      19 |   761771 |   516182 |    27949     39 |      785 |      732
1506.23/1506.76	c 1506s |      19 |   762212 |   516582 |    27949     39 |      785 |      732
1508.43/1508.99	c 1508s |      19 |   762654 |   516982 |    27949     39 |      785 |      732
1510.73/1511.25	c 1510s |      19 |   763077 |   517382 |    27949     39 |      785 |      732
1512.83/1513.38	c 1513s |      19 |   763412 |   517682 |    27949     39 |      785 |      732
1515.03/1515.51	c 1515s |      19 |   763727 |   517982 |    27949     39 |      785 |      732
1517.13/1517.63	c 1517s |      19 |   764173 |   518382 |    27949     39 |      785 |      732
1519.43/1519.93	c 1519s |      19 |   764630 |   518782 |    27949     39 |      785 |      732
1522.13/1522.63	c 1522s |      19 |   765068 |   519182 |    27949     39 |      785 |      732
1524.62/1525.17	c 1524s |      19 |   765376 |   519482 |    27949     39 |      785 |      732
1527.13/1527.67	c 1527s |      19 |   765802 |   519882 |    27949     39 |      785 |      732
1529.83/1530.36	c 1530s |      19 |   766221 |   520282 |    27949     39 |      785 |      732
1532.33/1532.82	c 1532s |      19 |   766921 |   520782 |    27949     39 |      785 |      732
1534.43/1534.96	c 1534s |      19 |   767401 |   521182 |    27949     39 |      785 |      732
1536.83/1537.33	c 1537s |      19 |   767840 |   521582 |    27949     39 |      785 |      732
1538.93/1539.40	c 1539s |      19 |   768313 |   521982 |    27949     39 |      785 |      732
1540.93/1541.43	c 1541s |      19 |   768756 |   522382 |    27949     39 |      785 |      732
1543.13/1543.62	c 1543s |      19 |   769236 |   522782 |    27949     39 |      785 |      732
1545.23/1545.71	c 1545s |      19 |   769904 |   523282 |    27949     39 |      785 |      732
1547.33/1547.84	c 1547s |      19 |   770361 |   523682 |    27949     39 |      785 |      732
1549.73/1550.29	c 1550s |      19 |   770791 |   524082 |    27949     39 |      785 |      732
1552.03/1552.56	c 1552s |      19 |   771266 |   524482 |    27949     39 |      785 |      732
1554.23/1554.76	c 1554s |      19 |   771760 |   524882 |    27949     39 |      785 |      732
1557.53/1558.03	c 1557s |      19 |   772218 |   525282 |    27949     40 |      785 |      732
1559.62/1560.17	c 1559s |      19 |   772801 |   525782 |    27949     40 |      785 |      732
1562.12/1562.68	c 1562s |      19 |   773351 |   526282 |    27949     40 |      785 |      732
1564.22/1564.72	c 1564s |      19 |   773817 |   526682 |    27949     40 |      785 |      732
1566.42/1566.95	c 1566s |      19 |   774393 |   527182 |    27949     40 |      785 |      732
1568.72/1569.22	c 1568s |      19 |   774975 |   527682 |    27949     40 |      785 |      732
1571.12/1571.62	c 1571s |      19 |   775762 |   528282 |    27949     40 |      785 |      732
1573.12/1573.66	c 1573s |      19 |   776231 |   528682 |    27949     40 |      785 |      732
1575.62/1576.16	c 1575s |      19 |   776808 |   529182 |    27949     40 |      785 |      732
1578.03/1578.59	c 1578s |      19 |   777359 |   529682 |    27949     40 |      785 |      732
1580.12/1580.68	c 1580s |      19 |   777844 |   530082 |    27949     40 |      785 |      732
1582.22/1582.76	c 1582s |      19 |   778320 |   530482 |    27949     40 |      785 |      732
1584.22/1584.78	c 1584s |      19 |   778781 |   530882 |    27949     40 |      785 |      732
1586.52/1587.06	c 1586s |      19 |   779254 |   531282 |    27949     40 |      785 |      732
1588.62/1589.17	c 1588s |      19 |   779715 |   531682 |    27949     40 |      785 |      732
1590.82/1591.35	c 1591s |      19 |   780197 |   532082 |    27949     40 |      785 |      732
1593.12/1593.63	c 1593s |      19 |   780667 |   532482 |    27949     40 |      785 |      732
1595.42/1595.93	c 1595s |      19 |   781250 |   532982 |    27949     40 |      785 |      732
1597.52/1598.03	c 1597s |      19 |   781840 |   533482 |    27949     40 |      785 |      732
1599.71/1600.28	c 1600s |      19 |   782383 |   533982 |    27949     40 |      785 |      732
1601.81/1602.38	c 1602s |      19 |   782814 |   534382 |    27949     40 |      785 |      732
1603.91/1604.47	c 1604s |      19 |   783237 |   534782 |    27949     40 |      785 |      732
1606.01/1606.59	c 1606s |      19 |   783672 |   535182 |    27949     40 |      785 |      732
1608.51/1609.03	c 1608s |      19 |   784236 |   535682 |    27949     40 |      785 |      732
1610.71/1611.22	c 1610s |      19 |   784695 |   536082 |    27949     40 |      785 |      732
1612.81/1613.33	c 1613s |      19 |   785200 |   536482 |    27949     40 |      785 |      732
1615.11/1615.62	c 1615s |      19 |   785639 |   536882 |    27949     40 |      785 |      732
1617.51/1618.03	c 1617s |      19 |   786204 |   537382 |    27949     40 |      785 |      732
1619.61/1620.12	c 1619s |      19 |   786643 |   537782 |    27949     40 |      785 |      732
1621.91/1622.41	c 1622s |      19 |   787088 |   538182 |    27949     40 |      785 |      732
1624.01/1624.51	c 1624s |      19 |   787537 |   538582 |    27949     40 |      785 |      732
1626.11/1626.69	c 1626s |      19 |   787981 |   538982 |    27949     40 |      785 |      732
1628.21/1628.72	c 1628s |      19 |   788480 |   539382 |    27949     40 |      785 |      732
1630.41/1630.98	c 1630s |      19 |   789067 |   539882 |    27949     40 |      785 |      732
1632.61/1633.14	c 1632s |      19 |   789511 |   540282 |    27949     40 |      785 |      732
1634.81/1635.33	c 1635s |      19 |   789942 |   540682 |    27949     40 |      785 |      732
1637.41/1637.92	c 1637s |      19 |   790251 |   540982 |    27949     41 |      785 |      732
1639.41/1639.99	c 1639s |      19 |   790839 |   541482 |    27949     41 |      785 |      732
1641.81/1642.33	c 1642s |      19 |   791498 |   542082 |    27949     41 |      785 |      732
1644.21/1644.75	c 1644s |      19 |   792147 |   542682 |    27949     41 |      785 |      732
1646.41/1646.91	c 1646s |      19 |   792698 |   543182 |    27949     41 |      785 |      732
1648.51/1649.06	c 1648s |      19 |   793232 |   543682 |    27949     41 |      785 |      732
1650.71/1651.25	c 1650s |      19 |   793815 |   544182 |    27949     41 |      785 |      732
1652.81/1653.34	c 1653s |      19 |   794369 |   544682 |    27949     41 |      785 |      732
1654.90/1655.42	c 1655s |      19 |   794916 |   545182 |    27949     41 |      785 |      732
1657.10/1657.63	c 1657s |      19 |   795486 |   545682 |    27949     41 |      785 |      732
1659.11/1659.64	c 1659s |      19 |   795911 |   546082 |    27949     41 |      785 |      732
1661.21/1661.71	c 1661s |      19 |   796482 |   546582 |    27949     41 |      785 |      732
1663.51/1664.07	c 1663s |      19 |   797047 |   547082 |    27949     41 |      785 |      732
1665.91/1666.46	c 1666s |      19 |   797587 |   547582 |    27949     41 |      785 |      732
1668.22/1668.75	c 1668s |      19 |   798187 |   548082 |    27949     41 |      785 |      732
1670.31/1670.85	c 1670s |      19 |   798764 |   548582 |    27949     41 |      785 |      732
1672.31/1672.85	c 1672s |      19 |   799431 |   549082 |    27949     41 |      785 |      732
1674.51/1675.05	c 1674s |      19 |   800419 |   549782 |    27949     41 |      785 |      732
1676.81/1677.39	c 1677s |      19 |   801136 |   550382 |    27949     41 |      785 |      732
1678.91/1679.49	c 1679s |      19 |   801746 |   550882 |    27949     41 |      785 |      732
1681.21/1681.73	c 1681s |      19 |   802504 |   551482 |    27949     41 |      785 |      732
1683.31/1683.86	c 1683s |      19 |   803103 |   551982 |    27949     41 |      785 |      732
1685.30/1685.88	c 1685s |      19 |   803681 |   552482 |    27949     41 |      785 |      732
1687.60/1688.12	c 1687s |      19 |   804915 |   553182 |    27949     41 |      785 |      732
1690.00/1690.56	c 1690s |      19 |   805858 |   553882 |    27949     41 |      785 |      732
1692.10/1692.67	c 1692s |      19 |   806618 |   554482 |    27949     41 |      785 |      732
1694.50/1695.01	c 1694s |      19 |   807334 |   555082 |    27949     41 |      785 |      732
1696.60/1697.17	c 1696s |      19 |   807936 |   555582 |    27949     41 |      785 |      732
1698.70/1699.28	c 1699s |      19 |   808519 |   556082 |    27949     41 |      785 |      732
1701.10/1701.69	c 1701s |      19 |   809102 |   556582 |    27949     41 |      785 |      732
1703.20/1703.76	c 1703s |      19 |   809442 |   556882 |    27949     42 |      785 |      732
1705.30/1705.86	c 1705s |      19 |   810145 |   557482 |    27949     42 |      785 |      732
1707.60/1708.12	c 1707s |      19 |   810726 |   557982 |    27949     42 |      785 |      732
1709.90/1710.50	c 1710s |      19 |   811444 |   558582 |    27949     42 |      785 |      732
1712.00/1712.51	c 1712s |      19 |   812059 |   559082 |    27949     42 |      785 |      732
1714.20/1714.78	c 1714s |      19 |   812645 |   559582 |    27949     42 |      785 |      732
1716.71/1717.20	c 1716s |      19 |   813211 |   560082 |    27949     42 |      785 |      732
1718.91/1719.47	c 1719s |      19 |   813809 |   560582 |    27949     42 |      785 |      732
1721.30/1721.81	c 1721s |      19 |   814505 |   561182 |    27949     42 |      785 |      732
1723.50/1724.00	c 1723s |      19 |   815194 |   561782 |    27949     42 |      785 |      732
1725.70/1726.27	c 1725s |      19 |   815896 |   562382 |    27949     42 |      785 |      732
1727.80/1728.34	c 1728s |      19 |   816469 |   562882 |    27949     42 |      785 |      732
1730.10/1730.62	c 1730s |      19 |   817161 |   563482 |    27949     42 |      785 |      732
1732.50/1733.00	c 1732s |      19 |   817729 |   563982 |    27949     42 |      785 |      732
1734.60/1735.11	c 1734s |      19 |   818322 |   564482 |    27949     42 |      785 |      732
1737.00/1737.56	c 1737s |      19 |   818875 |   564982 |    27949     42 |      785 |      732
1739.30/1739.84	c 1739s |      19 |   819454 |   565482 |    27949     42 |      785 |      732
1741.60/1742.19	c 1741s |      19 |   820020 |   565982 |    27949     42 |      785 |      732
1744.00/1744.52	c 1744s |      19 |   820618 |   566482 |    27949     42 |      785 |      732
1746.20/1746.74	c 1746s |      19 |   821184 |   566982 |    27949     42 |      785 |      732
1748.60/1749.18	c 1748s |      19 |   821762 |   567482 |    27949     42 |      785 |      732
1751.10/1751.65	c 1751s |      19 |   822351 |   567982 |    27949     42 |      785 |      732
1753.60/1754.14	c 1753s |      19 |   822915 |   568482 |    27949     42 |      785 |      732
1755.60/1756.17	c 1755s |      19 |   823377 |   568882 |    27949     42 |      785 |      732
1757.69/1758.29	c 1758s |      19 |   823826 |   569282 |    27949     42 |      785 |      732
1759.89/1760.48	c 1760s |      19 |   824278 |   569682 |    27949     42 |      785 |      732
1762.19/1762.75	c 1762s |      19 |   824734 |   570082 |    27949     42 |      785 |      732
1764.39/1764.96	c 1764s |      19 |   825168 |   570482 |    27949     42 |      785 |      732
1766.69/1767.25	c 1766s |      19 |   825627 |   570882 |    27949     42 |      785 |      732
1768.89/1769.45	c 1769s |      19 |   826088 |   571282 |    27949     42 |      785 |      732
1771.29/1771.86	c 1771s |      19 |   826537 |   571682 |    27949     42 |      785 |      732
1773.69/1774.21	c 1773s |      19 |   827000 |   572082 |    27949     42 |      785 |      732
1775.79/1776.35	c 1776s |      19 |   827353 |   572382 |    27949     43 |      785 |      732
1777.79/1778.37	c 1778s |      19 |   827924 |   572882 |    27949     43 |      785 |      732
1780.09/1780.61	c 1780s |      19 |   828481 |   573382 |    27949     43 |      785 |      732
1782.39/1782.90	c 1782s |      19 |   829042 |   573882 |    27949     43 |      785 |      732
1784.69/1785.23	c 1784s |      19 |   829598 |   574382 |    27949     43 |      785 |      732
1786.69/1787.24	c 1786s |      19 |   830052 |   574782 |    27949     43 |      785 |      732
1789.20/1789.72	c 1789s |      19 |   830615 |   575282 |    27949     43 |      785 |      732
1791.69/1792.22	c 1791s |      19 |   831184 |   575782 |    27949     43 |      785 |      732
1794.09/1794.67	c 1794s |      19 |   831754 |   576282 |    27949     43 |      785 |      732
1796.39/1796.95	c 1796s |      19 |   832186 |   576682 |    27949     43 |      785 |      732
1798.59/1799.17	c 1798s |      19 |   832629 |   577082 |    27949     43 |      785 |      732

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

pid=24212
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.00 2.04 2.06 3/175 24218
/proc/meminfo: memFree=31535800/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=640444 CPUtime=0 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 2372 0 0 0 0 0 0 0 20 0 4 0 30956167 655814656 3244 33554432000 4194304 16246674 140734291908880 140734291908304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 160623 3254 441 2943 0 157517 0
[pid=24218/tid=24222] ppid=24212 vsize=657852 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 673640448 3312 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=661948 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 677834752 3328 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=666044 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 682029056 3346 33554432000 4194304 16246674 140734291908880 140040629906608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100158 s]
/proc/loadavg: 2.00 2.04 2.06 3/175 24218
/proc/meminfo: memFree=31535800/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 28470 0 0 0 5 4 0 0 20 0 4 0 30956167 1249447936 29279 33554432000 4194304 16246674 140734291908880 140734291908192 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 305041 29279 802 2943 0 301935 0
[pid=24218/tid=24222] ppid=24212 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1249447936 29279 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1249447936 29279 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1249447936 29279 33554432000 4194304 16246674 140734291908880 140040629906608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200451 s]
/proc/loadavg: 2.00 2.04 2.06 3/175 24218
/proc/meminfo: memFree=31535800/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 48675 0 0 0 12 7 0 0 20 0 4 0 30956167 1332285440 49484 33554432000 4194304 16246674 140734291908880 140734291908192 5876536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 325265 49484 843 2943 0 322159 0
[pid=24218/tid=24222] ppid=24212 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 49484 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 49484 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 49484 33554432000 4194304 16246674 140734291908880 140040629906608 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.300406 s]
/proc/loadavg: 2.00 2.04 2.06 3/175 24218
/proc/meminfo: memFree=31535800/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1301060 CPUtime=0.28 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 54740 0 0 0 21 7 0 0 20 0 4 0 30956167 1332285440 55549 33554432000 4194304 16246674 140734291908880 140734291908192 5828874 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 325265 55554 883 2943 0 322159 0
[pid=24218/tid=24222] ppid=24212 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 55558 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 55561 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 55565 33554432000 4194304 16246674 140734291908880 140040629906608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700348 s]
/proc/loadavg: 2.00 2.04 2.06 3/175 24218
/proc/meminfo: memFree=31535800/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 100533 0 0 0 55 14 0 0 20 0 4 0 30956167 1332285440 101342 33554432000 4194304 16246674 140734291908880 140734291908192 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 325265 101345 883 2943 0 322159 0
[pid=24218/tid=24222] ppid=24212 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 101347 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 101349 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 101352 33554432000 4194304 16246674 140734291908880 140040629906608 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.50036 s]
/proc/loadavg: 2.08 2.06 2.07 4/183 24226
/proc/meminfo: memFree=30279700/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 202002 0 0 0 123 26 0 0 20 0 4 0 30956167 1332285440 202811 33554432000 4194304 16246674 140734291908880 140734291890752 6843278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 325265 202814 883 2943 0 322159 0
[pid=24218/tid=24222] ppid=24212 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 202816 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 202819 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1332285440 202821 33554432000 4194304 16246674 140734291908880 140040629906608 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.10038 s]
/proc/loadavg: 2.08 2.06 2.07 4/183 24226
/proc/meminfo: memFree=29478908/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 255738 0 0 0 277 32 0 0 20 0 4 0 30956167 1344868352 256547 33554432000 4194304 16246674 140734291908880 140734291890752 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 328337 256560 889 2943 0 325231 0
[pid=24218/tid=24222] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 256570 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 256578 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 256586 33554432000 4194304 16246674 140734291908880 140040629906608 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.30035 s]
/proc/loadavg: 2.08 2.06 2.07 4/183 24226
/proc/meminfo: memFree=29374412/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 269525 0 0 0 595 34 0 0 20 0 4 0 30956167 1344868352 270334 33554432000 4194304 16246674 140734291908880 140734291891880 13760144 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 328337 270334 890 2943 0 325231 0
[pid=24218/tid=24222] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270334 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270334 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270334 33554432000 4194304 16246674 140734291908880 140040629906608 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.15 2.07 2.07 4/183 24226
/proc/meminfo: memFree=29375588/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 269527 0 0 0 1235 34 0 0 20 0 4 0 30956167 1344868352 270336 33554432000 4194304 16246674 140734291908880 140734291890752 5717503 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 328337 270336 892 2943 0 325231 0
[pid=24218/tid=24222] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270336 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270336 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270336 33554432000 4194304 16246674 140734291908880 140040629906608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.12 2.07 2.07 4/183 24226
/proc/meminfo: memFree=29376280/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 269528 0 0 0 2515 34 0 0 20 0 4 0 30956167 1344868352 270337 33554432000 4194304 16246674 140734291908880 140734291890752 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 328337 270337 893 2943 0 325231 0
[pid=24218/tid=24222] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270337 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270337 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270337 33554432000 4194304 16246674 140734291908880 140040629906608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.08 2.06 2.07 4/183 24226
/proc/meminfo: memFree=29375680/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 269528 0 0 0 5074 34 0 0 20 0 4 0 30956167 1344868352 270337 33554432000 4194304 16246674 140734291908880 140734291890752 5546219 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 328337 270337 893 2943 0 325231 0
[pid=24218/tid=24222] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270337 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270337 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1344868352 270337 33554432000 4194304 16246674 140734291908880 140040629906608 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.10 2.07 2.07 4/183 24227
/proc/meminfo: memFree=29365056/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 270808 0 0 0 10194 34 0 0 20 0 4 0 30956167 1350111232 271617 33554432000 4194304 16246674 140734291908880 140734291890752 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 329617 271617 893 2943 0 326511 0
[pid=24218/tid=24222] ppid=24212 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1350111232 271617 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1350111232 271617 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1350111232 271617 33554432000 4194304 16246674 140734291908880 140040629906608 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) 1318468


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

/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1365839872 275460 33554432000 4194304 16246674 140734291908880 140040629906608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1333828

[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/183 24257
/proc/meminfo: memFree=29311472/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1352260 CPUtime=1301.91 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 279332 0 0 0 130142 49 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140734291890752 5822492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 338065 279864 893 2943 0 334959 0
[pid=24218/tid=24222] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040629906608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1352260

[startup+1362.3 s]
/proc/loadavg: 2.12 2.08 2.06 4/183 24258
/proc/meminfo: memFree=29311004/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1352260 CPUtime=1361.87 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 279379 0 0 0 136138 49 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140734291890752 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 338065 279864 893 2943 0 334959 0
[pid=24218/tid=24222] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040629906608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1352260

[startup+1422.3 s]
/proc/loadavg: 2.10 2.08 2.06 4/183 24259
/proc/meminfo: memFree=29312096/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1352260 CPUtime=1421.86 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 279398 0 0 0 142136 50 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140734291890752 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 338065 279864 893 2943 0 334959 0
[pid=24218/tid=24222] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040629906608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1352260

[startup+1482.3 s]
/proc/loadavg: 2.07 2.07 2.06 4/183 24261
/proc/meminfo: memFree=29312008/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1352260 CPUtime=1481.83 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 279398 0 0 0 148133 50 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140734291890752 12483512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 338065 279864 893 2943 0 334959 0
[pid=24218/tid=24222] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040629906608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1352260

[startup+1542.31 s]
/proc/loadavg: 2.21 2.11 2.07 4/183 24262
/proc/meminfo: memFree=29312008/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1352260 CPUtime=1541.84 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 279398 0 0 0 154133 51 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140734291890752 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 338065 279864 893 2943 0 334959 0
[pid=24218/tid=24222] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040629906608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1352260

[startup+1602.3 s]
/proc/loadavg: 2.21 2.12 2.08 4/183 24263
/proc/meminfo: memFree=29312508/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1352260 CPUtime=1601.81 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 279398 0 0 0 160130 51 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140734291890752 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 338065 279864 893 2943 0 334959 0
[pid=24218/tid=24222] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040629906608 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) 1352260

[startup+1662.3 s]
/proc/loadavg: 2.17 2.12 2.08 4/184 24267
/proc/meminfo: memFree=29312712/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1352260 CPUtime=1661.81 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 279398 0 0 0 166129 52 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140734291890752 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 338065 279864 893 2943 0 334959 0
[pid=24218/tid=24222] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040629906608 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) 1352260

[startup+1722.3 s]
/proc/loadavg: 2.13 2.11 2.08 4/183 24268
/proc/meminfo: memFree=29312228/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1352260 CPUtime=1721.8 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 279398 0 0 0 172127 53 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140734291890752 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 338065 279864 893 2943 0 334959 0
[pid=24218/tid=24222] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040629906608 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) 1352260

[startup+1782.3 s]
/proc/loadavg: 2.05 2.09 2.08 4/183 24270
/proc/meminfo: memFree=29311488/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1352260 CPUtime=1781.79 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 279398 0 0 0 178126 53 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140734291890752 13906983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 338065 279864 893 2943 0 334959 0
[pid=24218/tid=24222] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040629906608 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) 1352260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.04 2.08 2.08 4/183 24270
/proc/meminfo: memFree=29311612/32872528 swapFree=249752/274280
[pid=24218] ppid=24212 vsize=1352260 CPUtime=1800.09 cores=1,3,5,7
/proc/24218/stat : 24218 (toysat) R 24212 24218 24001 0 -1 4202496 279398 0 0 0 179956 53 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140734291890752 12874877 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24218/statm: 338065 279864 893 2943 0 334959 0
[pid=24218/tid=24222] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24222/stat : 24222 (toysat) S 24212 24218 24001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040757816560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24218/tid=24223] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24223/stat : 24223 (toysat) S 24212 24218 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040747326704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24218/tid=24224] ppid=24212 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24218/task/24224/stat : 24224 (toysat) S 24212 24218 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30956167 1384714240 279864 33554432000 4194304 16246674 140734291908880 140040629906608 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) 1352260

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 24218 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.57
CPU system time (s): 0.534918
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1352260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.534918
maximum resident set size= 1119456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279398
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= 362
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48532 second user time and 7.04193 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-27 00:12:41
IDJOB=4116101
IDBENCH=109428
IDSOLVER=2542
FILE ID=node107/4116101-1466979161
RUNJOBID= node107-1466979161-24190
PBS_JOBID= 19976391
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= b14c69da2c42fca4a907f4974b0a7bdb
RANDOM SEED=142926795

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.695
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.695
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31536568 kB
Buffers:           24696 kB
Cached:           326764 kB
SwapCached:         1976 kB
Active:            75720 kB
Inactive:         278776 kB
Active(anon):       5340 kB
Inactive(anon):      616 kB
Active(file):      70380 kB
Inactive(file):   278160 kB
Unevictable:      274280 kB
Mlocked:          249752 kB
SwapTotal:      67108856 kB
SwapFree:       67099120 kB
Dirty:             33396 kB
Writeback:             0 kB
AnonPages:        434592 kB
Mapped:             7560 kB
Shmem:                 0 kB
Slab:             575488 kB
SReclaimable:      19144 kB
SUnreclaim:       556344 kB
KernelStack:        1472 kB
PageTables:         4332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     372068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71656 MiB
End job on node107 at 2016-06-27 00:42:42