0.00/0.00	c 2016-06-07T09:11:48+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-4078944-1465283507.opb"]
0.00/0.01	c use --random-gen="1342638246 814795573 3123769554 3071402093 1314436676 963866188 1268015039 4131733238 2932565532 2553635740 1930678809 2925092501 13502202 2946734953 1208867603 3363906491 3445439354 2293313422 641713849 1740629902 1824040940 4134676139 2444518426 3944120500 2351775695 3187217679 1299337983 3046929454 3138601869 2641602341 2933454851 2322543233 241690044 2409892911 3072392848 2813806240 3585921446 962225560 3163733220 218150541 2371661195 1161319613 74262754 711247125 4218587038 1505455520 4212476872 1396164016 2182562679 3782889527 1074517672 2588716307 1840141334 3941500141 1727409309 1995144099 4067047725 3413089039 3515740417 2807058385 2368151428 3927467325 2048770007 3668325099 2939105316 3406302537 193774934 836401388 2101660908 3468668827 250464493 3156300230 2751524285 3044867684 2753559990 3890995449 1809503676 2469793512 3073797007 3303008006 203096351 3733262308 2259902332 4165670185 3154855155 4171097823 3429423041 2588206580 1534922456 3521086238 778017969 1660066426 2126388509 726217481 2368011236 3553897158 3544165330 458093921 4235897982 3871076961 2396293771 2009880963 4217560755 3265607708 2201634644 2363705837 1727530576 2431922992 891512231 136852622 2478588623 3257845754 3689845709 3108525256 791776028 586162591 2694120987 3879664957 3719675439 766474090 3261527078 1120351006 4115403610 888303362 3305589106 206906685 3072745995 1745528652 927727934 946244847 1661628803 1463689744 614001766 1660665459 3575846970 4071840795 3923161045 748299778 1327532975 2893815362 552280251 3482604149 2848101252 2376871000 959301502 3397844890 174011185 890397821 2535482586 15947335 3224794086 4178858916 3632198600 2150204415 959926972 1707756928 4092301941 1664176207 2494137364 1205635124 2693519534 3239810078 532647175 1279188439 1121563308 945162101 3046935124 1396256564 4203254728 3754708431 2738952327 2122634083 4015646292 4291401183 3301970974 3747292757 3883808130 3246242078 825441131 2294819402 997427863 2446534792 2947272467 3924749003 991364611 1160237958 2491812352 1767975027 2604285788 54255038 2207047227 1984211494 3355657929 3536616243 2169159601 1554201588 4064385930 2796887588 1049737717 3634954172 190817421 2318740459 866251138 939165514 2958716625 4040674862 53313425 881316378 2014196707 1616038446 3214947691 2225607554 1375156713 3721263093 3508929271 1831706701 3848724262 1656945631 3273096382 4018630259 2594432363 3388112899 2776277692 2788622788 3888203589 1626628109 2781976219 3780635391 2405284559 2895489289 3136483709 2236739094 3467862976 3988149410 1859321327 3544281015 848582685 3755292438 645305505 2411645700 2072975998 4280948902 2499370009 2894103961 221208068 3910092713 3335324995 2900271686 403631681 3699372322 935192028 1170774195 1997301213 2646890110 3617937791 3347583389 255 362436" option to reproduce the execution
0.09/0.11	c #vars 6324
0.09/0.11	c #constraints 6512
0.18/0.23	c Solving starts ...
0.18/0.23	c ============================[ Search Statistics ]============================
0.18/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.23	c =============================================================================
0.18/0.24	c  0.0s |       0 |        0 |        0 |     4278      0 |      362 |        0
0.38/0.41	c  0.2s |       1 |     3040 |      100 |     4278      0 |      363 |      304
0.48/0.57	c  0.3s |       2 |     7760 |      250 |     4706      0 |      363 |      304
0.69/0.79	c  0.6s |       3 |    11139 |      475 |     5177      0 |      363 |      304
1.28/1.30	c  1.1s |       4 |    19853 |      813 |     5695      0 |      365 |      306
1.89/1.94	c  1.7s |       5 |    26685 |     1320 |     6265      0 |      365 |      306
2.69/2.76	c  2.5s |       6 |    40657 |     2081 |     7582      0 |      366 |      307
4.19/4.29	c  4.1s |       7 |    57800 |     3223 |     8341      0 |      368 |      309
6.29/6.37	c  6.1s |       7 |    66391 |     4623 |     8341      0 |      368 |      309
6.99/7.00	c  6.8s |       8 |    67328 |     4936 |     9176      0 |      368 |      309
8.99/9.07	c  8.8s |       8 |    88576 |     6636 |     9176      0 |      368 |      309
10.29/10.34	c 10.1s |       9 |    97410 |     7506 |    10094      0 |      369 |      310
12.39/12.43	c 12.2s |       9 |   111533 |     8906 |    10094      0 |      369 |      310
14.48/14.51	c 14.3s |       9 |   115288 |     9906 |    10094      0 |      369 |      310
16.59/16.62	c 16.4s |       9 |   119612 |    10806 |    10094      0 |      369 |      310
18.48/18.50	c 18.3s |      10 |   121560 |    11361 |    11104      0 |      369 |      310
20.48/20.55	c 20.3s |      10 |   133377 |    12561 |    11104      0 |      369 |      310
22.58/22.63	c 22.4s |      10 |   147861 |    13661 |    11104      1 |      371 |      312
24.68/24.71	c 24.5s |      10 |   172705 |    15061 |    11104      1 |      373 |      314
26.68/26.72	c 26.5s |      10 |   188727 |    16461 |    11104      1 |      375 |      316
27.59/27.63	c 27.4s |      11 |   194285 |    17144 |    12215      1 |      376 |      317
29.58/29.65	c 29.4s |      11 |   211801 |    18344 |    12215      1 |      377 |      318
31.68/31.72	c 31.5s |      11 |   228345 |    19844 |    12215      1 |      378 |      319
33.78/33.82	c 33.6s |      11 |   233097 |    20744 |    12215      2 |      378 |      319
35.98/36.06	c 35.8s |      11 |   260697 |    22244 |    12215      2 |      380 |      321
38.28/38.33	c 38.1s |      11 |   270464 |    23444 |    12215      2 |      380 |      321
40.78/40.85	c 40.6s |      11 |   271627 |    23844 |    12215      2 |      380 |      321
42.98/43.05	c 42.8s |      11 |   273170 |    24344 |    12215      2 |      380 |      321
45.08/45.11	c 44.9s |      11 |   275241 |    24944 |    12215      2 |      380 |      321
47.08/47.18	c 46.9s |      11 |   276401 |    25344 |    12215      2 |      380 |      321
49.58/49.64	c 49.4s |      11 |   277198 |    25644 |    12215      2 |      380 |      321
49.98/50.05	c 49.8s |      12 |   283154 |    25819 |    13437      2 |      380 |      321
52.18/52.21	c 52.0s |      12 |   298936 |    27019 |    13437      2 |      381 |      322
54.47/54.51	c 54.3s |      12 |   302446 |    27719 |    13437      2 |      381 |      322
56.47/56.52	c 56.3s |      12 |   317131 |    28719 |    13437      3 |      382 |      323
58.57/58.63	c 58.4s |      12 |   327146 |    29819 |    13437      3 |      382 |      323
60.67/60.73	c 60.5s |      12 |   351162 |    31019 |    13437      3 |      384 |      325
62.68/62.74	c 62.5s |      12 |   371014 |    32319 |    13437      3 |      385 |      326
64.77/64.80	c 64.6s |      12 |   394664 |    33819 |    13437      3 |      385 |      326
67.08/67.20	c 67.0s |      12 |   410469 |    35019 |    13437      4 |      386 |      327
69.29/69.35	c 69.1s |      12 |   432335 |    36519 |    13437      4 |      386 |      327
71.38/71.47	c 71.2s |      12 |   447387 |    37719 |    13437      4 |      386 |      327
73.28/73.32	c 73.1s |      13 |   464062 |    38832 |    14781      4 |      386 |      327
75.28/75.33	c 75.1s |      13 |   469646 |    39732 |    14781      4 |      386 |      327
77.48/77.54	c 77.3s |      13 |   471610 |    40232 |    14781      4 |      386 |      327
79.48/79.56	c 79.3s |      13 |   472575 |    40632 |    14781      4 |      386 |      327
81.57/81.62	c 81.4s |      13 |   474254 |    41032 |    14781      4 |      386 |      327
83.58/83.69	c 83.5s |      13 |   477992 |    41732 |    14781      4 |      386 |      327
85.67/85.79	c 85.6s |      13 |   479172 |    42132 |    14781      4 |      386 |      327
88.27/88.30	c 88.1s |      13 |   491848 |    43232 |    14781      5 |      387 |      328
90.37/90.40	c 90.2s |      13 |   516827 |    44732 |    14781      5 |      387 |      328
92.48/92.54	c 92.3s |      13 |   541236 |    46132 |    14781      5 |      387 |      328
94.68/94.75	c 94.5s |      13 |   556442 |    47532 |    14781      5 |      387 |      328
96.88/96.99	c 96.8s |      13 |   563874 |    48432 |    14781      5 |      387 |      328
98.98/99.06	c 98.8s |      13 |   576643 |    49632 |    14781      5 |      387 |      328
101.07/101.11	c  100s |      13 |   596332 |    50832 |    14781      5 |      387 |      328
103.17/103.25	c  103s |      13 |   608559 |    52132 |    14781      5 |      387 |      328
105.27/105.33	c  105s |      13 |   616994 |    53332 |    14781      6 |      387 |      328
107.27/107.39	c  107s |      13 |   632671 |    54832 |    14781      6 |      387 |      328
109.47/109.59	c  109s |      13 |   650372 |    55932 |    14781      6 |      387 |      328
111.57/111.66	c  111s |      13 |   663195 |    57132 |    14781      6 |      387 |      328
113.57/113.61	c  113s |      14 |   672618 |    58352 |    16260      6 |      387 |      328
116.07/116.18	c  115s |      14 |   691270 |    59552 |    16260      6 |      387 |      328
118.27/118.32	c  118s |      14 |   701762 |    60452 |    16260      6 |      387 |      328
120.36/120.43	c  120s |      14 |   719459 |    62152 |    16260      6 |      387 |      328
122.46/122.57	c  122s |      14 |   723795 |    63152 |    16260      6 |      387 |      328
124.56/124.62	c  124s |      14 |   726620 |    64052 |    16260      6 |      387 |      328
126.66/126.71	c  126s |      14 |   743158 |    65552 |    16260      7 |      387 |      328
128.67/128.75	c  128s |      14 |   756281 |    66952 |    16260      7 |      387 |      328
130.76/130.88	c  130s |      14 |   763990 |    68352 |    16260      7 |      387 |      328
132.76/132.89	c  132s |      14 |   767775 |    69352 |    16260      7 |      387 |      328
135.06/135.10	c  134s |      14 |   772384 |    70552 |    16260      7 |      387 |      328
137.06/137.19	c  136s |      14 |   778068 |    71652 |    16260      7 |      387 |      328
139.16/139.28	c  139s |      14 |   782411 |    72752 |    16260      7 |      387 |      328
141.36/141.40	c  141s |      14 |   786040 |    73652 |    16260      7 |      387 |      328
143.46/143.51	c  143s |      14 |   790079 |    74352 |    16260      8 |      387 |      328
145.56/145.63	c  145s |      14 |   793794 |    75352 |    16260      8 |      387 |      328
147.76/147.83	c  147s |      14 |   798156 |    76252 |    16260      8 |      387 |      328
149.96/150.00	c  149s |      14 |   799988 |    76852 |    16260      8 |      387 |      328
152.26/152.32	c  152s |      14 |   801441 |    77352 |    16260      8 |      387 |      328
154.27/154.38	c  154s |      14 |   802419 |    77752 |    16260      8 |      387 |      328
156.57/156.67	c  156s |      14 |   804099 |    78252 |    16260      8 |      387 |      328
158.76/158.85	c  158s |      14 |   808481 |    79052 |    16260      8 |      387 |      328
161.06/161.11	c  160s |      14 |   812962 |    80052 |    16260      8 |      387 |      328
163.06/163.15	c  162s |      14 |   815354 |    80652 |    16260      8 |      387 |      328
165.46/165.59	c  165s |      14 |   817092 |    81252 |    16260      8 |      387 |      328
167.66/167.72	c  167s |      14 |   818076 |    81652 |    16260      8 |      387 |      328
169.66/169.75	c  169s |      14 |   818650 |    81952 |    16260      8 |      387 |      328
171.76/171.89	c  171s |      14 |   819873 |    82352 |    16260      8 |      387 |      328
174.06/174.14	c  173s |      14 |   823926 |    83052 |    16260      8 |      387 |      328
176.36/176.44	c  176s |      14 |   826089 |    83552 |    16260      9 |      387 |      328
178.36/178.45	c  178s |      14 |   830196 |    84352 |    16260      9 |      387 |      328
180.46/180.58	c  180s |      14 |   835587 |    85252 |    16260      9 |      387 |      328
182.86/182.94	c  182s |      14 |   838446 |    85952 |    16260      9 |      387 |      328
185.26/185.31	c  185s |      14 |   839841 |    86452 |    16260      9 |      387 |      328
187.36/187.49	c  187s |      14 |   844818 |    87452 |    17886      9 |      387 |      328
187.86/187.91	c  187s |      15 |   845638 |    87632 |    17886      9 |      387 |      328
189.86/189.96	c  189s |      15 |   863948 |    88832 |    17886      9 |      387 |      328
192.15/192.20	c  191s |      15 |   878775 |    90232 |    17886      9 |      387 |      328
194.35/194.43	c  194s |      15 |   892399 |    91432 |    17886      9 |      387 |      328
196.55/196.60	c  196s |      15 |   903788 |    92632 |    17886      9 |      387 |      328
199.06/199.16	c  198s |      15 |   912603 |    93532 |    17886     10 |      387 |      328
201.15/201.21	c  200s |      15 |   920978 |    94732 |    17886     10 |      387 |      328
203.46/203.52	c  203s |      15 |   925955 |    95932 |    17886     10 |      387 |      328
205.45/205.56	c  205s |      15 |   932723 |    96932 |    17886     10 |      387 |      328
207.55/207.60	c  207s |      15 |   939389 |    97732 |    17886     10 |      387 |      328
209.55/209.62	c  209s |      15 |   950917 |    98832 |    17886     10 |      387 |      328
211.65/211.74	c  211s |      15 |   968987 |   100132 |    17886     10 |      387 |      328
213.75/213.80	c  213s |      15 |   980903 |   101332 |    17886     10 |      387 |      328
215.85/215.97	c  215s |      15 |   988465 |   102332 |    17886     10 |      387 |      328
218.05/218.17	c  217s |      15 |   997994 |   103432 |    17886     11 |      387 |      328
220.16/220.22	c  219s |      15 |  1015386 |   105032 |    17886     11 |      388 |      329
222.16/222.24	c  222s |      15 |  1039403 |   106532 |    17886     11 |      388 |      329
224.65/224.76	c  224s |      15 |  1047589 |   107532 |    17886     11 |      388 |      329
226.75/226.84	c  226s |      15 |  1064766 |   108632 |    17886     11 |      389 |      330
228.86/228.98	c  228s |      15 |  1082203 |   110132 |    17886     11 |      389 |      330
230.96/231.03	c  230s |      15 |  1100020 |   111432 |    17886     11 |      389 |      330
232.95/233.09	c  232s |      15 |  1113224 |   112532 |    17886     12 |      389 |      330
235.15/235.24	c  235s |      15 |  1134459 |   114032 |    17886     12 |      390 |      331
237.25/237.36	c  237s |      15 |  1141831 |   115032 |    17886     12 |      390 |      331
239.35/239.40	c  239s |      15 |  1159966 |   116732 |    17886     12 |      390 |      331
241.35/241.49	c  241s |      15 |  1180725 |   118232 |    17886     12 |      390 |      331
243.55/243.62	c  243s |      15 |  1196970 |   119532 |    17886     12 |      390 |      331
245.64/245.76	c  245s |      15 |  1216334 |   120832 |    17886     12 |      390 |      331
247.84/247.90	c  247s |      15 |  1220975 |   121732 |    17886     12 |      390 |      331
249.94/250.02	c  249s |      15 |  1234866 |   123132 |    17886     13 |      390 |      331
252.04/252.13	c  251s |      15 |  1240212 |   124132 |    17886     13 |      390 |      331
254.16/254.22	c  253s |      15 |  1258199 |   125532 |    17886     13 |      390 |      331
256.15/256.28	c  256s |      15 |  1275962 |   126732 |    17886     13 |      391 |      332
258.25/258.35	c  258s |      15 |  1289934 |   128232 |    17886     13 |      391 |      332
260.35/260.47	c  260s |      15 |  1297870 |   129532 |    17886     13 |      391 |      332
262.45/262.51	c  262s |      15 |  1300858 |   130432 |    17886     13 |      391 |      332
264.75/264.85	c  264s |      15 |  1302750 |   131032 |    19675     13 |      391 |      332
267.15/267.28	c  267s |      15 |  1304361 |   131532 |    19675     13 |      391 |      332
267.25/267.38	c  267s |      16 |  1304484 |   131552 |    19675     13 |      391 |      332
269.35/269.46	c  269s |      16 |  1324301 |   132952 |    19675     13 |      391 |      332
271.45/271.55	c  271s |      16 |  1333656 |   134152 |    19675     13 |      391 |      332
273.55/273.66	c  273s |      16 |  1342447 |   135452 |    19675     14 |      391 |      332
275.65/275.76	c  275s |      16 |  1345624 |   136452 |    19675     14 |      391 |      332
277.74/277.83	c  277s |      16 |  1348538 |   137352 |    19675     14 |      391 |      332
279.84/279.92	c  279s |      16 |  1351176 |   138152 |    19675     14 |      391 |      332
281.84/281.97	c  281s |      16 |  1356635 |   139052 |    19675     14 |      391 |      332
283.94/284.04	c  283s |      16 |  1362763 |   140252 |    19675     14 |      391 |      332
286.14/286.20	c  285s |      16 |  1370847 |   141452 |    19675     14 |      391 |      332
288.15/288.28	c  288s |      16 |  1374134 |   142252 |    19675     14 |      391 |      332
290.35/290.45	c  290s |      16 |  1377210 |   143152 |    19675     14 |      391 |      332
292.44/292.60	c  292s |      16 |  1379962 |   143952 |    19675     14 |      391 |      332
294.64/294.74	c  294s |      16 |  1382063 |   144452 |    19675     14 |      391 |      332
297.04/297.12	c  296s |      16 |  1382863 |   144752 |    19675     14 |      391 |      332
299.14/299.22	c  298s |      16 |  1384589 |   145252 |    19675     14 |      391 |      332
301.64/301.75	c  301s |      16 |  1386381 |   145752 |    19675     14 |      391 |      332
303.74/303.89	c  303s |      16 |  1388101 |   146252 |    19675     14 |      391 |      332
306.24/306.33	c  306s |      16 |  1389606 |   146752 |    19675     14 |      391 |      332
308.84/308.96	c  308s |      16 |  1390497 |   147152 |    19675     15 |      391 |      332
310.94/311.07	c  310s |      16 |  1393145 |   147752 |    19675     15 |      391 |      332
313.24/313.34	c  313s |      16 |  1395094 |   148252 |    19675     15 |      391 |      332
315.43/315.50	c  315s |      16 |  1398567 |   149052 |    19675     15 |      391 |      332
317.63/317.70	c  317s |      16 |  1400593 |   149652 |    19675     15 |      391 |      332
319.84/319.94	c  319s |      16 |  1402812 |   150152 |    19675     15 |      391 |      332
321.94/322.09	c  321s |      16 |  1405361 |   150652 |    19675     15 |      391 |      332
324.55/324.66	c  324s |      16 |  1406205 |   150952 |    19675     15 |      391 |      332
327.34/327.41	c  327s |      16 |  1407914 |   151452 |    19675     15 |      391 |      332
329.83/329.95	c  329s |      16 |  1409224 |   151852 |    19675     15 |      391 |      332
332.53/332.60	c  332s |      16 |  1409778 |   152152 |    19675     15 |      391 |      332
334.63/334.70	c  334s |      16 |  1410606 |   152452 |    19675     15 |      391 |      332
337.03/337.18	c  336s |      16 |  1411573 |   152852 |    19675     15 |      391 |      332
339.34/339.46	c  339s |      16 |  1412471 |   153152 |    19675     15 |      391 |      332
341.43/341.56	c  341s |      16 |  1417971 |   154152 |    19675     15 |      391 |      332
343.63/343.70	c  343s |      16 |  1425265 |   155152 |    19675     15 |      391 |      332
345.63/345.72	c  345s |      16 |  1426946 |   155752 |    19675     15 |      391 |      332
347.83/347.96	c  347s |      16 |  1427943 |   156152 |    19675     15 |      391 |      332
349.93/350.05	c  349s |      16 |  1431513 |   156852 |    19675     15 |      391 |      332
352.04/352.19	c  351s |      16 |  1434548 |   157452 |    19675     15 |      391 |      332
354.33/354.44	c  354s |      16 |  1437014 |   158152 |    19675     15 |      391 |      332
356.34/356.49	c  356s |      16 |  1453171 |   159352 |    19675     16 |      391 |      332
358.33/358.49	c  358s |      16 |  1468416 |   160652 |    19675     16 |      392 |      333
360.63/360.72	c  360s |      16 |  1474170 |   161752 |    19675     16 |      392 |      333
362.83/362.95	c  362s |      16 |  1478871 |   162552 |    19675     16 |      392 |      333
364.93/365.00	c  364s |      16 |  1486772 |   163352 |    19675     16 |      392 |      333
366.93/367.03	c  366s |      16 |  1497140 |   164252 |    19675     16 |      393 |      334
368.93/369.07	c  368s |      16 |  1501738 |   165452 |    19675     16 |      393 |      334
371.03/371.16	c  370s |      16 |  1507163 |   166352 |    19675     16 |      393 |      334
373.33/373.44	c  373s |      16 |  1513312 |   167252 |    19675     17 |      393 |      334
375.43/375.53	c  375s |      16 |  1537016 |   168852 |    19675     17 |      393 |      334
377.53/377.60	c  377s |      16 |  1548770 |   170152 |    19675     17 |      393 |      334
379.54/379.66	c  379s |      16 |  1563828 |   171252 |    19675     17 |      393 |      334
381.64/381.75	c  381s |      16 |  1566252 |   171752 |    19675     17 |      393 |      334
384.03/384.19	c  383s |      16 |  1569793 |   172452 |    19675     17 |      393 |      334
386.23/386.33	c  386s |      16 |  1571304 |   172952 |    19675     17 |      393 |      334
388.53/388.68	c  388s |      16 |  1573006 |   173552 |    19675     17 |      393 |      334
391.03/391.19	c  390s |      16 |  1575322 |   174252 |    19675     17 |      393 |      334
393.43/393.51	c  393s |      16 |  1576155 |   174552 |    19675     17 |      393 |      334
395.72/395.80	c  395s |      16 |  1576882 |   174852 |    19675     17 |      393 |      334
397.72/397.85	c  397s |      16 |  1579285 |   175352 |    19675     17 |      393 |      334
399.82/399.93	c  399s |      16 |  1580725 |   175752 |    19675     17 |      393 |      334
401.92/402.06	c  401s |      16 |  1582203 |   176152 |    19675     17 |      393 |      334
404.32/404.41	c  404s |      16 |  1583362 |   176552 |    19675     17 |      393 |      334
406.32/406.44	c  406s |      16 |  1587892 |   177052 |    19675     17 |      393 |      334
408.42/408.51	c  408s |      16 |  1596955 |   178152 |    19675     17 |      393 |      334
410.52/410.69	c  410s |      16 |  1605562 |   179352 |    19675     17 |      393 |      334
412.72/412.82	c  412s |      16 |  1613616 |   180252 |    19675     18 |      393 |      334
414.73/414.87	c  414s |      16 |  1622570 |   181052 |    19675     18 |      393 |      334
416.72/416.88	c  416s |      16 |  1644652 |   182452 |    19675     18 |      393 |      334
419.03/419.11	c  418s |      16 |  1648235 |   183552 |    19675     18 |      393 |      334
421.02/421.15	c  420s |      16 |  1664666 |   185052 |    19675     18 |      394 |      335
423.23/423.31	c  423s |      16 |  1677304 |   186552 |    19675     18 |      394 |      335
425.32/425.41	c  425s |      16 |  1682520 |   187752 |    19675     18 |      394 |      335
427.42/427.53	c  427s |      16 |  1684985 |   188652 |    19675     18 |      394 |      335
429.42/429.58	c  429s |      16 |  1691833 |   189752 |    19675     19 |      394 |      335
431.52/431.62	c  431s |      16 |  1706323 |   191252 |    19675     19 |      394 |      335
433.62/433.75	c  433s |      16 |  1716329 |   192652 |    19675     19 |      394 |      335
435.82/435.94	c  435s |      16 |  1729634 |   193952 |    19675     19 |      394 |      335
437.82/437.94	c  437s |      16 |  1741373 |   195352 |    19675     19 |      394 |      335
439.81/439.98	c  439s |      16 |  1746555 |   196452 |    21643     19 |      394 |      335
441.92/442.04	c  441s |      16 |  1749866 |   197152 |    21643     19 |      394 |      335
442.23/442.38	c  442s |      17 |  1750976 |   197432 |    21643     19 |      394 |      335
444.33/444.40	c  444s |      17 |  1759357 |   198632 |    21643     19 |      394 |      335
446.32/446.41	c  446s |      17 |  1767016 |   199832 |    21643     19 |      394 |      335
448.32/448.49	c  448s |      17 |  1775061 |   201032 |    21643     19 |      394 |      335
450.42/450.57	c  450s |      17 |  1792868 |   202532 |    21643     19 |      394 |      335
452.52/452.62	c  452s |      17 |  1801975 |   203832 |    21643     20 |      394 |      335
454.62/454.79	c  454s |      17 |  1821801 |   205732 |    21643     20 |      394 |      335
456.72/456.85	c  456s |      17 |  1834187 |   207032 |    21643     20 |      394 |      335
458.82/458.95	c  458s |      17 |  1844250 |   208432 |    21643     20 |      394 |      335
460.82/461.00	c  460s |      17 |  1848069 |   209332 |    21643     20 |      394 |      335
462.91/463.09	c  462s |      17 |  1852627 |   210332 |    21643     20 |      394 |      335
465.22/465.38	c  465s |      17 |  1855518 |   211132 |    21643     20 |      394 |      335
467.31/467.46	c  467s |      17 |  1857791 |   211732 |    21643     20 |      394 |      335
469.51/469.69	c  469s |      17 |  1860597 |   212432 |    21643     20 |      394 |      335
471.71/471.86	c  471s |      17 |  1862378 |   213132 |    21643     20 |      394 |      335
474.02/474.19	c  473s |      17 |  1864875 |   213832 |    21643     20 |      394 |      335
476.61/476.72	c  476s |      17 |  1866200 |   214232 |    21643     20 |      394 |      335
478.81/478.99	c  478s |      17 |  1866887 |   214532 |    21643     20 |      394 |      335
481.51/481.60	c  481s |      17 |  1867657 |   214832 |    21643     20 |      394 |      335
483.92/484.07	c  483s |      17 |  1868446 |   215132 |    21643     20 |      394 |      335
486.61/486.71	c  486s |      17 |  1869107 |   215432 |    21643     20 |      394 |      335
488.71/488.80	c  488s |      17 |  1869996 |   215732 |    21643     20 |      394 |      335
490.71/490.81	c  490s |      17 |  1870482 |   215932 |    21643     20 |      394 |      335
492.81/492.90	c  492s |      17 |  1871227 |   216132 |    21643     21 |      394 |      335
494.92/495.09	c  494s |      17 |  1875832 |   217032 |    21643     21 |      394 |      335
496.91/497.09	c  496s |      17 |  1892317 |   218532 |    21643     21 |      394 |      335
499.01/499.14	c  498s |      17 |  1905870 |   220132 |    21643     21 |      394 |      335
501.41/501.53	c  501s |      17 |  1909699 |   221032 |    21643     21 |      394 |      335
503.72/503.86	c  503s |      17 |  1911534 |   221532 |    21643     21 |      394 |      335
505.92/506.10	c  505s |      17 |  1912331 |   221832 |    21643     21 |      394 |      335
508.01/508.11	c  507s |      17 |  1922881 |   223032 |    21643     21 |      394 |      335
510.01/510.19	c  509s |      17 |  1934338 |   224232 |    21643     21 |      394 |      335
512.11/512.22	c  511s |      17 |  1950174 |   225532 |    21643     21 |      395 |      336
514.31/514.40	c  514s |      17 |  1957498 |   226432 |    21643     22 |      395 |      336
516.41/516.58	c  516s |      17 |  1976918 |   228232 |    21643     22 |      395 |      336
518.61/518.74	c  518s |      17 |  1995374 |   229832 |    21643     22 |      395 |      336
520.81/520.95	c  520s |      17 |  2013944 |   231332 |    21643     22 |      395 |      336
523.00/523.12	c  522s |      17 |  2016216 |   232132 |    21643     22 |      395 |      336
525.00/525.17	c  524s |      17 |  2018261 |   232732 |    21643     22 |      395 |      336
527.20/527.30	c  527s |      17 |  2019812 |   233332 |    21643     22 |      395 |      336
529.30/529.45	c  529s |      17 |  2035694 |   234432 |    21643     22 |      395 |      336
531.40/531.58	c  531s |      17 |  2053146 |   235732 |    21643     22 |      395 |      336
533.60/533.79	c  533s |      17 |  2061107 |   236632 |    21643     22 |      395 |      336
535.71/535.86	c  535s |      17 |  2072012 |   237532 |    21643     22 |      395 |      336
537.70/537.86	c  537s |      17 |  2087546 |   238732 |    21643     23 |      395 |      336
539.80/539.93	c  539s |      17 |  2113139 |   240632 |    21643     23 |      395 |      336
541.90/542.00	c  541s |      17 |  2121800 |   241632 |    21643     23 |      395 |      336
544.00/544.18	c  543s |      17 |  2148654 |   243432 |    21643     23 |      395 |      336
546.20/546.35	c  546s |      17 |  2161434 |   244832 |    21643     23 |      395 |      336
548.31/548.46	c  548s |      17 |  2177417 |   245932 |    21643     23 |      395 |      336
550.31/550.49	c  550s |      17 |  2187029 |   246932 |    21643     23 |      395 |      336
552.61/552.72	c  552s |      17 |  2200046 |   248132 |    21643     23 |      395 |      336
554.71/554.80	c  554s |      17 |  2215978 |   249332 |    21643     24 |      395 |      336
556.70/556.86	c  556s |      17 |  2239705 |   250932 |    21643     24 |      395 |      336
558.71/558.89	c  558s |      17 |  2258278 |   252132 |    21643     24 |      395 |      336
560.80/560.98	c  560s |      17 |  2276083 |   253732 |    21643     24 |      395 |      336
562.90/563.02	c  562s |      17 |  2288696 |   255032 |    21643     24 |      395 |      336
565.00/565.16	c  564s |      17 |  2298153 |   256132 |    21643     24 |      395 |      336
567.10/567.22	c  566s |      17 |  2308750 |   257132 |    21643     24 |      395 |      336
569.30/569.40	c  569s |      17 |  2328425 |   258532 |    21643     24 |      395 |      336
571.40/571.59	c  571s |      17 |  2338877 |   259532 |    21643     24 |      395 |      336
573.50/573.65	c  573s |      17 |  2340287 |   260032 |    21643     24 |      395 |      336
575.50/575.66	c  575s |      17 |  2355539 |   261332 |    21643     25 |      395 |      336
577.60/577.75	c  577s |      17 |  2371044 |   262732 |    21643     25 |      395 |      336
579.79/579.99	c  579s |      17 |  2374064 |   263432 |    21643     25 |      395 |      336
581.99/582.17	c  581s |      17 |  2382969 |   264732 |    21643     25 |      395 |      336
584.00/584.20	c  583s |      17 |  2387848 |   265432 |    21643     25 |      395 |      336
586.09/586.26	c  586s |      17 |  2390235 |   266132 |    21643     25 |      395 |      336
588.19/588.39	c  588s |      17 |  2395638 |   267232 |    21643     25 |      395 |      336
590.39/590.57	c  590s |      17 |  2398747 |   267932 |    21643     25 |      395 |      336
592.80/592.91	c  592s |      17 |  2401566 |   268532 |    21643     25 |      395 |      336
595.00/595.10	c  594s |      17 |  2403593 |   269032 |    21643     25 |      395 |      336
597.79/597.94	c  597s |      17 |  2406063 |   269532 |    21643     25 |      395 |      336
600.19/600.32	c  600s |      17 |  2407010 |   269832 |    21643     25 |      395 |      336
603.30/603.44	c  603s |      17 |  2408793 |   270232 |    21643     26 |      395 |      336
605.40/605.58	c  605s |      17 |  2419341 |   271732 |    21643     26 |      395 |      336
607.50/607.63	c  607s |      17 |  2422087 |   272532 |    21643     26 |      395 |      336
609.59/609.71	c  609s |      17 |  2424192 |   273232 |    21643     26 |      395 |      336
611.60/611.77	c  611s |      17 |  2427247 |   274332 |    21643     26 |      395 |      336
613.89/614.09	c  613s |      17 |  2429130 |   275032 |    21643     26 |      395 |      336
616.00/616.16	c  615s |      17 |  2430696 |   275632 |    21643     26 |      395 |      336
617.99/618.17	c  617s |      17 |  2432193 |   276132 |    21643     26 |      395 |      336
620.29/620.48	c  620s |      17 |  2433376 |   276732 |    21643     26 |      395 |      336
622.59/622.73	c  622s |      17 |  2434524 |   277232 |    21643     26 |      395 |      336
624.80/624.99	c  624s |      17 |  2435773 |   277632 |    21643     26 |      395 |      336
626.90/627.07	c  626s |      17 |  2456733 |   279132 |    21643     26 |      395 |      336
628.99/629.11	c  628s |      17 |  2468859 |   280132 |    21643     27 |      395 |      336
631.09/631.21	c  630s |      17 |  2481499 |   281632 |    21643     27 |      395 |      336
633.09/633.28	c  633s |      17 |  2486994 |   282732 |    21643     27 |      395 |      336
635.29/635.40	c  635s |      17 |  2488620 |   283232 |    21643     27 |      395 |      336
637.39/637.55	c  637s |      17 |  2489642 |   283632 |    21643     27 |      395 |      336
639.39/639.58	c  639s |      17 |  2491205 |   284132 |    21643     27 |      395 |      336
641.59/641.73	c  641s |      17 |  2493573 |   284732 |    21643     27 |      395 |      336
644.29/644.42	c  644s |      17 |  2495790 |   285332 |    21643     27 |      395 |      336
646.39/646.57	c  646s |      17 |  2501467 |   286132 |    21643     27 |      395 |      336
649.19/649.30	c  649s |      17 |  2505274 |   286632 |    21643     27 |      395 |      336
651.29/651.40	c  651s |      17 |  2510051 |   287332 |    21643     27 |      395 |      336
653.39/653.51	c  653s |      17 |  2520656 |   288432 |    21643     27 |      395 |      336
655.88/656.06	c  655s |      17 |  2522181 |   289032 |    21643     27 |      395 |      336
657.98/658.16	c  657s |      17 |  2523679 |   289432 |    21643     27 |      395 |      336
660.28/660.45	c  660s |      17 |  2525339 |   289832 |    21643     27 |      395 |      336
662.58/662.73	c  662s |      17 |  2527117 |   290332 |    21643     27 |      395 |      336
664.58/664.76	c  664s |      17 |  2528756 |   290832 |    21643     27 |      395 |      336
666.78/666.95	c  666s |      17 |  2531328 |   291732 |    21643     28 |      395 |      336
668.88/669.05	c  668s |      17 |  2533134 |   292332 |    21643     28 |      395 |      336
670.89/671.07	c  670s |      17 |  2543906 |   293632 |    21643     28 |      395 |      336
672.88/673.09	c  672s |      17 |  2551253 |   294632 |    23808     28 |      395 |      336
674.98/675.10	c  674s |      17 |  2559233 |   295832 |    23808     28 |      395 |      336
675.68/675.83	c  675s |      18 |  2563232 |   296252 |    23808     28 |      395 |      336
677.88/678.01	c  677s |      18 |  2584087 |   297952 |    23808     28 |      395 |      336
679.98/680.11	c  679s |      18 |  2593433 |   298952 |    23808     28 |      395 |      336
681.98/682.17	c  681s |      18 |  2611068 |   300152 |    23808     28 |      395 |      336
684.08/684.29	c  684s |      18 |  2624955 |   301352 |    23808     28 |      395 |      336
686.18/686.38	c  686s |      18 |  2641994 |   302852 |    23808     29 |      395 |      336
688.28/688.44	c  688s |      18 |  2671074 |   304852 |    23808     29 |      395 |      336
690.38/690.58	c  690s |      18 |  2691712 |   306452 |    23808     29 |      395 |      336
692.58/692.76	c  692s |      18 |  2706796 |   307852 |    23808     29 |      395 |      336
694.68/694.80	c  694s |      18 |  2722627 |   309152 |    23808     29 |      395 |      336
696.78/696.91	c  696s |      18 |  2731038 |   310452 |    23808     29 |      395 |      336
698.97/699.17	c  698s |      18 |  2736358 |   311452 |    23808     29 |      395 |      336
701.08/701.28	c  701s |      18 |  2743988 |   312452 |    23808     30 |      395 |      336
703.08/703.29	c  703s |      18 |  2749929 |   313652 |    23808     30 |      395 |      336
705.18/705.35	c  705s |      18 |  2752293 |   314352 |    23808     30 |      395 |      336
707.29/707.48	c  707s |      18 |  2754484 |   315152 |    23808     30 |      395 |      336
709.28/709.49	c  709s |      18 |  2756251 |   315852 |    23808     30 |      395 |      336
711.58/711.72	c  711s |      18 |  2757493 |   316352 |    23808     30 |      395 |      336
714.08/714.28	c  714s |      18 |  2758234 |   316752 |    23808     30 |      395 |      336
716.58/716.74	c  716s |      18 |  2758748 |   317052 |    23808     30 |      395 |      336
718.67/718.87	c  718s |      18 |  2760079 |   317452 |    23808     30 |      395 |      336
721.07/721.28	c  721s |      18 |  2761974 |   318152 |    23808     30 |      395 |      336
723.47/723.62	c  723s |      18 |  2762570 |   318452 |    23808     30 |      395 |      336
725.88/726.04	c  725s |      18 |  2763338 |   318852 |    23808     30 |      395 |      336
727.97/728.11	c  727s |      18 |  2765759 |   319352 |    23808     30 |      395 |      336
730.06/730.22	c  729s |      18 |  2776302 |   320452 |    23808     30 |      395 |      336
732.16/732.35	c  732s |      18 |  2785477 |   321552 |    23808     30 |      395 |      336
734.47/734.63	c  734s |      18 |  2789456 |   322452 |    23808     30 |      395 |      336
736.47/736.64	c  736s |      18 |  2791215 |   322952 |    23808     30 |      395 |      336
738.46/738.66	c  738s |      18 |  2793022 |   323552 |    23808     30 |      395 |      336
740.56/740.79	c  740s |      18 |  2797438 |   324652 |    23808     31 |      395 |      336
742.76/742.93	c  742s |      18 |  2805560 |   326052 |    23808     31 |      395 |      336
744.86/745.02	c  744s |      18 |  2811288 |   327252 |    23808     31 |      395 |      336
746.96/747.18	c  746s |      18 |  2815277 |   328352 |    23808     31 |      395 |      336
749.25/749.41	c  749s |      18 |  2818306 |   329252 |    23808     31 |      395 |      336
751.26/751.42	c  751s |      18 |  2831493 |   330452 |    23808     31 |      395 |      336
753.36/753.56	c  753s |      18 |  2846689 |   331952 |    23808     31 |      395 |      336
755.45/755.60	c  755s |      18 |  2853250 |   332552 |    23808     31 |      395 |      336
757.45/757.64	c  757s |      18 |  2866259 |   333752 |    23808     32 |      395 |      336
759.65/759.80	c  759s |      18 |  2870607 |   334652 |    23808     32 |      395 |      336
761.65/761.81	c  761s |      18 |  2874667 |   335252 |    23808     32 |      395 |      336
763.74/763.91	c  763s |      18 |  2895563 |   336852 |    23808     32 |      395 |      336
765.74/765.92	c  765s |      18 |  2907500 |   337852 |    23808     32 |      395 |      336
767.75/767.95	c  767s |      18 |  2926333 |   339152 |    23808     32 |      395 |      336
769.74/769.98	c  769s |      18 |  2945605 |   340652 |    23808     32 |      395 |      336
772.04/772.21	c  771s |      18 |  2962394 |   341752 |    23808     33 |      395 |      336
774.04/774.24	c  774s |      18 |  2990512 |   343452 |    23808     33 |      395 |      336
776.24/776.44	c  776s |      18 |  2995061 |   344552 |    23808     33 |      395 |      336
778.33/778.51	c  778s |      18 |  2998259 |   345352 |    23808     33 |      395 |      336
780.33/780.56	c  780s |      18 |  3001084 |   346052 |    23808     33 |      395 |      336
782.44/782.61	c  782s |      18 |  3003488 |   346652 |    23808     33 |      395 |      336
784.54/784.79	c  784s |      18 |  3004749 |   347152 |    23808     33 |      395 |      336
786.74/786.92	c  786s |      18 |  3006590 |   347652 |    23808     33 |      395 |      336
788.94/789.11	c  788s |      18 |  3022665 |   348852 |    23808     33 |      395 |      336
791.34/791.52	c  791s |      18 |  3027035 |   349552 |    23808     33 |      395 |      336
793.53/793.71	c  793s |      18 |  3030406 |   350152 |    23808     33 |      395 |      336
795.53/795.77	c  795s |      18 |  3043352 |   351452 |    23808     34 |      395 |      336
797.73/797.98	c  797s |      18 |  3062909 |   352952 |    23808     34 |      395 |      336
799.93/800.11	c  799s |      18 |  3066018 |   353552 |    23808     34 |      395 |      336
801.93/802.11	c  801s |      18 |  3080662 |   355052 |    23808     34 |      395 |      336
803.94/804.14	c  803s |      18 |  3088738 |   356552 |    23808     34 |      395 |      336
806.24/806.47	c  806s |      18 |  3093404 |   357352 |    23808     34 |      395 |      336
808.34/808.53	c  808s |      18 |  3098400 |   358252 |    23808     34 |      395 |      336
810.73/810.90	c  810s |      18 |  3114921 |   359552 |    23808     35 |      395 |      336
812.73/812.92	c  812s |      18 |  3118243 |   360152 |    23808     35 |      395 |      336
814.83/815.01	c  814s |      18 |  3134631 |   361452 |    23808     35 |      395 |      336
817.03/817.21	c  816s |      18 |  3157949 |   363052 |    23808     35 |      395 |      336
819.02/819.29	c  819s |      18 |  3167476 |   363852 |    23808     35 |      395 |      336
821.22/821.48	c  821s |      18 |  3172720 |   364852 |    23808     35 |      395 |      336
823.42/823.62	c  823s |      18 |  3176533 |   365552 |    23808     35 |      395 |      336
825.42/825.63	c  825s |      18 |  3179214 |   366252 |    23808     35 |      395 |      336
827.72/827.97	c  827s |      18 |  3181177 |   366852 |    23808     35 |      395 |      336
829.82/830.07	c  829s |      18 |  3182409 |   367252 |    23808     35 |      395 |      336
832.32/832.58	c  832s |      18 |  3184399 |   367852 |    23808     35 |      395 |      336
834.42/834.66	c  834s |      18 |  3187717 |   368752 |    23808     36 |      395 |      336
836.52/836.75	c  836s |      18 |  3192710 |   369952 |    23808     36 |      395 |      336
838.61/838.85	c  838s |      18 |  3197184 |   370952 |    23808     36 |      395 |      336
840.81/841.06	c  840s |      18 |  3203091 |   372052 |    23808     36 |      395 |      336
843.01/843.27	c  843s |      18 |  3204786 |   372552 |    23808     36 |      395 |      336
845.31/845.55	c  845s |      18 |  3205786 |   373052 |    23808     36 |      395 |      336
847.71/847.92	c  847s |      18 |  3207440 |   373452 |    23808     36 |      395 |      336
850.12/850.33	c  850s |      18 |  3208309 |   373852 |    23808     36 |      395 |      336
852.11/852.39	c  852s |      18 |  3209431 |   374252 |    23808     36 |      395 |      336
854.52/854.71	c  854s |      18 |  3210439 |   374652 |    23808     36 |      395 |      336
857.01/857.21	c  856s |      18 |  3213449 |   375352 |    23808     36 |      395 |      336
859.11/859.31	c  859s |      18 |  3213930 |   375552 |    23808     36 |      395 |      336
861.12/861.34	c  861s |      18 |  3214704 |   375852 |    23808     36 |      395 |      336
863.22/863.44	c  863s |      18 |  3215297 |   376152 |    23808     36 |      395 |      336
865.42/865.65	c  865s |      18 |  3216364 |   376452 |    23808     36 |      395 |      336
868.01/868.21	c  867s |      18 |  3216946 |   376652 |    23808     37 |      395 |      336
870.02/870.29	c  870s |      18 |  3232762 |   378152 |    23808     37 |      395 |      336
872.22/872.42	c  872s |      18 |  3246890 |   379352 |    23808     37 |      395 |      336
874.32/874.53	c  874s |      18 |  3253146 |   380352 |    23808     37 |      395 |      336
876.41/876.70	c  876s |      18 |  3262880 |   381252 |    23808     37 |      395 |      336
878.51/878.76	c  878s |      18 |  3271925 |   382352 |    23808     37 |      395 |      336
881.11/881.36	c  881s |      18 |  3279768 |   383652 |    23808     37 |      395 |      336
883.30/883.55	c  883s |      18 |  3283186 |   384452 |    23808     37 |      395 |      336
886.30/886.50	c  886s |      18 |  3284658 |   384952 |    23808     37 |      395 |      336
888.62/888.81	c  888s |      18 |  3285753 |   385252 |    23808     37 |      395 |      336
890.61/890.83	c  890s |      18 |  3290059 |   386052 |    23808     38 |      395 |      336
892.61/892.85	c  892s |      18 |  3292170 |   386652 |    23808     38 |      395 |      336
895.01/895.21	c  894s |      18 |  3294634 |   387352 |    23808     38 |      395 |      336
897.31/897.53	c  897s |      18 |  3295425 |   387652 |    23808     38 |      395 |      336
899.61/899.84	c  899s |      18 |  3295734 |   387852 |    23808     38 |      395 |      336
901.81/902.08	c  901s |      18 |  3296822 |   388152 |    23808     38 |      395 |      336
904.20/904.44	c  904s |      18 |  3297991 |   388552 |    23808     38 |      395 |      336
906.40/906.67	c  906s |      18 |  3302773 |   389352 |    23808     38 |      395 |      336
908.40/908.67	c  908s |      18 |  3317534 |   390752 |    23808     38 |      396 |      337
910.50/910.70	c  910s |      18 |  3341314 |   392352 |    23808     39 |      396 |      337
912.50/912.79	c  912s |      18 |  3369525 |   394152 |    23808     39 |      396 |      337
914.60/914.81	c  914s |      18 |  3393593 |   395752 |    23808     39 |      396 |      337
916.70/916.96	c  916s |      18 |  3402501 |   397052 |    23808     39 |      396 |      337
918.89/919.10	c  918s |      18 |  3405492 |   397752 |    23808     39 |      396 |      337
921.29/921.54	c  921s |      18 |  3406812 |   398252 |    23808     39 |      396 |      337
923.59/923.81	c  923s |      18 |  3410156 |   398952 |    23808     39 |      396 |      337
925.59/925.84	c  925s |      18 |  3411098 |   399352 |    23808     39 |      396 |      337
927.99/928.29	c  928s |      18 |  3412912 |   399752 |    23808     39 |      396 |      337
930.49/930.76	c  930s |      18 |  3413822 |   400052 |    23808     39 |      396 |      337
932.98/933.22	c  932s |      18 |  3415336 |   400452 |    23808     40 |      396 |      337
935.08/935.38	c  935s |      18 |  3416708 |   400752 |    23808     40 |      396 |      337
937.19/937.48	c  937s |      18 |  3419410 |   401552 |    23808     40 |      396 |      337
939.39/939.60	c  939s |      18 |  3422155 |   402252 |    23808     40 |      396 |      337
941.39/941.69	c  941s |      18 |  3423909 |   402852 |    23808     40 |      396 |      337
943.48/943.71	c  943s |      18 |  3425518 |   403352 |    23808     40 |      396 |      337
945.79/946.03	c  945s |      18 |  3427977 |   404052 |    23808     40 |      396 |      337
948.17/948.44	c  948s |      18 |  3428918 |   404452 |    23808     40 |      396 |      337
950.37/950.64	c  950s |      18 |  3429665 |   404752 |    23808     40 |      396 |      337
952.48/952.78	c  952s |      18 |  3430312 |   405052 |    23808     40 |      396 |      337
955.28/955.57	c  955s |      18 |  3430992 |   405352 |    23808     40 |      396 |      337
957.38/957.63	c  957s |      18 |  3433430 |   405952 |    23808     40 |      396 |      337
959.47/959.71	c  959s |      18 |  3438248 |   406852 |    23808     40 |      396 |      337
961.77/962.07	c  961s |      18 |  3442764 |   407752 |    23808     40 |      396 |      337
963.87/964.10	c  963s |      18 |  3445999 |   408452 |    23808     41 |      396 |      337
966.17/966.43	c  966s |      18 |  3449560 |   409352 |    23808     41 |      396 |      337
968.46/968.79	c  968s |      18 |  3451451 |   409852 |    23808     41 |      396 |      337
970.66/970.91	c  970s |      18 |  3456187 |   411052 |    23808     41 |      396 |      337
972.66/972.97	c  972s |      18 |  3460112 |   412052 |    23808     41 |      396 |      337
974.86/975.11	c  974s |      18 |  3462111 |   412652 |    23808     41 |      396 |      337
976.96/977.27	c  977s |      18 |  3464652 |   413452 |    23808     41 |      396 |      337
979.06/979.37	c  979s |      18 |  3468893 |   414452 |    23808     41 |      396 |      337
981.06/981.38	c  981s |      18 |  3470676 |   414952 |    23808     41 |      396 |      337
983.16/983.42	c  983s |      18 |  3473441 |   415552 |    23808     41 |      396 |      337
985.25/985.54	c  985s |      18 |  3474684 |   415952 |    23808     42 |      396 |      337
987.25/987.57	c  987s |      18 |  3480101 |   417152 |    23808     42 |      396 |      337
989.35/989.69	c  989s |      18 |  3482609 |   417852 |    23808     42 |      396 |      337
991.45/991.72	c  991s |      18 |  3485125 |   418652 |    23808     42 |      396 |      337
993.75/994.08	c  993s |      18 |  3487153 |   419252 |    23808     42 |      396 |      337
995.84/996.17	c  995s |      18 |  3489311 |   419852 |    23808     42 |      396 |      337
998.04/998.31	c  998s |      18 |  3492199 |   420652 |    23808     42 |      396 |      337
1000.14/1000.45	c 1000s |      18 |  3494166 |   421252 |    23808     42 |      396 |      337
1002.24/1002.56	c 1002s |      18 |  3496937 |   421852 |    23808     42 |      396 |      337
1004.64/1004.92	c 1004s |      18 |  3500151 |   422552 |    23808     42 |      396 |      337
1006.94/1007.29	c 1007s |      18 |  3502538 |   423252 |    23808     42 |      396 |      337
1009.13/1009.41	c 1009s |      18 |  3505103 |   423852 |    23808     42 |      396 |      337
1011.14/1011.47	c 1011s |      18 |  3507971 |   424652 |    23808     43 |      396 |      337
1013.24/1013.52	c 1013s |      18 |  3510616 |   425652 |    23808     43 |      396 |      337
1015.54/1015.86	c 1015s |      18 |  3512755 |   426352 |    23808     43 |      396 |      337
1017.64/1017.93	c 1017s |      18 |  3513916 |   426852 |    23808     43 |      396 |      337
1020.13/1020.44	c 1020s |      18 |  3515660 |   427552 |    23808     43 |      396 |      337
1022.23/1022.52	c 1022s |      18 |  3518876 |   428352 |    23808     43 |      396 |      337
1024.43/1024.78	c 1024s |      18 |  3522216 |   429252 |    23808     43 |      396 |      337
1026.53/1026.81	c 1026s |      18 |  3524655 |   429952 |    23808     43 |      396 |      337
1028.53/1028.83	c 1028s |      18 |  3526809 |   430652 |    23808     43 |      396 |      337
1030.63/1030.99	c 1030s |      18 |  3530271 |   431552 |    23808     43 |      396 |      337
1033.03/1033.35	c 1033s |      18 |  3532084 |   432052 |    23808     44 |      396 |      337
1035.22/1035.54	c 1035s |      18 |  3536032 |   433452 |    23808     44 |      396 |      337
1037.22/1037.54	c 1037s |      18 |  3539557 |   434552 |    23808     44 |      396 |      337
1039.42/1039.73	c 1039s |      18 |  3541486 |   435352 |    23808     44 |      396 |      337
1041.61/1041.98	c 1041s |      18 |  3544403 |   436352 |    23808     44 |      396 |      337
1043.82/1044.19	c 1043s |      18 |  3546081 |   437052 |    23808     44 |      396 |      337
1046.22/1046.56	c 1046s |      18 |  3548080 |   437752 |    23808     44 |      396 |      337
1048.21/1048.59	c 1048s |      18 |  3549103 |   438252 |    23808     44 |      396 |      337
1050.51/1050.82	c 1050s |      18 |  3550352 |   438752 |    23808     44 |      396 |      337
1052.51/1052.88	c 1052s |      18 |  3551962 |   439352 |    23808     44 |      396 |      337
1054.61/1054.96	c 1054s |      18 |  3555876 |   440452 |    23808     45 |      396 |      337
1056.71/1057.09	c 1056s |      18 |  3558686 |   441552 |    26189     45 |      396 |      337
1059.02/1059.32	c 1059s |      18 |  3562125 |   442652 |    26189     45 |      396 |      337
1061.11/1061.44	c 1061s |      18 |  3566032 |   443752 |    26189     45 |      396 |      337
1062.91/1063.24	c 1063s |      19 |  3568811 |   444482 |    26189     45 |      396 |      337
1064.91/1065.28	c 1065s |      19 |  3579615 |   445882 |    26189     45 |      396 |      337
1067.01/1067.37	c 1067s |      19 |  3590394 |   447182 |    26189     45 |      396 |      337
1069.10/1069.46	c 1069s |      19 |  3600593 |   448482 |    26189     46 |      396 |      337
1071.21/1071.52	c 1071s |      19 |  3608071 |   449782 |    26189     46 |      396 |      337
1073.20/1073.52	c 1073s |      19 |  3616726 |   451082 |    26189     46 |      396 |      337
1075.20/1075.55	c 1075s |      19 |  3624900 |   452382 |    26189     46 |      396 |      337
1077.40/1077.77	c 1077s |      19 |  3631375 |   453482 |    26189     46 |      396 |      337
1079.40/1079.78	c 1079s |      19 |  3634661 |   454282 |    26189     46 |      396 |      337
1081.69/1082.08	c 1081s |      19 |  3637220 |   455182 |    26189     46 |      396 |      337
1083.99/1084.40	c 1084s |      19 |  3640001 |   455982 |    26189     46 |      396 |      337
1086.29/1086.62	c 1086s |      19 |  3643069 |   456682 |    26189     46 |      396 |      337
1088.28/1088.62	c 1088s |      19 |  3648572 |   457682 |    26189     47 |      396 |      337
1090.28/1090.64	c 1090s |      19 |  3655858 |   459082 |    26189     47 |      396 |      337
1092.38/1092.77	c 1092s |      19 |  3661374 |   460282 |    26189     47 |      396 |      337
1094.49/1094.88	c 1094s |      19 |  3673973 |   461782 |    26189     47 |      396 |      337
1096.59/1096.95	c 1096s |      19 |  3685237 |   463082 |    26189     47 |      396 |      337
1098.79/1099.15	c 1098s |      19 |  3697494 |   464482 |    26189     48 |      396 |      337
1100.98/1101.34	c 1101s |      19 |  3700941 |   465582 |    26189     48 |      396 |      337
1102.99/1103.39	c 1103s |      19 |  3706127 |   466782 |    26189     48 |      396 |      337
1105.08/1105.43	c 1105s |      19 |  3708277 |   467582 |    26189     48 |      396 |      337
1107.18/1107.55	c 1107s |      19 |  3710681 |   468382 |    26189     48 |      396 |      337
1109.27/1109.69	c 1109s |      19 |  3712457 |   468982 |    26189     48 |      396 |      337
1111.57/1111.97	c 1111s |      19 |  3714290 |   469482 |    26189     48 |      396 |      337
1114.18/1114.53	c 1114s |      19 |  3715720 |   469982 |    26189     48 |      396 |      337
1116.58/1116.90	c 1116s |      19 |  3716627 |   470382 |    26189     48 |      396 |      337
1118.77/1119.11	c 1118s |      19 |  3717450 |   470782 |    26189     48 |      396 |      337
1120.87/1121.21	c 1120s |      19 |  3718181 |   471082 |    26189     48 |      396 |      337
1123.57/1123.91	c 1123s |      19 |  3719111 |   471482 |    26189     48 |      396 |      337
1126.27/1126.66	c 1126s |      19 |  3719591 |   471782 |    26189     48 |      396 |      337
1129.26/1129.69	c 1129s |      19 |  3720059 |   472082 |    26189     48 |      396 |      337
1131.76/1132.12	c 1131s |      19 |  3721774 |   472582 |    26189     48 |      396 |      337
1133.86/1134.26	c 1134s |      19 |  3724394 |   473182 |    26189     49 |      396 |      337
1136.06/1136.45	c 1136s |      19 |  3727216 |   473882 |    26189     49 |      396 |      337
1138.35/1138.77	c 1138s |      19 |  3730706 |   474882 |    26189     49 |      396 |      337
1140.75/1141.19	c 1140s |      19 |  3732986 |   475682 |    26189     49 |      396 |      337
1143.05/1143.44	c 1143s |      19 |  3734361 |   476182 |    26189     49 |      396 |      337
1145.36/1145.79	c 1145s |      19 |  3735110 |   476482 |    26189     49 |      396 |      337
1147.66/1148.00	c 1147s |      19 |  3736489 |   476982 |    26189     49 |      396 |      337
1150.06/1150.40	c 1150s |      19 |  3739344 |   477682 |    26189     49 |      396 |      337
1152.35/1152.74	c 1152s |      19 |  3742070 |   478382 |    26189     49 |      396 |      337
1154.85/1155.24	c 1155s |      19 |  3743846 |   478882 |    26189     49 |      396 |      337
1157.15/1157.57	c 1157s |      19 |  3745068 |   479382 |    26189     49 |      396 |      337
1159.25/1159.67	c 1159s |      19 |  3746394 |   479782 |    26189     49 |      396 |      337
1161.75/1162.12	c 1161s |      19 |  3748963 |   480282 |    26189     49 |      396 |      337
1164.14/1164.51	c 1164s |      19 |  3750384 |   480682 |    26189     49 |      396 |      337
1166.34/1166.72	c 1166s |      19 |  3751937 |   481182 |    26189     49 |      396 |      337
1168.44/1168.80	c 1168s |      19 |  3753325 |   481582 |    26189     50 |      396 |      337
1170.54/1170.93	c 1170s |      19 |  3757129 |   482582 |    26189     50 |      396 |      337
1172.64/1173.01	c 1172s |      19 |  3759845 |   483382 |    26189     50 |      396 |      337
1174.65/1175.07	c 1174s |      19 |  3762180 |   484082 |    26189     50 |      396 |      337
1176.94/1177.38	c 1177s |      19 |  3763660 |   484682 |    26189     50 |      396 |      337
1179.13/1179.54	c 1179s |      19 |  3765277 |   485182 |    26189     50 |      396 |      337
1181.14/1181.59	c 1181s |      19 |  3767879 |   485882 |    26189     50 |      396 |      337
1183.34/1183.77	c 1183s |      19 |  3769182 |   486382 |    26189     50 |      396 |      337
1185.54/1185.92	c 1185s |      19 |  3770879 |   486982 |    26189     50 |      396 |      337
1187.83/1188.26	c 1188s |      19 |  3772449 |   487582 |    26189     50 |      396 |      337
1190.43/1190.80	c 1190s |      19 |  3773977 |   488082 |    26189     50 |      396 |      337
1192.72/1193.18	c 1192s |      19 |  3775789 |   488682 |    26189     50 |      396 |      337
1195.02/1195.46	c 1195s |      19 |  3777043 |   489182 |    26189     50 |      396 |      337
1197.22/1197.69	c 1197s |      19 |  3780487 |   489982 |    26189     51 |      396 |      337
1199.53/1199.96	c 1199s |      19 |  3782488 |   490582 |    26189     51 |      396 |      337
1201.82/1202.22	c 1201s |      19 |  3784185 |   491082 |    26189     51 |      396 |      337
1203.92/1204.35	c 1204s |      19 |  3785851 |   491582 |    26189     51 |      396 |      337
1206.02/1206.41	c 1206s |      19 |  3786925 |   491982 |    26189     51 |      396 |      337
1208.12/1208.50	c 1208s |      19 |  3788547 |   492482 |    26189     51 |      396 |      337
1210.12/1210.56	c 1210s |      19 |  3789772 |   492882 |    26189     51 |      396 |      337
1212.21/1212.64	c 1212s |      19 |  3792217 |   493482 |    26189     51 |      396 |      337
1214.31/1214.76	c 1214s |      19 |  3794975 |   494182 |    26189     51 |      396 |      337
1216.61/1217.00	c 1216s |      19 |  3796003 |   494582 |    26189     51 |      396 |      337
1218.61/1219.06	c 1218s |      19 |  3797342 |   494982 |    26189     51 |      396 |      337
1220.91/1221.37	c 1221s |      19 |  3798407 |   495382 |    26189     51 |      396 |      337
1223.11/1223.57	c 1223s |      19 |  3801616 |   496482 |    26189     51 |      396 |      337
1225.61/1226.08	c 1225s |      19 |  3803373 |   497082 |    26189     52 |      396 |      337
1227.81/1228.25	c 1228s |      19 |  3806273 |   497782 |    26189     52 |      396 |      337
1229.90/1230.33	c 1230s |      19 |  3820301 |   498982 |    26189     52 |      396 |      337
1232.21/1232.61	c 1232s |      19 |  3831406 |   500382 |    26189     52 |      396 |      337
1234.21/1234.65	c 1234s |      19 |  3839801 |   501482 |    26189     52 |      396 |      337
1236.31/1236.77	c 1236s |      19 |  3852773 |   502882 |    26189     53 |      396 |      337
1238.40/1238.82	c 1238s |      19 |  3868536 |   504682 |    26189     53 |      396 |      337
1240.41/1240.86	c 1240s |      19 |  3877254 |   505982 |    26189     53 |      396 |      337
1242.50/1242.95	c 1242s |      19 |  3881065 |   506882 |    26189     53 |      396 |      337
1244.50/1244.99	c 1244s |      19 |  3892970 |   507882 |    26189     53 |      396 |      337
1246.70/1247.12	c 1246s |      19 |  3900186 |   509182 |    26189     53 |      396 |      337
1248.80/1249.21	c 1248s |      19 |  3905111 |   510382 |    26189     54 |      396 |      337
1250.80/1251.24	c 1251s |      19 |  3910291 |   511282 |    26189     54 |      396 |      337
1252.99/1253.41	c 1253s |      19 |  3912996 |   512182 |    26189     54 |      396 |      337
1254.99/1255.46	c 1255s |      19 |  3914228 |   512782 |    26189     54 |      396 |      337
1257.59/1258.08	c 1257s |      19 |  3915809 |   513382 |    26189     54 |      396 |      337
1259.79/1260.26	c 1260s |      19 |  3916465 |   513782 |    26189     54 |      396 |      337
1261.89/1262.34	c 1262s |      19 |  3923914 |   514582 |    26189     54 |      396 |      337
1264.39/1264.82	c 1264s |      19 |  3927558 |   515482 |    26189     54 |      396 |      337
1266.59/1267.01	c 1266s |      19 |  3932321 |   516682 |    26189     55 |      396 |      337
1268.58/1269.06	c 1268s |      19 |  3939067 |   517982 |    26189     55 |      396 |      337
1270.98/1271.47	c 1271s |      19 |  3943147 |   519282 |    26189     55 |      396 |      337
1272.98/1273.48	c 1273s |      19 |  3948970 |   520182 |    26189     55 |      396 |      337
1274.98/1275.49	c 1275s |      19 |  3961328 |   521482 |    26189     56 |      396 |      337
1277.08/1277.56	c 1277s |      19 |  3978546 |   522982 |    26189     56 |      396 |      337
1279.17/1279.60	c 1279s |      19 |  3992960 |   524582 |    26189     56 |      396 |      337
1281.27/1281.74	c 1281s |      19 |  4004424 |   525782 |    26189     56 |      396 |      337
1283.57/1284.06	c 1283s |      19 |  4006894 |   526682 |    26189     56 |      396 |      337
1285.67/1286.13	c 1285s |      19 |  4020535 |   528282 |    26189     57 |      396 |      337
1287.68/1288.16	c 1287s |      19 |  4027039 |   529482 |    26189     57 |      396 |      337
1289.67/1290.17	c 1289s |      19 |  4036238 |   530382 |    26189     57 |      396 |      337
1291.67/1292.20	c 1291s |      19 |  4041700 |   531282 |    26189     57 |      396 |      337
1293.97/1294.40	c 1294s |      19 |  4044881 |   531982 |    26189     57 |      396 |      337
1295.97/1296.44	c 1296s |      19 |  4050745 |   533082 |    26189     58 |      396 |      337
1297.97/1298.49	c 1298s |      19 |  4061458 |   534282 |    26189     58 |      396 |      337
1300.26/1300.78	c 1300s |      19 |  4064063 |   535282 |    26189     58 |      396 |      337
1302.36/1302.87	c 1302s |      19 |  4069227 |   536382 |    26189     58 |      396 |      337
1304.46/1304.97	c 1304s |      19 |  4072840 |   537382 |    26189     58 |      396 |      337
1306.47/1306.98	c 1306s |      19 |  4074705 |   538082 |    26189     58 |      396 |      337
1308.96/1309.46	c 1309s |      19 |  4076649 |   538782 |    26189     58 |      396 |      337
1311.06/1311.53	c 1311s |      19 |  4079452 |   539582 |    26189     59 |      396 |      337
1313.26/1313.71	c 1313s |      19 |  4084074 |   540682 |    26189     59 |      396 |      337
1315.26/1315.76	c 1315s |      19 |  4086806 |   541482 |    26189     59 |      396 |      337
1317.56/1318.06	c 1317s |      19 |  4089111 |   542082 |    26189     59 |      396 |      337
1320.05/1320.56	c 1320s |      19 |  4090651 |   542582 |    26189     59 |      396 |      337
1322.35/1322.88	c 1322s |      19 |  4093150 |   543282 |    26189     59 |      396 |      337
1324.45/1324.94	c 1324s |      19 |  4094894 |   543882 |    26189     59 |      396 |      337
1326.95/1327.42	c 1327s |      19 |  4096280 |   544382 |    26189     59 |      396 |      337
1329.24/1329.70	c 1329s |      19 |  4097718 |   544782 |    26189     60 |      396 |      337
1331.44/1331.97	c 1331s |      19 |  4102282 |   545882 |    26189     60 |      396 |      337
1333.64/1334.13	c 1333s |      19 |  4103974 |   546482 |    26189     60 |      396 |      337
1335.74/1336.22	c 1335s |      19 |  4111812 |   547682 |    26189     60 |      396 |      337
1337.74/1338.30	c 1338s |      19 |  4120258 |   549182 |    26189     60 |      396 |      337
1339.94/1340.40	c 1340s |      19 |  4125857 |   550082 |    26189     61 |      396 |      337
1341.94/1342.47	c 1342s |      19 |  4128482 |   550882 |    26189     61 |      396 |      337
1344.04/1344.53	c 1344s |      19 |  4130178 |   551382 |    26189     61 |      396 |      337
1346.05/1346.59	c 1346s |      19 |  4131059 |   551782 |    26189     61 |      396 |      337
1348.33/1348.85	c 1348s |      19 |  4131930 |   552182 |    26189     61 |      396 |      337
1350.53/1351.08	c 1350s |      19 |  4133336 |   552682 |    26189     61 |      396 |      337
1352.93/1353.43	c 1353s |      19 |  4134123 |   553082 |    26189     61 |      396 |      337
1355.33/1355.80	c 1355s |      19 |  4134932 |   553482 |    26189     61 |      396 |      337
1357.83/1358.35	c 1358s |      19 |  4135946 |   553882 |    26189     61 |      396 |      337
1360.33/1360.89	c 1360s |      19 |  4136885 |   554282 |    26189     61 |      396 |      337
1362.82/1363.38	c 1363s |      19 |  4138085 |   554682 |    26189     61 |      396 |      337
1365.62/1366.11	c 1365s |      19 |  4138674 |   554982 |    26189     61 |      396 |      337
1367.72/1368.28	c 1368s |      19 |  4139658 |   555282 |    26189     61 |      396 |      337
1370.23/1370.75	c 1370s |      19 |  4140316 |   555582 |    26189     61 |      396 |      337
1372.32/1372.84	c 1372s |      19 |  4140600 |   555782 |    26189     61 |      396 |      337
1375.42/1375.93	c 1375s |      19 |  4141340 |   556082 |    26189     61 |      396 |      337
1377.52/1378.08	c 1377s |      19 |  4142301 |   556382 |    26189     62 |      396 |      337
1379.82/1380.38	c 1380s |      19 |  4143562 |   556882 |    26189     62 |      396 |      337
1382.52/1383.09	c 1382s |      19 |  4145196 |   557382 |    26189     62 |      396 |      337
1384.82/1385.34	c 1385s |      19 |  4145899 |   557682 |    26189     62 |      396 |      337
1387.31/1387.81	c 1387s |      19 |  4146526 |   557982 |    26189     62 |      396 |      337
1389.51/1390.02	c 1389s |      19 |  4147269 |   558282 |    26189     62 |      396 |      337
1392.02/1392.54	c 1392s |      19 |  4147970 |   558582 |    26189     62 |      396 |      337
1394.12/1394.62	c 1394s |      19 |  4148376 |   558782 |    26189     62 |      396 |      337
1396.42/1396.96	c 1396s |      19 |  4150575 |   559282 |    26189     62 |      396 |      337
1398.61/1399.16	c 1398s |      19 |  4152010 |   559682 |    26189     62 |      396 |      337
1400.81/1401.33	c 1401s |      19 |  4153708 |   560082 |    26189     62 |      396 |      337
1403.22/1403.71	c 1403s |      19 |  4155121 |   560482 |    26189     62 |      396 |      337
1405.21/1405.74	c 1405s |      19 |  4155725 |   560782 |    26189     62 |      396 |      337
1407.63/1408.15	c 1407s |      19 |  4157078 |   561182 |    26189     62 |      396 |      337
1409.92/1410.44	c 1410s |      19 |  4158905 |   561682 |    26189     62 |      396 |      337
1412.62/1413.16	c 1412s |      19 |  4159739 |   562082 |    26189     62 |      396 |      337
1415.11/1415.69	c 1415s |      19 |  4161466 |   562482 |    26189     62 |      396 |      337
1417.31/1417.80	c 1417s |      19 |  4163530 |   562982 |    26189     63 |      396 |      337
1419.41/1419.99	c 1419s |      19 |  4165222 |   563482 |    26189     63 |      396 |      337
1421.82/1422.34	c 1422s |      19 |  4166777 |   563982 |    26189     63 |      396 |      337
1424.41/1424.90	c 1424s |      19 |  4168453 |   564582 |    26189     63 |      396 |      337
1426.72/1427.29	c 1427s |      19 |  4169528 |   564982 |    26189     63 |      396 |      337
1429.62/1430.17	c 1429s |      19 |  4171151 |   565482 |    26189     63 |      396 |      337
1432.12/1432.63	c 1432s |      19 |  4172555 |   565882 |    26189     63 |      396 |      337
1434.22/1434.73	c 1434s |      19 |  4173553 |   566282 |    26189     63 |      396 |      337
1436.22/1436.75	c 1436s |      19 |  4174753 |   566682 |    26189     63 |      396 |      337
1438.32/1438.84	c 1438s |      19 |  4183932 |   567882 |    26189     64 |      396 |      337
1440.41/1440.93	c 1440s |      19 |  4199500 |   569482 |    26189     64 |      396 |      337
1442.41/1442.95	c 1442s |      19 |  4215896 |   570682 |    26189     64 |      396 |      337
1444.51/1445.08	c 1444s |      19 |  4227797 |   572082 |    26189     65 |      396 |      337
1447.01/1447.56	c 1447s |      19 |  4232729 |   573182 |    26189     65 |      396 |      337
1449.41/1449.96	c 1449s |      19 |  4234774 |   573882 |    26189     65 |      396 |      337
1451.61/1452.17	c 1451s |      19 |  4236253 |   574382 |    26189     65 |      396 |      337
1453.91/1454.42	c 1454s |      19 |  4237246 |   574782 |    26189     65 |      396 |      337
1456.30/1456.81	c 1456s |      19 |  4239410 |   575382 |    26189     65 |      396 |      337
1458.30/1458.82	c 1458s |      19 |  4246421 |   576282 |    26189     66 |      396 |      337
1460.60/1461.18	c 1460s |      19 |  4250165 |   577182 |    26189     66 |      396 |      337
1462.81/1463.38	c 1463s |      19 |  4250938 |   577582 |    26189     66 |      396 |      337
1464.91/1465.43	c 1465s |      19 |  4251689 |   577882 |    26189     66 |      396 |      337
1466.92/1467.44	c 1467s |      19 |  4256723 |   578582 |    26189     66 |      396 |      337
1469.12/1469.67	c 1469s |      19 |  4260561 |   579382 |    26189     66 |      396 |      337
1471.32/1471.87	c 1471s |      19 |  4261378 |   579782 |    26189     66 |      396 |      337
1473.51/1474.07	c 1473s |      19 |  4262108 |   580182 |    26189     66 |      396 |      337
1475.71/1476.22	c 1475s |      19 |  4264377 |   580882 |    26189     67 |      396 |      337
1477.71/1478.26	c 1478s |      19 |  4277476 |   582382 |    26189     67 |      396 |      337
1479.71/1480.29	c 1480s |      19 |  4288667 |   583782 |    26189     67 |      396 |      337
1481.90/1482.44	c 1482s |      19 |  4294574 |   584782 |    26189     68 |      396 |      337
1484.10/1484.60	c 1484s |      19 |  4296375 |   585382 |    26189     68 |      396 |      337
1486.30/1486.89	c 1486s |      19 |  4298619 |   586082 |    26189     68 |      396 |      337
1488.40/1488.93	c 1488s |      19 |  4312516 |   587282 |    26189     69 |      396 |      337
1490.40/1490.98	c 1490s |      19 |  4326678 |   588782 |    26189     69 |      396 |      337
1492.50/1493.01	c 1492s |      19 |  4328358 |   589482 |    26189     69 |      396 |      337
1494.50/1495.03	c 1494s |      19 |  4333609 |   590482 |    26189     70 |      396 |      337
1496.60/1497.12	c 1496s |      19 |  4357336 |   592182 |    26189     70 |      396 |      337
1498.60/1499.17	c 1498s |      19 |  4376694 |   593782 |    26189     71 |      396 |      337
1500.70/1501.26	c 1501s |      19 |  4390750 |   595282 |    26189     71 |      396 |      337
1502.90/1503.43	c 1503s |      19 |  4394036 |   596282 |    26189     72 |      396 |      337
1505.00/1505.50	c 1505s |      19 |  4402071 |   597682 |    26189     72 |      396 |      337
1507.19/1507.73	c 1507s |      19 |  4404957 |   598582 |    26189     72 |      396 |      337
1509.29/1509.88	c 1509s |      19 |  4409310 |   599682 |    26189     72 |      396 |      337
1511.49/1512.07	c 1511s |      19 |  4413259 |   600582 |    26189     73 |      396 |      337
1513.79/1514.30	c 1514s |      19 |  4416366 |   601482 |    26189     73 |      396 |      337
1515.90/1516.45	c 1516s |      19 |  4418091 |   602082 |    26189     73 |      396 |      337
1518.00/1518.57	c 1518s |      19 |  4420535 |   602882 |    26189     73 |      396 |      337
1520.20/1520.78	c 1520s |      19 |  4422218 |   603382 |    26189     73 |      396 |      337
1522.60/1523.17	c 1522s |      19 |  4424045 |   603982 |    26189     73 |      396 |      337
1524.59/1525.19	c 1524s |      19 |  4425695 |   604482 |    26189     73 |      396 |      337
1526.69/1527.22	c 1526s |      19 |  4428837 |   605182 |    26189     74 |      396 |      337
1528.79/1529.32	c 1529s |      19 |  4431508 |   605982 |    26189     74 |      396 |      337
1530.99/1531.59	c 1531s |      19 |  4432540 |   606482 |    26189     74 |      396 |      337
1533.30/1533.80	c 1533s |      19 |  4434263 |   607082 |    26189     74 |      396 |      337
1535.30/1535.81	c 1535s |      19 |  4438455 |   607982 |    26189     74 |      396 |      337
1537.41/1537.95	c 1537s |      19 |  4442918 |   609082 |    26189     75 |      396 |      337
1539.40/1539.99	c 1539s |      19 |  4445982 |   609982 |    26189     75 |      396 |      337
1541.60/1542.19	c 1541s |      19 |  4454179 |   611482 |    26189     75 |      396 |      337
1543.70/1544.21	c 1543s |      19 |  4461597 |   612682 |    26189     76 |      396 |      337
1546.00/1546.52	c 1546s |      19 |  4464720 |   613582 |    26189     76 |      396 |      337
1548.00/1548.58	c 1548s |      19 |  4477847 |   614682 |    26189     77 |      396 |      337
1550.10/1550.63	c 1550s |      19 |  4502086 |   616482 |    26189     78 |      396 |      337
1552.20/1552.77	c 1552s |      19 |  4513044 |   617882 |    26189     79 |      396 |      337
1554.19/1554.78	c 1554s |      19 |  4530702 |   619482 |    26189     79 |      396 |      337
1556.29/1556.84	c 1556s |      19 |  4546258 |   620882 |    26189     81 |      396 |      337
1558.30/1558.88	c 1558s |      19 |  4559281 |   622282 |    26189     81 |      396 |      337
1560.50/1561.05	c 1560s |      19 |  4563702 |   623282 |    26189     81 |      396 |      337
1562.49/1563.10	c 1562s |      19 |  4573936 |   624382 |    26189     82 |      396 |      337
1564.69/1565.24	c 1565s |      19 |  4581156 |   625682 |    26189     82 |      396 |      337
1566.79/1567.30	c 1567s |      19 |  4591297 |   626982 |    26189     83 |      396 |      337
1568.79/1569.33	c 1569s |      19 |  4601204 |   628482 |    26189     84 |      396 |      337
1570.79/1571.35	c 1571s |      19 |  4607463 |   629782 |    26189     84 |      396 |      337
1572.99/1573.51	c 1573s |      19 |  4611326 |   630882 |    26189     84 |      396 |      337
1575.39/1575.91	c 1575s |      19 |  4613316 |   631582 |    26189     84 |      396 |      337
1577.48/1578.01	c 1577s |      19 |  4615434 |   632382 |    26189     85 |      396 |      337
1579.68/1580.25	c 1580s |      19 |  4618650 |   633482 |    26189     85 |      396 |      337
1581.78/1582.30	c 1582s |      19 |  4619844 |   633982 |    26189     85 |      396 |      337
1583.89/1584.42	c 1584s |      19 |  4622805 |   634682 |    26189     86 |      396 |      337
1585.99/1586.56	c 1586s |      19 |  4627967 |   635682 |    26189     86 |      396 |      337
1588.19/1588.79	c 1588s |      19 |  4630693 |   636582 |    26189     86 |      396 |      337
1590.29/1590.81	c 1590s |      19 |  4634303 |   637482 |    26189     87 |      396 |      337
1592.59/1593.16	c 1592s |      19 |  4638713 |   638582 |    26189     87 |      396 |      337
1594.69/1595.23	c 1594s |      19 |  4642565 |   639482 |    26189     87 |      396 |      337
1596.80/1597.34	c 1597s |      19 |  4644528 |   640282 |    26189     87 |      396 |      337
1598.90/1599.42	c 1599s |      19 |  4648036 |   641282 |    26189     88 |      396 |      337
1600.89/1601.47	c 1601s |      19 |  4650909 |   642182 |    26189     88 |      396 |      337
1602.89/1603.49	c 1603s |      19 |  4653565 |   643082 |    26189     88 |      396 |      337
1605.19/1605.71	c 1605s |      19 |  4657853 |   644182 |    26189     89 |      396 |      337
1607.29/1607.80	c 1607s |      19 |  4660551 |   645082 |    26189     89 |      396 |      337
1609.49/1610.08	c 1609s |      19 |  4662806 |   645882 |    26189     89 |      396 |      337
1611.78/1612.37	c 1612s |      19 |  4666637 |   646882 |    26189     90 |      396 |      337
1614.08/1614.64	c 1614s |      19 |  4669141 |   647782 |    26189     90 |      396 |      337
1616.28/1616.84	c 1616s |      19 |  4670468 |   648382 |    26189     90 |      396 |      337
1618.38/1618.98	c 1618s |      19 |  4673061 |   649282 |    26189     91 |      396 |      337
1620.48/1621.04	c 1620s |      19 |  4676671 |   650382 |    26189     91 |      396 |      337
1622.48/1623.06	c 1622s |      19 |  4684323 |   651882 |    26189     92 |      396 |      337
1624.58/1625.16	c 1624s |      19 |  4689631 |   653082 |    26189     92 |      396 |      337
1626.58/1627.18	c 1626s |      19 |  4692419 |   653882 |    26189     93 |      396 |      337
1628.78/1629.35	c 1629s |      19 |  4697787 |   655182 |    26189     93 |      396 |      337
1630.89/1631.45	c 1631s |      19 |  4701162 |   655982 |    26189     94 |      396 |      337
1632.99/1633.58	c 1633s |      19 |  4707016 |   657482 |    26189     94 |      396 |      337
1635.29/1635.87	c 1635s |      19 |  4709565 |   658382 |    26189     94 |      396 |      337
1637.38/1637.99	c 1637s |      19 |  4712679 |   659182 |    26189     95 |      396 |      337
1639.68/1640.22	c 1639s |      19 |  4716422 |   660182 |    26189     95 |      396 |      337
1641.79/1642.38	c 1642s |      19 |  4718568 |   660882 |    26189     95 |      396 |      337
1643.88/1644.50	c 1644s |      19 |  4719560 |   661382 |    26189     95 |      396 |      337
1646.18/1646.77	c 1646s |      19 |  4721469 |   662082 |    26189     96 |      396 |      337
1648.28/1648.89	c 1648s |      19 |  4725708 |   663082 |    28808     96 |      396 |      337
1650.58/1651.19	c 1650s |      19 |  4728248 |   663882 |    28808     96 |      396 |      337
1652.67/1653.22	c 1652s |      19 |  4729350 |   664382 |    28808     96 |      396 |      337
1654.67/1655.23	c 1654s |      19 |  4730656 |   664882 |    28808     96 |      396 |      337
1656.77/1657.39	c 1657s |      19 |  4732207 |   665382 |    28808     96 |      396 |      337
1658.98/1659.50	c 1659s |      19 |  4733030 |   665782 |    28808     96 |      396 |      337
1661.18/1661.79	c 1661s |      19 |  4734457 |   666282 |    28808     96 |      396 |      337
1663.38/1663.94	c 1663s |      19 |  4735697 |   666782 |    28808     97 |      396 |      337
1663.48/1664.09	c 1663s |      20 |  4735797 |   666827 |    28808     97 |      396 |      337
1665.68/1666.24	c 1666s |      20 |  4742662 |   667927 |    28808     97 |      396 |      337
1667.68/1668.25	c 1668s |      20 |  4754041 |   669127 |    28808     98 |      396 |      337
1669.78/1670.32	c 1670s |      20 |  4772696 |   670727 |    28808     98 |      396 |      337
1671.77/1672.35	c 1672s |      20 |  4778707 |   671827 |    28808     98 |      396 |      337
1673.97/1674.55	c 1674s |      20 |  4782386 |   672727 |    28808     98 |      396 |      337
1676.07/1676.63	c 1676s |      20 |  4787763 |   673827 |    28808     99 |      396 |      337
1678.27/1678.84	c 1678s |      20 |  4789983 |   674627 |    28808     99 |      396 |      337
1680.38/1680.97	c 1680s |      20 |  4792172 |   675327 |    28808     99 |      396 |      337
1682.47/1683.06	c 1682s |      20 |  4804549 |   676627 |    28808    100 |      396 |      337
1684.58/1685.13	c 1684s |      20 |  4810174 |   677527 |    28808    100 |      396 |      337
1686.78/1687.33	c 1687s |      20 |  4816485 |   678427 |    28808    101 |      396 |      337
1688.88/1689.46	c 1689s |      20 |  4824206 |   680027 |    28808    101 |      396 |      337
1690.98/1691.59	c 1691s |      20 |  4833685 |   681227 |    28808    101 |      396 |      337
1693.07/1693.65	c 1693s |      20 |  4840880 |   682227 |    28808    102 |      396 |      337
1695.17/1695.78	c 1695s |      20 |  4847634 |   683227 |    28808    102 |      396 |      337
1697.47/1698.07	c 1697s |      20 |  4849837 |   683827 |    28808    102 |      396 |      337
1699.77/1700.32	c 1700s |      20 |  4851829 |   684527 |    28808    102 |      396 |      337
1702.17/1702.71	c 1702s |      20 |  4854864 |   685227 |    28808    103 |      396 |      337
1704.27/1704.84	c 1704s |      20 |  4857512 |   686027 |    28808    103 |      396 |      337
1706.77/1707.35	c 1707s |      20 |  4858914 |   686627 |    28808    103 |      396 |      337
1709.07/1709.67	c 1709s |      20 |  4859852 |   687027 |    28808    103 |      396 |      337
1711.37/1711.93	c 1711s |      20 |  4861526 |   687527 |    28808    103 |      396 |      337
1713.57/1714.18	c 1713s |      20 |  4862795 |   688027 |    28808    103 |      396 |      337
1715.66/1716.29	c 1716s |      20 |  4863520 |   688327 |    28808    103 |      396 |      337
1717.77/1718.39	c 1718s |      20 |  4867603 |   688927 |    28808    104 |      396 |      337
1719.98/1720.52	c 1720s |      20 |  4878513 |   690227 |    28808    104 |      396 |      337
1721.97/1722.60	c 1722s |      20 |  4881058 |   690827 |    28808    104 |      396 |      337
1724.17/1724.78	c 1724s |      20 |  4883406 |   691627 |    28808    104 |      396 |      337
1726.57/1727.14	c 1726s |      20 |  4885026 |   692227 |    28808    104 |      396 |      337
1728.67/1729.28	c 1729s |      20 |  4886480 |   692727 |    28808    104 |      396 |      337
1730.87/1731.48	c 1731s |      20 |  4887553 |   693127 |    28808    105 |      396 |      337
1732.96/1733.57	c 1733s |      20 |  4906647 |   694727 |    28808    106 |      396 |      337
1735.06/1735.62	c 1735s |      20 |  4927022 |   696327 |    28808    107 |      396 |      337
1737.06/1737.66	c 1737s |      20 |  4942713 |   697727 |    28808    108 |      396 |      337
1739.16/1739.73	c 1739s |      20 |  4952524 |   699127 |    28808    108 |      396 |      337
1741.26/1741.87	c 1741s |      20 |  4958533 |   700027 |    28808    109 |      396 |      337
1743.46/1744.05	c 1743s |      20 |  4974385 |   701427 |    28808    110 |      396 |      337
1745.86/1746.44	c 1746s |      20 |  4976982 |   702127 |    28808    110 |      396 |      337
1747.96/1748.54	c 1748s |      20 |  4986340 |   703427 |    28808    111 |      396 |      337
1750.07/1750.68	c 1750s |      20 |  4989581 |   704127 |    28808    112 |      396 |      337
1752.16/1752.74	c 1752s |      20 |  5001324 |   705927 |    28808    112 |      396 |      337
1754.36/1754.99	c 1754s |      20 |  5005152 |   707027 |    28808    112 |      396 |      337
1756.46/1757.05	c 1756s |      20 |  5007693 |   707827 |    28808    113 |      396 |      337
1758.66/1759.27	c 1759s |      20 |  5015005 |   709327 |    28808    113 |      396 |      337
1760.86/1761.42	c 1761s |      20 |  5018271 |   710227 |    28808    113 |      396 |      337
1762.87/1763.46	c 1763s |      20 |  5021339 |   711127 |    28808    114 |      396 |      337
1765.07/1765.69	c 1765s |      20 |  5024190 |   712127 |    28808    114 |      396 |      337
1767.36/1767.92	c 1767s |      20 |  5027828 |   713227 |    28808    114 |      396 |      337
1769.36/1769.95	c 1769s |      20 |  5030796 |   714127 |    28808    115 |      396 |      337
1771.56/1772.12	c 1771s |      20 |  5035219 |   715327 |    28808    115 |      396 |      337
1773.65/1774.28	c 1774s |      20 |  5036996 |   716027 |    28808    115 |      396 |      337
1776.15/1776.73	c 1776s |      20 |  5038147 |   716527 |    28808    115 |      396 |      337
1778.26/1778.85	c 1778s |      20 |  5043978 |   717827 |    28808    116 |      396 |      337
1780.47/1781.05	c 1780s |      20 |  5047563 |   718827 |    28808    116 |      396 |      337
1782.76/1783.34	c 1783s |      20 |  5049323 |   719527 |    28808    116 |      396 |      337
1784.87/1785.41	c 1785s |      20 |  5052280 |   720327 |    28808    117 |      396 |      337
1787.07/1787.68	c 1787s |      20 |  5054641 |   721027 |    28808    117 |      396 |      337
1789.27/1789.80	c 1789s |      20 |  5056567 |   721627 |    28808    117 |      396 |      337
1791.56/1792.18	c 1791s |      20 |  5058207 |   722227 |    28808    117 |      396 |      337
1793.66/1794.29	c 1794s |      20 |  5059447 |   722727 |    28808    117 |      396 |      337
1795.86/1796.41	c 1796s |      20 |  5062205 |   723427 |    28808    118 |      396 |      337
1798.06/1798.66	c 1798s |      20 |  5065447 |   724327 |    28808    118 |      396 |      337

ERROR: no interpretation found !

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

pid=7995
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.24 2.26 2.19 3/179 7998
/proc/meminfo: memFree=29164144/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=269756 CPUtime=0 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 926 0 0 0 0 0 0 0 20 0 4 0 110284330 276230144 775 33554432000 4194304 16246674 140734719797712 140734719797136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 67951 783 441 2943 0 64845 0
[pid=7998/tid=7999] ppid=7995 vsize=285116 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 291958784 837 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=289212 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 296153088 853 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=293308 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110284330 300347392 869 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.24 2.26 2.19 3/179 7998
/proc/meminfo: memFree=29164144/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 27987 0 0 0 5 4 0 0 20 0 4 0 110284330 1249447936 27774 33554432000 4194304 16246674 140734719797712 140734719797024 4206664 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 305041 27774 802 2943 0 301935 0
[pid=7998/tid=7999] ppid=7995 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1249447936 27774 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1249447936 27774 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1249447936 27774 33554432000 4194304 16246674 140734719797712 139920552217776 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.200548 s]
/proc/loadavg: 2.24 2.26 2.19 3/179 7998
/proc/meminfo: memFree=29164144/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1302084 CPUtime=0.18 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 48261 0 0 0 12 6 0 0 20 0 4 0 110284330 1333334016 48048 33554432000 4194304 16246674 140734719797712 140734719797024 12855560 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 325521 48048 834 2943 0 322415 0
[pid=7998/tid=7999] ppid=7995 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1333334016 48048 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1333334016 48048 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1333334016 48048 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1302084

[startup+0.300498 s]
/proc/loadavg: 2.24 2.26 2.19 3/179 7998
/proc/meminfo: memFree=29164144/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 56737 0 0 0 22 7 0 0 20 0 4 0 110284330 1333334016 56524 33554432000 4194304 16246674 140734719797712 140734719797024 12478957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 325521 56543 879 2943 0 322415 0
[pid=7998/tid=7999] ppid=7995 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1333334016 56554 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1333334016 56565 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1333334016 56575 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700412 s]
/proc/loadavg: 2.24 2.26 2.19 3/179 7998
/proc/meminfo: memFree=29164144/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1310276 CPUtime=0.69 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 85901 0 0 0 56 13 0 0 20 0 4 0 110284330 1341722624 85689 33554432000 4194304 16246674 140734719797712 140734719779584 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 327569 85709 886 2943 0 324463 0
[pid=7998/tid=7999] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 85716 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 85722 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 85731 33554432000 4194304 16246674 140734719797712 139920552217776 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) 1310276

[startup+1.50042 s]
/proc/loadavg: 2.24 2.26 2.19 3/183 8002
/proc/meminfo: memFree=28482600/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1310276 CPUtime=1.49 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 249849 0 0 0 113 36 0 0 20 0 4 0 110284330 1341722624 249637 33554432000 4194304 16246674 140734719797712 140734719779584 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 327569 249655 886 2943 0 324463 0
[pid=7998/tid=7999] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 249664 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 249674 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 249683 33554432000 4194304 16246674 140734719797712 139920552217776 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) 1310276

[startup+3.10043 s]
/proc/loadavg: 2.24 2.26 2.19 3/183 8002
/proc/meminfo: memFree=28092808/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1310276 CPUtime=3.09 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 268756 0 0 0 270 39 0 0 20 0 4 0 110284330 1341722624 268543 33554432000 4194304 16246674 140734719797712 140734719779584 5754924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 327569 268543 886 2943 0 324463 0
[pid=7998/tid=7999] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268543 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268543 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268543 33554432000 4194304 16246674 140734719797712 139920552217776 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) 1310276

[startup+6.30043 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 8002
/proc/meminfo: memFree=28092808/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 268756 0 0 0 590 39 0 0 20 0 4 0 110284330 1341722624 268543 33554432000 4194304 16246674 140734719797712 140734719779584 5553796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 327569 268543 886 2943 0 324463 0
[pid=7998/tid=7999] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268543 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268543 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268543 33554432000 4194304 16246674 140734719797712 139920552217776 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) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.20 2.25 2.19 3/183 8002
/proc/meminfo: memFree=28093364/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 268756 0 0 0 1230 39 0 0 20 0 4 0 110284330 1341722624 268543 33554432000 4194304 16246674 140734719797712 140734719779584 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 327569 268543 886 2943 0 324463 0
[pid=7998/tid=7999] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268543 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268543 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268543 33554432000 4194304 16246674 140734719797712 139920552217776 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) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.23 2.25 2.19 3/183 8002
/proc/meminfo: memFree=28094444/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1310276 CPUtime=25.48 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 268757 0 0 0 2509 39 0 0 20 0 4 0 110284330 1341722624 268544 33554432000 4194304 16246674 140734719797712 140734719779584 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 327569 268544 887 2943 0 324463 0
[pid=7998/tid=7999] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268544 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268544 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268544 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 8002
/proc/meminfo: memFree=28095844/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 268757 0 0 0 5069 39 0 0 20 0 4 0 110284330 1341722624 268544 33554432000 4194304 16246674 140734719797712 140734719779584 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 327569 268544 887 2943 0 324463 0
[pid=7998/tid=7999] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268544 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268544 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268544 33554432000 4194304 16246674 140734719797712 139920552217776 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) 1310276

[startup+102.301 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 8004
/proc/meminfo: memFree=28095524/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1310276 CPUtime=102.28 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 268757 0 0 0 10188 40 0 0 20 0 4 0 110284330 1341722624 268544 33554432000 4194304 16246674 140734719797712 140734719779584 5823109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 327569 268544 887 2943 0 324463 0
[pid=7998/tid=7999] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268544 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268544 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1341722624 268544 33554432000 4194304 16246674 140734719797712 139920552217776 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) 1310276


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

/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.30 2.35 2.27 3/182 8033
/proc/meminfo: memFree=28085696/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1314372 CPUtime=1301.86 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 270147 0 0 0 130114 72 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 140734719796888 5827668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 328593 269824 887 2943 0 325487 0
[pid=7998/tid=7999] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.15 2.30 2.26 3/183 8035
/proc/meminfo: memFree=28085020/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1314372 CPUtime=1361.82 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 270191 0 0 0 136108 74 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 140734719779584 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 328593 269824 887 2943 0 325487 0
[pid=7998/tid=7999] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.17 2.27 2.25 4/183 8036
/proc/meminfo: memFree=28085808/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1314372 CPUtime=1421.82 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 270193 0 0 0 142104 78 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 140734719796888 12483423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 328593 269824 887 2943 0 325487 0
[pid=7998/tid=7999] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.17 2.25 2.25 3/183 8037
/proc/meminfo: memFree=28085932/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1314372 CPUtime=1481.8 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 270193 0 0 0 148100 80 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 140734719779584 5545876 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 328593 269824 887 2943 0 325487 0
[pid=7998/tid=7999] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.19 2.25 2.25 3/183 8038
/proc/meminfo: memFree=28085436/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1314372 CPUtime=1541.8 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 270193 0 0 0 154098 82 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 140734719779584 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 328593 269824 887 2943 0 325487 0
[pid=7998/tid=7999] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.25 2.25 2.24 3/182 8088
/proc/meminfo: memFree=28084812/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1314372 CPUtime=1601.79 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 270193 0 0 0 160096 83 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 140734719779584 13954608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 328593 269824 887 2943 0 325487 0
[pid=7998/tid=7999] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.23 2.23 2.24 3/183 8090
/proc/meminfo: memFree=28084748/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1314372 CPUtime=1661.78 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 270193 0 0 0 166093 85 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 140734719779584 12483307 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 328593 269824 887 2943 0 325487 0
[pid=7998/tid=7999] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.34 2.25 2.24 3/184 8094
/proc/meminfo: memFree=28085092/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1314372 CPUtime=1721.77 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 270193 0 0 0 172090 87 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 140734719779584 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 328593 269824 887 2943 0 325487 0
[pid=7998/tid=7999] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.26 2.25 2.24 3/182 8095
/proc/meminfo: memFree=28084608/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1314372 CPUtime=1781.76 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 270193 0 0 0 178087 89 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 140734719779584 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 328593 269824 887 2943 0 325487 0
[pid=7998/tid=7999] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.25 2.24 3/182 8095
/proc/meminfo: memFree=28085064/32872528 swapFree=15644/1722384
[pid=7998] ppid=7995 vsize=1314372 CPUtime=1800.06 cores=1,3,5,7
/proc/7998/stat : 7998 (toysat) R 7995 7998 4315 0 -1 4202496 270193 0 0 0 179917 89 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 140734719796888 5522960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7998/statm: 328593 269824 887 2943 0 325487 0
[pid=7998/tid=7999] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/7999/stat : 7999 (toysat) S 7995 7998 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920573181168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7998/tid=8000] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8000/stat : 8000 (toysat) S 7995 7998 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920562691312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7998/tid=8001] ppid=7995 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7998/task/8001/stat : 8001 (toysat) S 7995 7998 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110284330 1345916928 269824 33554432000 4194304 16246674 140734719797712 139920552217776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1314372

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 7998 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.07
CPU user time (s): 1799.17
CPU system time (s): 0.894863
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.894863
maximum resident set size= 1079296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270193
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= 427
involuntary context switches= 2194

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72428 second user time and 8.5457 second system time

The end

Begin job on node120 at 2016-06-07 09:11:47
IDJOB=4078944
IDBENCH=90131
IDSOLVER=2542
FILE ID=node120/4078944-1465283507
RUNJOBID= node120-1465256721-4332
PBS_JOBID= 19843284
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K93.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078944-1465283507/watcher-4078944-1465283507 -o /tmp/evaluation-result-4078944-1465283507/solver-4078944-1465283507 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078944-1465283507.opb

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

MD5SUM BENCH= 91412677f9785e1c6465ad7d3d170f82
RANDOM SEED=701302010

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29164664 kB
Buffers:           56652 kB
Cached:            93592 kB
SwapCached:          820 kB
Active:          1166936 kB
Inactive:          64780 kB
Active(anon):    1078472 kB
Inactive(anon):     4756 kB
Active(file):      88464 kB
Inactive(file):    60024 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             16716 kB
Writeback:             0 kB
AnonPages:       2743220 kB
Mapped:            11764 kB
Shmem:                 0 kB
Slab:             612384 kB
SReclaimable:      56564 kB
SUnreclaim:       555820 kB
KernelStack:        1528 kB
PageTables:         9644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2945048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1654784 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= 71704 MiB
End job on node120 at 2016-06-07 09:41:48