0.00/0.00	c 2016-06-07T09:07:10+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-4078928-1465283230.opb"]
0.00/0.01	c use --random-gen="437919275 2123575010 2291912955 1239831166 1195936287 1635247931 3300063154 2276929266 1821891298 4101567906 1186189885 3099903373 1458264037 2534164933 3921071455 1742725596 1630881324 3492750491 2268208626 1494467582 2281811959 2556989399 1747798149 3432558321 2661546580 3609115239 2761670385 3959211181 2628787874 1920750768 2302434272 1903488837 1893777352 2380411736 1499340986 1690734218 1268503826 113067029 3940455345 3029998607 3738328189 470501043 3910919545 1891676360 1443296536 2298099191 2999944872 2353865472 877169076 2835965073 884775424 1874888189 2163018016 3037011781 4250590044 3003774614 3504639636 4268087094 4044895236 3939776827 1524280983 3844205983 3599263408 644037430 4046769409 2534265460 2592418813 2780211823 3690712337 2604368058 1518837623 965129223 18296298 2523167046 1321526 1548944978 2602047711 384701297 441392016 4088668352 122263384 164214577 1631859517 2581811602 3766297296 1908146908 2195790189 2693177459 3934527080 1978692195 491810998 3036568052 2505684416 224584023 2844687990 1104498197 1867066801 1802210511 1120786562 2126143905 465967009 4108475580 2288828846 3404409683 677442453 515383979 1051866367 3524705968 1192054215 305433428 40473998 2090327329 3450664530 2861254012 2662238034 2162646130 1022070404 3682406632 151103217 302992280 553488386 3535058556 1057492354 532200961 2156182374 1667818213 810871446 3141769635 1157196465 1525667701 2409334523 2412584270 594219516 3948809596 25050457 1704473261 756887323 1246034870 4053252686 326335813 388596532 3847804058 1181289170 2202264540 1890548311 1620554698 799681546 2812997040 2227127509 3161414374 3181553368 2161759625 77662634 3273137366 2319350280 1556606843 3217961234 3629403447 2544643178 3083487479 702654436 249452829 725434571 4127456556 3791940421 2496707746 783428890 2017075197 2419691094 2012458583 80835149 4184273249 487928665 1948047815 1107907310 3600284527 3653015867 1662440893 1390814154 4254047224 2460385192 1540746542 3179384496 705665411 4234398175 4209836341 1919539434 914756765 681934183 1058108528 1204827090 1285329496 528790420 1443128846 1674057035 4056287690 3206516552 198470987 1127836472 1639641106 755015104 1312170631 3236164014 1366335864 5994919 1677008134 979948646 3539784423 2425429506 1695958282 3355085726 1601717035 550307556 2599533653 3860268075 2930484381 149636872 700157666 1969726237 3151149722 2232409073 720505736 3332758146 4160736553 724277639 3421677216 22640004 1528442500 4288321864 3907462336 2958289114 3853618812 883823676 1326942610 1718152525 4070545916 1032324977 3127672270 3166686383 4104772198 3938043343 2668689947 4152949436 1231718679 3002202194 3673502936 1994950112 4164006994 197382431 2934470341 574546005 3785479340 1590937749 3043691076 1801495534 2468113310 255 362436" option to reproduce the execution
0.08/0.13	c #vars 7276
0.08/0.13	c #constraints 7492
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     4922      0 |      362 |        0
0.38/0.46	c  0.2s |       1 |     4380 |      100 |     4922      0 |      363 |      304
0.58/0.65	c  0.4s |       2 |     8039 |      250 |     5415      0 |      363 |      304
0.88/0.96	c  0.7s |       3 |    11232 |      475 |     5957      0 |      363 |      304
1.19/1.29	c  1.0s |       4 |    15889 |      813 |     6553      0 |      363 |      304
2.09/2.16	c  1.9s |       5 |    33869 |     1320 |     7209      0 |      367 |      308
2.89/2.99	c  2.7s |       6 |    49957 |     2081 |     8723      0 |      367 |      308
4.29/4.32	c  4.0s |       7 |    69251 |     3223 |     9596      0 |      368 |      309
6.39/6.41	c  6.1s |       7 |    93292 |     4623 |     9596      0 |      368 |      309
6.79/6.88	c  6.6s |       8 |    99360 |     4936 |    10556      0 |      369 |      310
8.99/9.04	c  8.8s |       8 |   126391 |     6436 |    10556      0 |      369 |      310
11.18/11.20	c 10.9s |       8 |   140789 |     7436 |    10556      0 |      369 |      310
11.18/11.29	c 11.0s |       9 |   142660 |     7506 |    11612      0 |      369 |      310
13.39/13.41	c 13.1s |       9 |   162114 |     8706 |    11612      0 |      369 |      310
15.39/15.48	c 15.2s |       9 |   187150 |    10106 |    11612      0 |      369 |      310
17.48/17.56	c 17.3s |       9 |   200736 |    11306 |    12774      0 |      369 |      310
17.59/17.62	c 17.3s |      10 |   200877 |    11361 |    12774      0 |      369 |      310
19.58/19.69	c 19.4s |      10 |   219448 |    12561 |    12774      0 |      370 |      311
21.68/21.73	c 21.5s |      10 |   233031 |    13861 |    12774      0 |      370 |      311
23.78/23.82	c 23.5s |      10 |   265634 |    15261 |    12774      1 |      371 |      312
25.88/25.92	c 25.6s |      10 |   291988 |    16461 |    12774      1 |      373 |      314
26.88/26.93	c 26.7s |      11 |   309174 |    17144 |    14052      1 |      373 |      314
28.98/29.00	c 28.7s |      11 |   338382 |    18444 |    14052      1 |      373 |      314
30.98/31.02	c 30.7s |      11 |   360595 |    19844 |    14052      1 |      373 |      314
32.99/33.09	c 32.8s |      11 |   373945 |    21044 |    14052      1 |      373 |      314
35.19/35.22	c 34.9s |      11 |   393669 |    22244 |    14052      1 |      373 |      314
37.18/37.26	c 37.0s |      11 |   411075 |    23444 |    14052      2 |      373 |      314
39.28/39.35	c 39.1s |      11 |   437739 |    24644 |    14052      2 |      373 |      314
41.28/41.30	c 41.0s |      12 |   460937 |    25819 |    15458      2 |      373 |      314
43.38/43.41	c 43.1s |      12 |   487989 |    27019 |    15458      2 |      374 |      315
45.38/45.45	c 45.2s |      12 |   511691 |    28319 |    15458      2 |      375 |      316
47.48/47.57	c 47.3s |      12 |   532935 |    29719 |    15458      2 |      376 |      317
49.58/49.66	c 49.4s |      12 |   557490 |    30719 |    15458      2 |      379 |      320
51.78/51.81	c 51.5s |      12 |   564187 |    31519 |    15458      2 |      379 |      320
53.78/53.83	c 53.6s |      12 |   578507 |    32619 |    15458      3 |      379 |      320
55.98/56.01	c 55.7s |      12 |   609129 |    34019 |    15458      3 |      379 |      320
57.97/58.03	c 57.8s |      12 |   633855 |    35119 |    15458      3 |      379 |      320
60.07/60.13	c 59.9s |      12 |   650211 |    36119 |    15458      3 |      379 |      320
62.07/62.14	c 61.9s |      12 |   672322 |    37119 |    15458      3 |      379 |      320
64.37/64.44	c 64.2s |      12 |   681700 |    38019 |    15458      3 |      379 |      320
65.98/66.08	c 65.8s |      13 |   688322 |    38832 |    17004      3 |      379 |      320
68.18/68.23	c 68.0s |      13 |   712350 |    39832 |    17004      3 |      380 |      321
70.27/70.39	c 70.1s |      13 |   729799 |    41032 |    17004      3 |      382 |      323
72.37/72.43	c 72.2s |      13 |   747653 |    42132 |    17004      4 |      382 |      323
74.57/74.61	c 74.3s |      13 |   772400 |    43432 |    17004      4 |      383 |      324
76.77/76.86	c 76.6s |      13 |   792600 |    44732 |    17004      4 |      384 |      325
78.87/78.91	c 78.6s |      13 |   812092 |    45832 |    17004      4 |      385 |      326
80.87/80.91	c 80.6s |      13 |   836843 |    47032 |    17004      4 |      385 |      326
82.87/82.94	c 82.7s |      13 |   853067 |    47932 |    17004      4 |      386 |      327
85.27/85.31	c 85.0s |      13 |   867629 |    49132 |    17004      4 |      386 |      327
87.27/87.36	c 87.1s |      13 |   874765 |    50132 |    17004      4 |      386 |      327
89.37/89.42	c 89.1s |      13 |   890681 |    51332 |    17004      5 |      386 |      327
91.38/91.49	c 91.2s |      13 |   904603 |    52432 |    17004      5 |      386 |      327
93.57/93.61	c 93.3s |      13 |   928708 |    53732 |    17004      5 |      386 |      327
95.57/95.67	c 95.4s |      13 |   950178 |    55032 |    17004      5 |      386 |      327
97.77/97.83	c 97.6s |      13 |   963155 |    56332 |    17004      5 |      386 |      327
99.77/99.89	c 99.6s |      13 |   982521 |    57332 |    17004      5 |      386 |      327
101.87/101.94	c  101s |      13 |   988539 |    58132 |    18705      5 |      386 |      327
102.37/102.48	c  102s |      14 |   992923 |    58352 |    18705      5 |      386 |      327
104.57/104.62	c  104s |      14 |  1014853 |    59352 |    18705      5 |      386 |      327
106.56/106.66	c  106s |      14 |  1028997 |    60352 |    18705      5 |      386 |      327
108.66/108.74	c  108s |      14 |  1048712 |    61452 |    18705      5 |      386 |      327
110.76/110.80	c  110s |      14 |  1064260 |    62352 |    18705      6 |      387 |      328
112.76/112.85	c  112s |      14 |  1081410 |    63552 |    18705      6 |      387 |      328
114.86/114.97	c  114s |      14 |  1103862 |    64952 |    18705      6 |      387 |      328
117.07/117.16	c  116s |      14 |  1124474 |    66152 |    18705      6 |      388 |      329
119.27/119.35	c  119s |      14 |  1130940 |    67052 |    18705      6 |      388 |      329
121.37/121.45	c  121s |      14 |  1135111 |    67852 |    18705      6 |      388 |      329
123.37/123.47	c  123s |      14 |  1140409 |    68452 |    18705      6 |      388 |      329
125.57/125.61	c  125s |      14 |  1149797 |    69552 |    18705      6 |      388 |      329
127.58/127.65	c  127s |      14 |  1172339 |    70452 |    18705      6 |      389 |      330
129.88/129.93	c  129s |      14 |  1194441 |    71552 |    18705      7 |      389 |      330
131.87/131.98	c  131s |      14 |  1217433 |    72752 |    18705      7 |      389 |      330
134.18/134.25	c  133s |      14 |  1222875 |    73652 |    18705      7 |      389 |      330
136.27/136.31	c  136s |      14 |  1224498 |    74152 |    18705      7 |      389 |      330
138.87/138.94	c  138s |      14 |  1226173 |    74752 |    18705      7 |      389 |      330
141.27/141.40	c  141s |      14 |  1226974 |    75052 |    18705      7 |      389 |      330
143.37/143.47	c  143s |      14 |  1228940 |    75652 |    18705      7 |      389 |      330
145.96/146.04	c  145s |      14 |  1230742 |    76152 |    18705      7 |      389 |      330
147.97/148.06	c  147s |      14 |  1231794 |    76452 |    18705      7 |      389 |      330
150.17/150.25	c  149s |      14 |  1233126 |    76852 |    18705      7 |      389 |      330
152.36/152.47	c  152s |      14 |  1234628 |    77252 |    18705      7 |      389 |      330
154.56/154.64	c  154s |      14 |  1235572 |    77552 |    18705      7 |      389 |      330
157.16/157.22	c  156s |      14 |  1236624 |    77852 |    18705      7 |      389 |      330
159.26/159.39	c  159s |      14 |  1237359 |    78152 |    18705      7 |      389 |      330
161.46/161.52	c  161s |      14 |  1238286 |    78452 |    18705      7 |      389 |      330
163.66/163.73	c  163s |      14 |  1239282 |    78752 |    18705      7 |      389 |      330
166.26/166.32	c  166s |      14 |  1240221 |    79052 |    18705      7 |      389 |      330
168.86/168.94	c  168s |      14 |  1241360 |    79452 |    18705      7 |      389 |      330
170.86/170.97	c  170s |      14 |  1241809 |    79652 |    18705      7 |      389 |      330
173.06/173.16	c  172s |      14 |  1242774 |    79952 |    18705      7 |      389 |      330
175.36/175.50	c  175s |      14 |  1243608 |    80252 |    18705      7 |      389 |      330
177.86/177.98	c  177s |      14 |  1244957 |    80652 |    18705      7 |      389 |      330
180.36/180.47	c  180s |      14 |  1245621 |    80952 |    18705      7 |      389 |      330
182.56/182.61	c  182s |      14 |  1246252 |    81152 |    18705      7 |      389 |      330
184.56/184.64	c  184s |      14 |  1247264 |    81452 |    18705      7 |      389 |      330
187.16/187.25	c  186s |      14 |  1248250 |    81752 |    18705      7 |      389 |      330
189.46/189.51	c  189s |      14 |  1249163 |    82052 |    18705      7 |      389 |      330
191.86/191.98	c  191s |      14 |  1249990 |    82352 |    18705      7 |      389 |      330
194.06/194.10	c  193s |      14 |  1266024 |    83252 |    18705      8 |      389 |      330
196.06/196.12	c  195s |      14 |  1292434 |    84452 |    18705      8 |      389 |      330
198.06/198.17	c  197s |      14 |  1320529 |    85652 |    18705      8 |      389 |      330
200.16/200.29	c  200s |      14 |  1341962 |    86752 |    18705      8 |      391 |      332
201.56/201.67	c  201s |      15 |  1360258 |    87632 |    20576      8 |      391 |      332
203.66/203.70	c  203s |      15 |  1381579 |    88732 |    20576      8 |      392 |      333
205.76/205.85	c  205s |      15 |  1414175 |    90132 |    20576      8 |      392 |      333
207.76/207.88	c  207s |      15 |  1435552 |    91332 |    20576      8 |      392 |      333
209.86/209.90	c  209s |      15 |  1455067 |    92632 |    20576      8 |      392 |      333
211.86/211.91	c  211s |      15 |  1480352 |    93832 |    20576      8 |      392 |      333
214.06/214.10	c  213s |      15 |  1505007 |    95032 |    20576      9 |      392 |      333
216.06/216.14	c  215s |      15 |  1526215 |    96432 |    20576      9 |      392 |      333
218.25/218.32	c  218s |      15 |  1546186 |    97732 |    20576      9 |      392 |      333
220.35/220.41	c  220s |      15 |  1564493 |    98732 |    20576      9 |      392 |      333
222.45/222.58	c  222s |      15 |  1592656 |    99932 |    20576      9 |      392 |      333
224.65/224.72	c  224s |      15 |  1616826 |   101132 |    20576      9 |      392 |      333
226.75/226.85	c  226s |      15 |  1632649 |   102232 |    20576      9 |      392 |      333
228.86/228.95	c  228s |      15 |  1651715 |   103232 |    20576      9 |      392 |      333
230.85/230.99	c  230s |      15 |  1665567 |   104332 |    20576      9 |      392 |      333
233.05/233.12	c  232s |      15 |  1686415 |   105432 |    20576     10 |      392 |      333
235.25/235.30	c  235s |      15 |  1703552 |   106932 |    20576     10 |      392 |      333
237.35/237.40	c  237s |      15 |  1717552 |   108032 |    20576     10 |      392 |      333
239.35/239.41	c  239s |      15 |  1724918 |   109032 |    20576     10 |      392 |      333
241.45/241.50	c  241s |      15 |  1753430 |   110532 |    20576     10 |      392 |      333
243.55/243.66	c  243s |      15 |  1775513 |   111832 |    20576     10 |      392 |      333
245.64/245.74	c  245s |      15 |  1801230 |   113032 |    20576     10 |      392 |      333
247.74/247.82	c  247s |      15 |  1830353 |   114232 |    20576     10 |      392 |      333
249.75/249.83	c  249s |      15 |  1848968 |   115532 |    20576     10 |      392 |      333
251.85/251.93	c  251s |      15 |  1873518 |   116832 |    20576     11 |      392 |      333
253.94/254.07	c  253s |      15 |  1899485 |   118432 |    20576     11 |      392 |      333
255.94/256.08	c  255s |      15 |  1906722 |   119432 |    20576     11 |      392 |      333
258.05/258.15	c  257s |      15 |  1912382 |   120532 |    20576     11 |      392 |      333
260.35/260.44	c  260s |      15 |  1914602 |   121232 |    20576     11 |      392 |      333
262.35/262.49	c  262s |      15 |  1920786 |   122032 |    20576     11 |      392 |      333
264.45/264.57	c  264s |      15 |  1942124 |   123132 |    20576     11 |      392 |      333
266.65/266.72	c  266s |      15 |  1962828 |   124332 |    20576     11 |      392 |      333
268.75/268.82	c  268s |      15 |  1983619 |   125632 |    20576     11 |      392 |      333
271.04/271.19	c  270s |      15 |  2003398 |   126832 |    20576     12 |      392 |      333
273.14/273.24	c  272s |      15 |  2014196 |   127732 |    20576     12 |      392 |      333
275.34/275.43	c  275s |      15 |  2015277 |   128132 |    20576     12 |      392 |      333
277.64/277.71	c  277s |      15 |  2015803 |   128432 |    20576     12 |      392 |      333
279.74/279.83	c  279s |      15 |  2020260 |   128932 |    20576     12 |      392 |      333
281.74/281.84	c  281s |      15 |  2044664 |   130132 |    20576     12 |      392 |      333
283.75/283.87	c  283s |      15 |  2066319 |   131532 |    22634     12 |      392 |      333
283.75/283.90	c  283s |      16 |  2066493 |   131552 |    22634     12 |      392 |      333
285.84/285.90	c  285s |      16 |  2090534 |   133052 |    22634     12 |      392 |      333
287.84/287.91	c  287s |      16 |  2115416 |   134352 |    22634     12 |      392 |      333
289.94/290.01	c  289s |      16 |  2135714 |   135452 |    22634     12 |      393 |      334
292.04/292.19	c  291s |      16 |  2147667 |   136852 |    22634     12 |      393 |      334
294.14/294.30	c  294s |      16 |  2170466 |   138052 |    22634     12 |      393 |      334
296.24/296.33	c  296s |      16 |  2187145 |   139152 |    22634     12 |      393 |      334
298.24/298.36	c  298s |      16 |  2202279 |   140252 |    22634     13 |      393 |      334
300.34/300.49	c  300s |      16 |  2222716 |   141852 |    22634     13 |      393 |      334
302.54/302.69	c  302s |      16 |  2239375 |   143052 |    22634     13 |      393 |      334
304.53/304.69	c  304s |      16 |  2243264 |   143752 |    22634     13 |      393 |      334
306.73/306.80	c  306s |      16 |  2270851 |   145052 |    22634     13 |      393 |      334
308.83/308.93	c  308s |      16 |  2281355 |   146052 |    22634     13 |      393 |      334
311.03/311.10	c  310s |      16 |  2304072 |   147052 |    22634     13 |      393 |      334
313.03/313.11	c  312s |      16 |  2319413 |   148152 |    22634     13 |      393 |      334
315.03/315.12	c  314s |      16 |  2340211 |   149152 |    22634     13 |      393 |      334
317.03/317.19	c  316s |      16 |  2357537 |   150252 |    22634     13 |      393 |      334
319.43/319.51	c  319s |      16 |  2371851 |   151552 |    22634     13 |      393 |      334
321.73/321.81	c  321s |      16 |  2384541 |   152252 |    22634     14 |      393 |      334
323.83/323.92	c  323s |      16 |  2403404 |   153652 |    22634     14 |      393 |      334
325.83/325.94	c  325s |      16 |  2413566 |   154952 |    22634     14 |      393 |      334
327.94/328.07	c  327s |      16 |  2430135 |   156252 |    22634     14 |      393 |      334
329.95/330.10	c  329s |      16 |  2449100 |   157552 |    22634     14 |      393 |      334
332.04/332.13	c  331s |      16 |  2468844 |   158752 |    22634     14 |      393 |      334
334.35/334.50	c  334s |      16 |  2482261 |   160152 |    22634     14 |      393 |      334
336.54/336.65	c  336s |      16 |  2494673 |   161152 |    22634     14 |      393 |      334
338.64/338.72	c  338s |      16 |  2511720 |   162252 |    22634     14 |      393 |      334
340.64/340.78	c  340s |      16 |  2519399 |   163152 |    22634     14 |      393 |      334
342.84/342.94	c  342s |      16 |  2520972 |   163652 |    22634     14 |      393 |      334
345.24/345.33	c  345s |      16 |  2526048 |   164752 |    22634     14 |      393 |      334
347.34/347.47	c  347s |      16 |  2530713 |   165252 |    22634     15 |      393 |      334
349.63/349.73	c  349s |      16 |  2533644 |   165952 |    22634     15 |      393 |      334
351.74/351.86	c  351s |      16 |  2551450 |   167252 |    22634     15 |      393 |      334
353.84/353.93	c  353s |      16 |  2571285 |   168852 |    22634     15 |      393 |      334
355.93/356.01	c  355s |      16 |  2591260 |   170052 |    22634     15 |      393 |      334
357.93/358.03	c  357s |      16 |  2608522 |   171152 |    22634     15 |      393 |      334
360.03/360.17	c  359s |      16 |  2616835 |   172252 |    22634     15 |      393 |      334
362.13/362.23	c  361s |      16 |  2624127 |   173352 |    22634     15 |      393 |      334
364.53/364.66	c  364s |      16 |  2637665 |   174452 |    22634     15 |      393 |      334
367.03/367.12	c  366s |      16 |  2639709 |   174952 |    22634     15 |      393 |      334
369.23/369.39	c  369s |      16 |  2640719 |   175252 |    22634     15 |      393 |      334
371.74/371.90	c  371s |      16 |  2641694 |   175452 |    22634     15 |      393 |      334
373.94/374.09	c  373s |      16 |  2652652 |   176552 |    22634     15 |      393 |      334
376.24/376.36	c  376s |      16 |  2656848 |   177452 |    22634     15 |      393 |      334
378.53/378.65	c  378s |      16 |  2659149 |   178152 |    22634     15 |      393 |      334
380.64/380.77	c  380s |      16 |  2659594 |   178352 |    22634     16 |      393 |      334
382.63/382.80	c  382s |      16 |  2662945 |   178852 |    22634     16 |      393 |      334
384.73/384.83	c  384s |      16 |  2665803 |   179452 |    22634     16 |      393 |      334
386.83/386.99	c  386s |      16 |  2668916 |   180252 |    22634     16 |      393 |      334
388.93/389.08	c  388s |      16 |  2673748 |   181052 |    22634     16 |      393 |      334
391.03/391.13	c  390s |      16 |  2687976 |   182152 |    22634     16 |      393 |      334
393.23/393.32	c  393s |      16 |  2704690 |   183452 |    22634     16 |      393 |      334
395.22/395.35	c  395s |      16 |  2722272 |   184652 |    22634     16 |      393 |      334
397.32/397.45	c  397s |      16 |  2730383 |   185552 |    22634     16 |      393 |      334
399.62/399.74	c  399s |      16 |  2733870 |   186352 |    22634     16 |      393 |      334
402.22/402.30	c  402s |      16 |  2734391 |   186652 |    22634     16 |      393 |      334
404.22/404.39	c  404s |      16 |  2735273 |   187052 |    22634     16 |      393 |      334
406.93/407.04	c  406s |      16 |  2736733 |   187652 |    22634     16 |      393 |      334
409.52/409.66	c  409s |      16 |  2737369 |   187952 |    22634     16 |      393 |      334
412.02/412.13	c  411s |      16 |  2738312 |   188352 |    22634     16 |      393 |      334
414.42/414.51	c  414s |      16 |  2738785 |   188552 |    22634     16 |      393 |      334
418.22/418.38	c  418s |      16 |  2739071 |   188752 |    22634     16 |      393 |      334
421.12/421.22	c  420s |      16 |  2739987 |   189052 |    22634     16 |      393 |      334
423.22/423.30	c  423s |      16 |  2740125 |   189152 |    22634     16 |      393 |      334
425.42/425.51	c  425s |      16 |  2740990 |   189452 |    22634     16 |      393 |      334
427.93/428.09	c  427s |      16 |  2741518 |   189752 |    22634     16 |      393 |      334
430.62/430.77	c  430s |      16 |  2742132 |   190052 |    22634     16 |      393 |      334
433.02/433.16	c  432s |      16 |  2743359 |   190452 |    22634     16 |      393 |      334
435.42/435.59	c  435s |      16 |  2745744 |   190952 |    22634     16 |      393 |      334
439.12/439.21	c  438s |      16 |  2746830 |   191352 |    22634     16 |      393 |      334
441.13/441.29	c  441s |      16 |  2753593 |   191652 |    22634     17 |      394 |      335
443.33/443.41	c  443s |      16 |  2768437 |   193152 |    22634     17 |      394 |      335
445.32/445.43	c  445s |      16 |  2770669 |   193952 |    22634     17 |      394 |      335
447.52/447.60	c  447s |      16 |  2772872 |   194752 |    22634     17 |      394 |      335
449.62/449.75	c  449s |      16 |  2775171 |   195552 |    22634     17 |      394 |      335
451.82/451.99	c  451s |      16 |  2778351 |   196452 |    24898     17 |      394 |      335
453.32/453.43	c  453s |      17 |  2799451 |   197432 |    24898     17 |      394 |      335
455.32/455.48	c  455s |      17 |  2809790 |   198432 |    24898     17 |      394 |      335
457.52/457.64	c  457s |      17 |  2827572 |   199832 |    24898     17 |      394 |      335
459.62/459.75	c  459s |      17 |  2848197 |   201132 |    24898     17 |      394 |      335
461.61/461.76	c  461s |      17 |  2868091 |   202532 |    24898     17 |      394 |      335
463.71/463.80	c  463s |      17 |  2882755 |   203732 |    24898     17 |      394 |      335
465.81/465.93	c  465s |      17 |  2896983 |   204832 |    24898     17 |      394 |      335
467.81/467.95	c  467s |      17 |  2912948 |   205832 |    24898     18 |      394 |      335
470.11/470.23	c  469s |      17 |  2924568 |   207032 |    24898     18 |      394 |      335
472.21/472.33	c  472s |      17 |  2949801 |   208532 |    24898     18 |      394 |      335
474.21/474.39	c  474s |      17 |  2967650 |   210032 |    24898     18 |      394 |      335
476.32/476.46	c  476s |      17 |  2981813 |   211332 |    24898     18 |      394 |      335
478.31/478.47	c  478s |      17 |  2997164 |   212632 |    24898     18 |      394 |      335
480.51/480.62	c  480s |      17 |  3015155 |   213932 |    24898     18 |      394 |      335
482.61/482.71	c  482s |      17 |  3019499 |   214732 |    24898     18 |      394 |      335
484.81/484.99	c  484s |      17 |  3025935 |   215632 |    24898     18 |      394 |      335
487.01/487.15	c  486s |      17 |  3038894 |   216932 |    24898     18 |      394 |      335
489.11/489.25	c  488s |      17 |  3046575 |   218032 |    24898     18 |      394 |      335
491.31/491.42	c  491s |      17 |  3060189 |   219232 |    24898     19 |      394 |      335
493.31/493.45	c  493s |      17 |  3085568 |   220832 |    24898     19 |      394 |      335
495.61/495.72	c  495s |      17 |  3092855 |   221932 |    24898     19 |      394 |      335
497.81/497.99	c  497s |      17 |  3094351 |   222532 |    24898     19 |      394 |      335
500.51/500.61	c  500s |      17 |  3095027 |   222932 |    24898     19 |      394 |      335
502.61/502.78	c  502s |      17 |  3098839 |   223632 |    24898     19 |      394 |      335
504.81/504.95	c  504s |      17 |  3107058 |   224832 |    24898     19 |      394 |      335
507.02/507.14	c  506s |      17 |  3109875 |   225432 |    24898     19 |      394 |      335
509.11/509.29	c  509s |      17 |  3110287 |   225632 |    24898     19 |      394 |      335
512.31/512.45	c  512s |      17 |  3111036 |   225932 |    24898     19 |      394 |      335
514.61/514.73	c  514s |      17 |  3112503 |   226432 |    24898     19 |      394 |      335
517.02/517.17	c  516s |      17 |  3113768 |   226932 |    24898     19 |      394 |      335
519.51/519.63	c  519s |      17 |  3114645 |   227332 |    24898     19 |      394 |      335
522.21/522.31	c  522s |      17 |  3115765 |   227732 |    24898     19 |      394 |      335
525.61/525.77	c  525s |      17 |  3116345 |   228032 |    24898     19 |      394 |      335
528.40/528.59	c  528s |      17 |  3117595 |   228432 |    24898     19 |      394 |      335
531.01/531.19	c  530s |      17 |  3119200 |   228932 |    24898     19 |      394 |      335
533.21/533.38	c  533s |      17 |  3136819 |   230032 |    24898     19 |      394 |      335
535.41/535.57	c  535s |      17 |  3152624 |   231132 |    24898     19 |      394 |      335
537.51/537.66	c  537s |      17 |  3162100 |   231932 |    24898     20 |      394 |      335
539.51/539.68	c  539s |      17 |  3193011 |   233632 |    24898     20 |      394 |      335
541.71/541.83	c  541s |      17 |  3212389 |   235132 |    24898     20 |      394 |      335
543.80/543.90	c  543s |      17 |  3229662 |   236632 |    24898     20 |      394 |      335
545.90/546.08	c  545s |      17 |  3241327 |   237832 |    24898     20 |      394 |      335
548.10/548.27	c  548s |      17 |  3244878 |   238832 |    24898     20 |      394 |      335
550.20/550.34	c  550s |      17 |  3257861 |   239832 |    24898     20 |      394 |      335
552.30/552.41	c  552s |      17 |  3263751 |   240732 |    24898     20 |      394 |      335
554.31/554.49	c  554s |      17 |  3268568 |   241632 |    24898     20 |      394 |      335
556.30/556.49	c  556s |      17 |  3276712 |   242532 |    24898     20 |      394 |      335
558.40/558.59	c  558s |      17 |  3283686 |   243432 |    24898     20 |      394 |      335
560.50/560.67	c  560s |      17 |  3291662 |   244332 |    24898     20 |      394 |      335
562.60/562.77	c  562s |      17 |  3315172 |   245532 |    24898     21 |      394 |      335
564.90/565.02	c  564s |      17 |  3330607 |   246832 |    24898     21 |      394 |      335
567.00/567.15	c  566s |      17 |  3352561 |   248232 |    24898     21 |      394 |      335
569.00/569.16	c  568s |      17 |  3364312 |   249332 |    24898     21 |      394 |      335
571.30/571.42	c  571s |      17 |  3366073 |   249932 |    24898     21 |      394 |      335
573.50/573.66	c  573s |      17 |  3368338 |   250732 |    24898     21 |      394 |      335
575.60/575.75	c  575s |      17 |  3371495 |   251532 |    24898     21 |      394 |      335
577.60/577.76	c  577s |      17 |  3373503 |   252132 |    24898     21 |      394 |      335
580.10/580.26	c  579s |      17 |  3374512 |   252632 |    24898     21 |      394 |      335
582.20/582.30	c  582s |      17 |  3375583 |   253032 |    24898     21 |      394 |      335
584.29/584.42	c  584s |      17 |  3376306 |   253432 |    24898     21 |      394 |      335
586.30/586.43	c  586s |      17 |  3377098 |   253732 |    24898     21 |      394 |      335
588.41/588.56	c  588s |      17 |  3378070 |   254032 |    24898     21 |      394 |      335
590.61/590.71	c  590s |      17 |  3379451 |   254432 |    24898     21 |      394 |      335
593.10/593.27	c  593s |      17 |  3380185 |   254732 |    24898     21 |      394 |      335
595.40/595.50	c  595s |      17 |  3380789 |   255032 |    24898     21 |      394 |      335
597.40/597.55	c  597s |      17 |  3381088 |   255232 |    24898     21 |      394 |      335
599.50/599.60	c  599s |      17 |  3382720 |   255732 |    24898     21 |      394 |      335
601.70/601.87	c  601s |      17 |  3385611 |   256132 |    24898     21 |      394 |      335
603.80/604.00	c  603s |      17 |  3394735 |   257032 |    24898     21 |      394 |      335
606.10/606.21	c  605s |      17 |  3398508 |   257832 |    24898     21 |      394 |      335
608.09/608.23	c  607s |      17 |  3400603 |   258232 |    24898     21 |      394 |      335
610.19/610.32	c  610s |      17 |  3405963 |   258932 |    24898     21 |      394 |      335
612.49/612.60	c  612s |      17 |  3409127 |   259432 |    24898     21 |      394 |      335
614.49/614.67	c  614s |      17 |  3413352 |   260132 |    24898     22 |      394 |      335
616.59/616.75	c  616s |      17 |  3446982 |   261732 |    24898     22 |      394 |      335
618.89/619.01	c  618s |      17 |  3467809 |   263332 |    24898     22 |      394 |      335
621.09/621.22	c  620s |      17 |  3471732 |   264432 |    24898     22 |      394 |      335
623.19/623.31	c  623s |      17 |  3473404 |   265032 |    24898     22 |      394 |      335
625.69/625.86	c  625s |      17 |  3474765 |   265532 |    24898     22 |      394 |      335
627.89/628.02	c  627s |      17 |  3476075 |   266032 |    24898     22 |      394 |      335
629.89/630.04	c  629s |      17 |  3481850 |   266732 |    24898     22 |      394 |      335
632.19/632.33	c  632s |      17 |  3483047 |   267332 |    24898     22 |      394 |      335
634.29/634.40	c  634s |      17 |  3484759 |   268032 |    24898     22 |      394 |      335
636.49/636.68	c  636s |      17 |  3486873 |   268732 |    24898     22 |      394 |      335
638.69/638.86	c  638s |      17 |  3487923 |   269132 |    24898     22 |      394 |      335
640.79/640.98	c  640s |      17 |  3505922 |   270332 |    24898     22 |      394 |      335
642.89/643.03	c  642s |      17 |  3515472 |   271232 |    24898     22 |      394 |      335
645.09/645.20	c  644s |      17 |  3527596 |   272232 |    24898     22 |      394 |      335
647.08/647.23	c  646s |      17 |  3533158 |   272932 |    24898     22 |      394 |      335
649.28/649.42	c  649s |      17 |  3538606 |   273632 |    24898     22 |      394 |      335
651.78/651.95	c  651s |      17 |  3541331 |   274132 |    24898     23 |      394 |      335
653.98/654.15	c  653s |      17 |  3548241 |   275432 |    24898     23 |      394 |      335
655.98/656.16	c  655s |      17 |  3555632 |   276432 |    24898     23 |      394 |      335
658.18/658.31	c  658s |      17 |  3564390 |   277332 |    24898     23 |      394 |      335
660.28/660.40	c  660s |      17 |  3568874 |   278032 |    24898     23 |      394 |      335
662.39/662.55	c  662s |      17 |  3575908 |   278832 |    24898     23 |      394 |      335
664.59/664.71	c  664s |      17 |  3580728 |   279532 |    24898     23 |      394 |      335
666.89/667.01	c  666s |      17 |  3587065 |   280232 |    24898     23 |      394 |      335
668.99/669.13	c  668s |      17 |  3589486 |   280632 |    24898     23 |      394 |      335
671.09/671.28	c  671s |      17 |  3592608 |   281232 |    24898     23 |      394 |      335
673.48/673.65	c  673s |      17 |  3594929 |   281632 |    24898     23 |      394 |      335
675.68/675.88	c  675s |      17 |  3595566 |   281932 |    24898     23 |      394 |      335
678.08/678.24	c  677s |      17 |  3597944 |   282432 |    24898     23 |      394 |      335
680.38/680.50	c  680s |      17 |  3600580 |   282832 |    24898     23 |      394 |      335
682.58/682.76	c  682s |      17 |  3603400 |   283332 |    24898     23 |      394 |      335
685.18/685.38	c  685s |      17 |  3607209 |   283832 |    24898     23 |      394 |      335
687.48/687.65	c  687s |      17 |  3608608 |   284232 |    24898     23 |      394 |      335
689.59/689.75	c  689s |      17 |  3610206 |   284632 |    24898     23 |      394 |      335
692.08/692.21	c  691s |      17 |  3611620 |   285032 |    24898     23 |      394 |      335
694.58/694.77	c  694s |      17 |  3612481 |   285332 |    24898     23 |      394 |      335
697.48/697.60	c  697s |      17 |  3613727 |   285632 |    24898     23 |      394 |      335
699.59/699.77	c  699s |      17 |  3614701 |   285932 |    24898     23 |      394 |      335
701.68/701.83	c  701s |      17 |  3615898 |   286232 |    24898     23 |      394 |      335
704.18/704.34	c  704s |      17 |  3616788 |   286532 |    24898     23 |      394 |      335
706.27/706.46	c  706s |      17 |  3618134 |   286932 |    24898     23 |      394 |      335
709.78/709.92	c  709s |      17 |  3619474 |   287232 |    24898     24 |      394 |      335
711.88/712.09	c  711s |      17 |  3624214 |   288132 |    24898     24 |      394 |      335
714.28/714.50	c  714s |      17 |  3627804 |   288832 |    24898     24 |      394 |      335
716.38/716.50	c  716s |      17 |  3631296 |   289532 |    24898     24 |      394 |      335
718.58/718.74	c  718s |      17 |  3633082 |   290032 |    24898     24 |      394 |      335
720.78/720.97	c  720s |      17 |  3635411 |   290632 |    24898     24 |      394 |      335
723.28/723.44	c  723s |      17 |  3636812 |   291132 |    24898     24 |      394 |      335
725.38/725.50	c  725s |      17 |  3640512 |   291632 |    24898     24 |      394 |      335
727.48/727.68	c  727s |      17 |  3646565 |   292432 |    24898     24 |      394 |      335
729.98/730.13	c  729s |      17 |  3647621 |   292732 |    24898     24 |      394 |      335
732.28/732.42	c  732s |      17 |  3650514 |   293432 |    24898     24 |      394 |      335
734.78/734.95	c  734s |      17 |  3652344 |   293932 |    24898     24 |      394 |      335
736.77/737.00	c  736s |      17 |  3653404 |   294232 |    27388     24 |      394 |      335
739.27/739.49	c  739s |      17 |  3654167 |   294532 |    27388     24 |      394 |      335
741.47/741.62	c  741s |      17 |  3655898 |   295032 |    27388     24 |      394 |      335
743.58/743.79	c  743s |      17 |  3657233 |   295432 |    27388     24 |      394 |      335
746.67/746.87	c  746s |      17 |  3658458 |   295932 |    27388     24 |      394 |      335
747.98/748.12	c  747s |      18 |  3660233 |   296252 |    27388     24 |      394 |      335
749.97/750.20	c  749s |      18 |  3685283 |   297452 |    27388     24 |      394 |      335
752.17/752.32	c  752s |      18 |  3711437 |   298852 |    27388     24 |      394 |      335
754.57/754.78	c  754s |      18 |  3718538 |   299952 |    27388     25 |      394 |      335
756.67/756.82	c  756s |      18 |  3754287 |   301652 |    27388     25 |      394 |      335
758.77/758.97	c  758s |      18 |  3791410 |   303152 |    27388     25 |      394 |      335
760.77/760.99	c  760s |      18 |  3815085 |   304652 |    27388     25 |      394 |      335
763.17/763.30	c  763s |      18 |  3819542 |   305552 |    27388     25 |      394 |      335
765.37/765.56	c  765s |      18 |  3822359 |   306252 |    27388     25 |      394 |      335
767.37/767.57	c  767s |      18 |  3827693 |   307052 |    27388     25 |      394 |      335
769.57/769.70	c  769s |      18 |  3853764 |   308352 |    27388     25 |      394 |      335
771.56/771.71	c  771s |      18 |  3871509 |   309352 |    27388     25 |      394 |      335
773.66/773.89	c  773s |      18 |  3880954 |   310252 |    27388     25 |      394 |      335
775.76/775.95	c  775s |      18 |  3902997 |   311452 |    27388     25 |      394 |      335
777.96/778.10	c  777s |      18 |  3916060 |   312652 |    27388     25 |      394 |      335
780.07/780.21	c  779s |      18 |  3931472 |   313952 |    27388     26 |      394 |      335
782.07/782.25	c  781s |      18 |  3932974 |   314452 |    27388     26 |      394 |      335
784.27/784.45	c  784s |      18 |  3938470 |   315652 |    27388     26 |      394 |      335
786.47/786.62	c  786s |      18 |  3944028 |   316652 |    27388     26 |      394 |      335
788.46/788.65	c  788s |      18 |  3946247 |   317252 |    27388     26 |      394 |      335
790.87/791.03	c  790s |      18 |  3949257 |   318052 |    27388     26 |      394 |      335
793.07/793.26	c  792s |      18 |  3950718 |   318552 |    27388     26 |      394 |      335
795.27/795.43	c  795s |      18 |  3953746 |   319252 |    27388     26 |      394 |      335
797.66/797.84	c  797s |      18 |  3954813 |   319652 |    27388     26 |      394 |      335
799.66/799.88	c  799s |      18 |  3967149 |   320352 |    27388     26 |      394 |      335
801.76/801.91	c  801s |      18 |  3996609 |   321652 |    27388     26 |      394 |      335
803.75/803.94	c  803s |      18 |  4013651 |   322852 |    27388     26 |      394 |      335
805.75/805.96	c  805s |      18 |  4037226 |   323952 |    27388     27 |      394 |      335
807.95/808.10	c  807s |      18 |  4054675 |   325352 |    27388     27 |      394 |      335
809.95/810.13	c  809s |      18 |  4082172 |   326552 |    27388     27 |      394 |      335
812.15/812.35	c  812s |      18 |  4099259 |   327852 |    27388     27 |      394 |      335
814.25/814.41	c  814s |      18 |  4104240 |   328552 |    27388     27 |      394 |      335
816.25/816.48	c  816s |      18 |  4129838 |   330052 |    27388     27 |      394 |      335
818.45/818.61	c  818s |      18 |  4147378 |   331252 |    27388     27 |      394 |      335
820.56/820.73	c  820s |      18 |  4163433 |   332552 |    27388     27 |      394 |      335
822.55/822.78	c  822s |      18 |  4187657 |   333652 |    27388     28 |      394 |      335
824.65/824.85	c  824s |      18 |  4221389 |   335152 |    27388     28 |      394 |      335
826.76/826.98	c  826s |      18 |  4246842 |   336652 |    27388     28 |      394 |      335
828.86/829.03	c  828s |      18 |  4278491 |   337952 |    27388     28 |      394 |      335
831.05/831.21	c  830s |      18 |  4293712 |   339152 |    27388     28 |      394 |      335
833.15/833.35	c  833s |      18 |  4321667 |   340452 |    27388     28 |      394 |      335
835.35/835.52	c  835s |      18 |  4331502 |   341352 |    27388     28 |      394 |      335
837.75/837.93	c  837s |      18 |  4360680 |   342552 |    27388     29 |      394 |      335
839.75/839.98	c  839s |      18 |  4400326 |   344252 |    27388     29 |      394 |      335
841.85/842.00	c  841s |      18 |  4430251 |   345852 |    27388     29 |      394 |      335
844.15/844.35	c  844s |      18 |  4436703 |   346652 |    27388     29 |      394 |      335
846.35/846.55	c  846s |      18 |  4438574 |   347152 |    27388     29 |      394 |      335
848.75/848.90	c  848s |      18 |  4440313 |   347652 |    27388     29 |      394 |      335
850.85/851.03	c  850s |      18 |  4443051 |   348252 |    27388     29 |      394 |      335
852.95/853.15	c  852s |      18 |  4461946 |   349352 |    27388     29 |      394 |      335
855.05/855.27	c  854s |      18 |  4486481 |   350752 |    27388     29 |      395 |      336
857.15/857.31	c  857s |      18 |  4500672 |   351852 |    27388     30 |      395 |      336
859.15/859.36	c  859s |      18 |  4505623 |   352652 |    27388     30 |      395 |      336
861.44/861.62	c  861s |      18 |  4511028 |   353752 |    27388     30 |      395 |      336
863.54/863.74	c  863s |      18 |  4513421 |   354552 |    27388     30 |      395 |      336
865.55/865.75	c  865s |      18 |  4541600 |   355752 |    27388     30 |      395 |      336
867.64/867.87	c  867s |      18 |  4548760 |   356952 |    27388     30 |      395 |      336
869.74/869.96	c  869s |      18 |  4550430 |   357452 |    27388     30 |      395 |      336
871.84/872.09	c  871s |      18 |  4552294 |   357952 |    27388     30 |      395 |      336
874.03/874.21	c  873s |      18 |  4555752 |   358352 |    27388     30 |      395 |      336
876.14/876.35	c  876s |      18 |  4567536 |   359552 |    27388     30 |      395 |      336
878.24/878.49	c  878s |      18 |  4583748 |   360852 |    27388     31 |      395 |      336
880.34/880.57	c  880s |      18 |  4602883 |   362552 |    27388     31 |      395 |      336
882.44/882.65	c  882s |      18 |  4637200 |   364052 |    27388     31 |      395 |      336
884.54/884.75	c  884s |      18 |  4664310 |   365652 |    27388     31 |      395 |      336
886.74/886.94	c  886s |      18 |  4677803 |   366852 |    27388     31 |      395 |      336
888.84/889.05	c  888s |      18 |  4684350 |   367752 |    27388     31 |      395 |      336
891.14/891.30	c  891s |      18 |  4686662 |   368452 |    27388     31 |      395 |      336
893.23/893.45	c  893s |      18 |  4688285 |   369052 |    27388     31 |      395 |      336
895.43/895.69	c  895s |      18 |  4690023 |   369552 |    27388     31 |      395 |      336
897.93/898.10	c  897s |      18 |  4692900 |   370052 |    27388     32 |      395 |      336
899.93/900.12	c  899s |      18 |  4719288 |   371652 |    27388     32 |      395 |      336
901.93/902.19	c  901s |      18 |  4734833 |   372852 |    27388     32 |      395 |      336
904.03/904.23	c  903s |      18 |  4748293 |   374252 |    27388     32 |      395 |      336
906.33/906.50	c  906s |      18 |  4763212 |   375752 |    27388     32 |      395 |      336
908.43/908.63	c  908s |      18 |  4791487 |   377252 |    27388     32 |      395 |      336
910.52/910.75	c  910s |      18 |  4825347 |   378852 |    27388     33 |      395 |      336
912.52/912.75	c  912s |      18 |  4843543 |   380452 |    27388     33 |      395 |      336
914.52/914.78	c  914s |      18 |  4866801 |   381952 |    27388     33 |      395 |      336
916.52/916.79	c  916s |      18 |  4883032 |   383352 |    27388     33 |      395 |      336
918.62/918.81	c  918s |      18 |  4906412 |   384752 |    27388     33 |      395 |      336
920.72/920.91	c  920s |      18 |  4925527 |   386252 |    27388     34 |      395 |      336
922.83/923.02	c  922s |      18 |  4932231 |   387752 |    27388     34 |      395 |      336
925.12/925.31	c  925s |      18 |  4934291 |   388652 |    27388     34 |      395 |      336
927.32/927.54	c  927s |      18 |  4936927 |   389452 |    27388     34 |      395 |      336
929.42/929.67	c  929s |      18 |  4938321 |   389952 |    27388     34 |      395 |      336
931.42/931.70	c  931s |      18 |  4939676 |   390552 |    27388     34 |      395 |      336
933.52/933.77	c  933s |      18 |  4946153 |   391452 |    27388     35 |      395 |      336
935.62/935.80	c  935s |      18 |  4958535 |   392552 |    27388     35 |      395 |      336
937.62/937.83	c  937s |      18 |  4969854 |   393752 |    27388     35 |      395 |      336
939.82/940.02	c  939s |      18 |  4983285 |   395152 |    27388     35 |      395 |      336
941.91/942.11	c  941s |      18 |  4991909 |   396252 |    27388     35 |      395 |      336
944.01/944.22	c  943s |      18 |  5009247 |   397652 |    27388     35 |      395 |      336
946.21/946.46	c  946s |      18 |  5019553 |   398852 |    27388     36 |      395 |      336
948.31/948.55	c  948s |      18 |  5038398 |   400352 |    27388     36 |      395 |      336
950.41/950.64	c  950s |      18 |  5053961 |   401952 |    27388     36 |      395 |      336
952.60/952.85	c  952s |      18 |  5057450 |   402752 |    27388     36 |      395 |      336
954.61/954.90	c  954s |      18 |  5058394 |   403152 |    27388     36 |      395 |      336
957.10/957.34	c  957s |      18 |  5059429 |   403552 |    27388     36 |      395 |      336
959.21/959.44	c  959s |      18 |  5062773 |   404252 |    27388     36 |      395 |      336
961.61/961.82	c  961s |      18 |  5066568 |   405052 |    27388     36 |      395 |      336
963.61/963.84	c  963s |      18 |  5067944 |   405452 |    27388     36 |      395 |      336
966.21/966.47	c  966s |      18 |  5069123 |   405852 |    27388     36 |      395 |      336
968.30/968.56	c  968s |      18 |  5069704 |   406052 |    27388     36 |      395 |      336
971.00/971.21	c  970s |      18 |  5070472 |   406352 |    27388     36 |      395 |      336
973.10/973.32	c  973s |      18 |  5071874 |   406752 |    27388     36 |      395 |      336
975.20/975.43	c  975s |      18 |  5078963 |   407652 |    27388     37 |      395 |      336
977.20/977.44	c  977s |      18 |  5085984 |   408752 |    27388     37 |      395 |      336
979.30/979.56	c  979s |      18 |  5100118 |   410052 |    27388     37 |      395 |      336
981.30/981.57	c  981s |      18 |  5112056 |   411452 |    27388     37 |      395 |      336
983.40/983.67	c  983s |      18 |  5135738 |   412952 |    27388     38 |      395 |      336
985.50/985.76	c  985s |      18 |  5153409 |   414752 |    27388     38 |      396 |      337
987.60/987.82	c  987s |      18 |  5158620 |   415752 |    27388     38 |      396 |      337
989.60/989.86	c  989s |      18 |  5183678 |   417452 |    27388     38 |      396 |      337
991.69/991.90	c  991s |      18 |  5204398 |   418952 |    27388     38 |      396 |      337
993.69/993.93	c  993s |      18 |  5218483 |   420352 |    27388     39 |      396 |      337
995.79/996.01	c  995s |      18 |  5238083 |   422052 |    27388     39 |      396 |      337
997.79/998.02	c  997s |      18 |  5252020 |   423452 |    27388     39 |      396 |      337
999.90/1000.13	c  999s |      18 |  5266718 |   424852 |    27388     39 |      396 |      337
1002.00/1002.20	c 1001s |      18 |  5272799 |   425952 |    27388     39 |      396 |      337
1004.39/1004.68	c 1004s |      18 |  5274315 |   426452 |    27388     39 |      396 |      337
1006.49/1006.80	c 1006s |      18 |  5276729 |   426952 |    27388     39 |      396 |      337
1008.60/1008.85	c 1008s |      18 |  5279742 |   427552 |    27388     39 |      396 |      337
1010.79/1011.01	c 1010s |      18 |  5281127 |   427952 |    27388     39 |      396 |      337
1012.79/1013.09	c 1012s |      18 |  5282950 |   428452 |    27388     39 |      396 |      337
1015.29/1015.56	c 1015s |      18 |  5284084 |   428852 |    27388     39 |      396 |      337
1018.58/1018.86	c 1018s |      18 |  5284668 |   429152 |    27388     39 |      396 |      337
1020.78/1021.00	c 1020s |      18 |  5288857 |   430052 |    27388     40 |      396 |      337
1022.79/1023.07	c 1022s |      18 |  5292678 |   431052 |    27388     40 |      396 |      337
1024.99/1025.21	c 1024s |      18 |  5293743 |   431652 |    27388     40 |      396 |      337
1027.19/1027.48	c 1027s |      18 |  5295681 |   432352 |    27388     40 |      396 |      337
1029.49/1029.78	c 1029s |      18 |  5297638 |   432952 |    27388     40 |      396 |      337
1032.08/1032.32	c 1032s |      18 |  5298729 |   433352 |    27388     40 |      396 |      337
1034.28/1034.59	c 1034s |      18 |  5300260 |   433752 |    27388     40 |      396 |      337
1036.48/1036.71	c 1036s |      18 |  5302189 |   434352 |    27388     40 |      396 |      337
1038.98/1039.24	c 1038s |      18 |  5303362 |   434852 |    27388     40 |      396 |      337
1041.38/1041.65	c 1041s |      18 |  5304785 |   435352 |    27388     40 |      396 |      337
1043.48/1043.73	c 1043s |      18 |  5306115 |   435752 |    27388     40 |      396 |      337
1045.48/1045.79	c 1045s |      18 |  5308219 |   436252 |    27388     40 |      396 |      337
1047.78/1048.09	c 1047s |      18 |  5309623 |   436652 |    27388     40 |      396 |      337
1050.39/1050.62	c 1050s |      18 |  5310744 |   436952 |    27388     40 |      396 |      337
1052.58/1052.81	c 1052s |      18 |  5311492 |   437252 |    27388     40 |      396 |      337
1054.67/1054.92	c 1054s |      18 |  5312516 |   437552 |    27388     40 |      396 |      337
1057.47/1057.70	c 1057s |      18 |  5313477 |   437852 |    27388     41 |      396 |      337
1059.67/1059.96	c 1059s |      18 |  5315388 |   438652 |    27388     41 |      396 |      337
1061.96/1062.25	c 1061s |      18 |  5317963 |   439352 |    27388     41 |      396 |      337
1063.97/1064.25	c 1063s |      18 |  5320234 |   439952 |    27388     41 |      396 |      337
1066.06/1066.30	c 1066s |      18 |  5323663 |   440652 |    27388     41 |      396 |      337
1068.56/1068.86	c 1068s |      18 |  5324634 |   441052 |    27388     41 |      396 |      337
1070.66/1070.91	c 1070s |      18 |  5325353 |   441352 |    30127     41 |      396 |      337
1072.76/1073.02	c 1072s |      18 |  5327267 |   441852 |    30127     41 |      396 |      337
1074.95/1075.28	c 1075s |      18 |  5328544 |   442352 |    30127     41 |      396 |      337
1077.25/1077.50	c 1077s |      18 |  5330263 |   442852 |    30127     41 |      396 |      337
1079.66/1079.91	c 1079s |      18 |  5332036 |   443452 |    30127     41 |      396 |      337
1081.76/1082.07	c 1081s |      18 |  5332478 |   443652 |    30127     41 |      396 |      337
1083.96/1084.22	c 1083s |      18 |  5334327 |   444152 |    30127     41 |      396 |      337
1085.46/1085.70	c 1085s |      19 |  5335283 |   444482 |    30127     41 |      396 |      337
1087.45/1087.75	c 1087s |      19 |  5348823 |   445482 |    30127     42 |      396 |      337
1089.55/1089.89	c 1089s |      19 |  5372361 |   446982 |    30127     42 |      396 |      337
1091.65/1091.97	c 1091s |      19 |  5378106 |   447882 |    30127     42 |      396 |      337
1093.75/1094.05	c 1093s |      19 |  5397579 |   449282 |    30127     42 |      396 |      337
1095.84/1096.16	c 1095s |      19 |  5408215 |   450382 |    30127     42 |      396 |      337
1097.84/1098.18	c 1097s |      19 |  5418441 |   451582 |    30127     42 |      396 |      337
1099.94/1100.20	c 1099s |      19 |  5435008 |   452782 |    30127     43 |      396 |      337
1101.95/1102.25	c 1101s |      19 |  5450185 |   454282 |    30127     43 |      396 |      337
1104.05/1104.38	c 1104s |      19 |  5457677 |   455782 |    30127     43 |      396 |      337
1106.25/1106.51	c 1106s |      19 |  5484834 |   457482 |    30127     43 |      396 |      337
1108.35/1108.67	c 1108s |      19 |  5505161 |   459182 |    30127     43 |      396 |      337
1110.45/1110.71	c 1110s |      19 |  5521025 |   460582 |    30127     44 |      396 |      337
1112.54/1112.88	c 1112s |      19 |  5549611 |   462482 |    30127     44 |      396 |      337
1114.64/1114.97	c 1114s |      19 |  5564236 |   463582 |    30127     44 |      396 |      337
1116.74/1117.00	c 1116s |      19 |  5579686 |   464782 |    30127     44 |      396 |      337
1118.74/1119.09	c 1118s |      19 |  5601755 |   465982 |    30127     45 |      397 |      338
1120.84/1121.17	c 1120s |      19 |  5630130 |   467682 |    30127     45 |      397 |      338
1122.95/1123.21	c 1122s |      19 |  5653114 |   469082 |    30127     45 |      397 |      338
1125.05/1125.33	c 1125s |      19 |  5683197 |   470382 |    30127     45 |      397 |      338
1127.14/1127.43	c 1127s |      19 |  5701865 |   471482 |    30127     45 |      397 |      338
1129.34/1129.60	c 1129s |      19 |  5708573 |   472382 |    30127     46 |      397 |      338
1131.34/1131.63	c 1131s |      19 |  5712291 |   473082 |    30127     46 |      397 |      338
1133.33/1133.67	c 1133s |      19 |  5724301 |   474382 |    30127     46 |      397 |      338
1135.33/1135.68	c 1135s |      19 |  5732826 |   475282 |    30127     46 |      397 |      338
1137.43/1137.71	c 1137s |      19 |  5755572 |   476482 |    30127     46 |      397 |      338
1139.44/1139.75	c 1139s |      19 |  5779438 |   477682 |    30127     46 |      397 |      338
1141.43/1141.77	c 1141s |      19 |  5789357 |   478782 |    30127     47 |      397 |      338
1143.53/1143.80	c 1143s |      19 |  5813439 |   480182 |    30127     47 |      397 |      338
1145.63/1145.93	c 1145s |      19 |  5840436 |   481682 |    30127     47 |      397 |      338
1147.83/1148.11	c 1147s |      19 |  5864746 |   482982 |    30127     47 |      397 |      338
1149.83/1150.15	c 1149s |      19 |  5885103 |   484082 |    30127     48 |      397 |      338
1151.83/1152.17	c 1151s |      19 |  5898715 |   485282 |    30127     48 |      397 |      338
1154.13/1154.44	c 1154s |      19 |  5909483 |   486482 |    30127     48 |      397 |      338
1156.12/1156.44	c 1156s |      19 |  5928512 |   487582 |    30127     48 |      397 |      338
1158.32/1158.61	c 1158s |      19 |  5944937 |   488682 |    30127     48 |      397 |      338
1160.42/1160.77	c 1160s |      19 |  5955902 |   489782 |    30127     48 |      397 |      338
1162.62/1162.94	c 1162s |      19 |  5965297 |   490882 |    30127     48 |      397 |      338
1164.73/1165.07	c 1164s |      19 |  5978453 |   492082 |    30127     49 |      397 |      338
1166.93/1167.28	c 1167s |      19 |  5997041 |   493382 |    30127     49 |      397 |      338
1168.92/1169.29	c 1169s |      19 |  6016058 |   494482 |    30127     49 |      397 |      338
1171.12/1171.45	c 1171s |      19 |  6037593 |   495582 |    30127     49 |      397 |      338
1173.32/1173.69	c 1173s |      19 |  6043935 |   496482 |    30127     49 |      397 |      338
1175.42/1175.70	c 1175s |      19 |  6050490 |   497382 |    30127     49 |      397 |      338
1177.62/1177.93	c 1177s |      19 |  6051434 |   497682 |    30127     49 |      397 |      338
1179.72/1180.04	c 1179s |      19 |  6052669 |   498082 |    30127     49 |      397 |      338
1181.72/1182.09	c 1181s |      19 |  6053315 |   498382 |    30127     49 |      397 |      338
1184.32/1184.61	c 1184s |      19 |  6054269 |   498682 |    30127     49 |      397 |      338
1186.32/1186.66	c 1186s |      19 |  6063965 |   499782 |    30127     50 |      397 |      338
1188.32/1188.67	c 1188s |      19 |  6073854 |   500882 |    30127     50 |      397 |      338
1190.42/1190.77	c 1190s |      19 |  6080156 |   501782 |    30127     50 |      397 |      338
1192.62/1192.97	c 1192s |      19 |  6091526 |   502882 |    30127     50 |      397 |      338
1194.72/1195.03	c 1194s |      19 |  6097030 |   503782 |    30127     50 |      397 |      338
1196.72/1197.07	c 1196s |      19 |  6107549 |   504882 |    30127     50 |      397 |      338
1199.01/1199.35	c 1199s |      19 |  6111146 |   505682 |    30127     50 |      397 |      338
1201.11/1201.45	c 1201s |      19 |  6112907 |   506182 |    30127     50 |      397 |      338
1203.12/1203.47	c 1203s |      19 |  6117275 |   506782 |    30127     51 |      397 |      338
1205.42/1205.71	c 1205s |      19 |  6123909 |   507882 |    30127     51 |      397 |      338
1207.42/1207.74	c 1207s |      19 |  6127874 |   508682 |    30127     51 |      397 |      338
1209.72/1210.01	c 1209s |      19 |  6131538 |   509582 |    30127     51 |      397 |      338
1211.82/1212.16	c 1211s |      19 |  6136737 |   510382 |    30127     51 |      397 |      338
1213.91/1214.24	c 1213s |      19 |  6139270 |   511082 |    30127     51 |      397 |      338
1216.21/1216.52	c 1216s |      19 |  6142174 |   511782 |    30127     51 |      397 |      338
1218.41/1218.72	c 1218s |      19 |  6143793 |   512282 |    30127     51 |      397 |      338
1220.61/1220.92	c 1220s |      19 |  6149823 |   513182 |    30127     52 |      397 |      338
1222.80/1223.19	c 1222s |      19 |  6153538 |   514182 |    30127     52 |      397 |      338
1225.01/1225.40	c 1225s |      19 |  6155972 |   514882 |    30127     52 |      397 |      338
1227.11/1227.41	c 1227s |      19 |  6157485 |   515382 |    30127     52 |      397 |      338
1229.21/1229.51	c 1229s |      19 |  6160845 |   516182 |    30127     52 |      397 |      338
1231.21/1231.59	c 1231s |      19 |  6164384 |   516882 |    30127     52 |      397 |      338
1233.61/1233.91	c 1233s |      19 |  6166020 |   517382 |    30127     52 |      397 |      338
1236.21/1236.55	c 1236s |      19 |  6168101 |   517882 |    30127     52 |      397 |      338
1238.30/1238.67	c 1238s |      19 |  6169399 |   518282 |    30127     52 |      397 |      338
1241.00/1241.39	c 1241s |      19 |  6170660 |   518682 |    30127     52 |      397 |      338
1243.10/1243.49	c 1243s |      19 |  6172156 |   519082 |    30127     53 |      397 |      338
1245.30/1245.61	c 1245s |      19 |  6175757 |   519982 |    30127     53 |      397 |      338
1247.40/1247.75	c 1247s |      19 |  6178601 |   520682 |    30127     53 |      397 |      338
1249.50/1249.80	c 1249s |      19 |  6179856 |   521082 |    30127     53 |      397 |      338
1251.69/1252.00	c 1251s |      19 |  6181657 |   521482 |    30127     53 |      397 |      338
1253.81/1254.19	c 1253s |      19 |  6183866 |   521982 |    30127     53 |      397 |      338
1256.01/1256.34	c 1256s |      19 |  6185168 |   522482 |    30127     53 |      397 |      338
1258.49/1258.84	c 1258s |      19 |  6187378 |   522882 |    30127     53 |      397 |      338
1260.69/1261.01	c 1260s |      19 |  6188817 |   523282 |    30127     53 |      397 |      338
1262.89/1263.25	c 1262s |      19 |  6191754 |   523882 |    30127     53 |      397 |      338
1265.39/1265.75	c 1265s |      19 |  6193078 |   524282 |    30127     53 |      397 |      338
1267.69/1268.03	c 1267s |      19 |  6194509 |   524682 |    30127     53 |      397 |      338
1269.99/1270.30	c 1270s |      19 |  6196159 |   525082 |    30127     53 |      397 |      338
1272.09/1272.46	c 1272s |      19 |  6200610 |   525782 |    30127     54 |      397 |      338
1274.19/1274.57	c 1274s |      19 |  6203129 |   526482 |    30127     54 |      397 |      338
1276.39/1276.79	c 1276s |      19 |  6206165 |   527182 |    30127     54 |      397 |      338
1278.49/1278.86	c 1278s |      19 |  6209316 |   527782 |    30127     54 |      397 |      338
1280.69/1281.08	c 1280s |      19 |  6211553 |   528382 |    30127     54 |      397 |      338
1282.99/1283.35	c 1283s |      19 |  6212184 |   528682 |    30127     54 |      397 |      338
1285.08/1285.47	c 1285s |      19 |  6213319 |   529082 |    30127     54 |      397 |      338
1287.18/1287.53	c 1287s |      19 |  6214675 |   529482 |    30127     54 |      397 |      338
1289.68/1290.05	c 1289s |      19 |  6216228 |   529882 |    30127     54 |      397 |      338
1291.88/1292.25	c 1291s |      19 |  6216929 |   530182 |    30127     54 |      397 |      338
1294.38/1294.72	c 1294s |      19 |  6217907 |   530482 |    30127     54 |      397 |      338
1296.38/1296.74	c 1296s |      19 |  6218583 |   530682 |    30127     54 |      397 |      338
1298.38/1298.78	c 1298s |      19 |  6224345 |   531282 |    30127     55 |      397 |      338
1300.48/1300.87	c 1300s |      19 |  6227653 |   531982 |    30127     55 |      397 |      338
1302.78/1303.12	c 1302s |      19 |  6229380 |   532482 |    30127     55 |      397 |      338
1304.97/1305.36	c 1305s |      19 |  6232517 |   533182 |    30127     55 |      397 |      338
1307.17/1307.54	c 1307s |      19 |  6237296 |   533982 |    30127     55 |      397 |      338
1309.17/1309.56	c 1309s |      19 |  6239683 |   534582 |    30127     55 |      397 |      338
1311.37/1311.79	c 1311s |      19 |  6241797 |   535082 |    30127     55 |      397 |      338
1313.87/1314.28	c 1314s |      19 |  6243977 |   535582 |    30127     55 |      397 |      338
1316.47/1316.80	c 1316s |      19 |  6245662 |   535982 |    30127     55 |      397 |      338
1318.58/1318.99	c 1318s |      19 |  6246651 |   536282 |    30127     55 |      397 |      338
1320.67/1321.03	c 1320s |      19 |  6247603 |   536582 |    30127     55 |      397 |      338
1322.98/1323.36	c 1323s |      19 |  6248249 |   536882 |    30127     55 |      397 |      338
1325.77/1326.11	c 1325s |      19 |  6249009 |   537182 |    30127     55 |      397 |      338
1327.77/1328.11	c 1327s |      19 |  6249882 |   537482 |    30127     56 |      397 |      338
1329.86/1330.24	c 1329s |      19 |  6252028 |   538082 |    30127     56 |      397 |      338
1332.06/1332.44	c 1332s |      19 |  6253002 |   538482 |    30127     56 |      397 |      338
1334.56/1334.97	c 1334s |      19 |  6255524 |   539082 |    30127     56 |      397 |      338
1336.57/1336.99	c 1336s |      19 |  6257335 |   539582 |    30127     56 |      397 |      338
1339.06/1339.50	c 1339s |      19 |  6258433 |   539982 |    30127     56 |      397 |      338
1341.76/1342.17	c 1341s |      19 |  6259943 |   540482 |    30127     56 |      397 |      338
1344.46/1344.80	c 1344s |      19 |  6260958 |   540882 |    30127     56 |      397 |      338
1346.86/1347.29	c 1347s |      19 |  6262215 |   541282 |    30127     56 |      397 |      338
1349.47/1349.89	c 1349s |      19 |  6262994 |   541582 |    30127     56 |      397 |      338
1351.56/1351.93	c 1351s |      19 |  6263700 |   541782 |    30127     56 |      397 |      338
1353.85/1354.20	c 1353s |      19 |  6265175 |   542082 |    30127     56 |      397 |      338
1355.96/1356.38	c 1356s |      19 |  6266391 |   542382 |    30127     56 |      397 |      338
1358.16/1358.56	c 1358s |      19 |  6267339 |   542682 |    30127     56 |      397 |      338
1360.75/1361.10	c 1360s |      19 |  6269617 |   543182 |    30127     57 |      397 |      338
1362.74/1363.15	c 1362s |      19 |  6275525 |   544282 |    30127     57 |      397 |      338
1364.86/1365.25	c 1364s |      19 |  6280761 |   545282 |    30127     57 |      397 |      338
1367.15/1367.50	c 1367s |      19 |  6285468 |   546282 |    30127     57 |      397 |      338
1369.35/1369.78	c 1369s |      19 |  6287995 |   547082 |    30127     57 |      397 |      338
1371.74/1372.16	c 1371s |      19 |  6289594 |   547582 |    30127     57 |      397 |      338
1373.94/1374.30	c 1374s |      19 |  6291879 |   548182 |    30127     57 |      397 |      338
1376.24/1376.61	c 1376s |      19 |  6293654 |   548782 |    30127     57 |      397 |      338
1378.24/1378.69	c 1378s |      19 |  6295092 |   549282 |    30127     57 |      397 |      338
1380.34/1380.73	c 1380s |      19 |  6296854 |   549882 |    30127     58 |      397 |      338
1382.54/1382.94	c 1382s |      19 |  6298810 |   550482 |    30127     58 |      397 |      338
1384.64/1385.07	c 1384s |      19 |  6301640 |   551082 |    30127     58 |      397 |      338
1386.74/1387.11	c 1386s |      19 |  6306353 |   551882 |    30127     58 |      397 |      338
1388.73/1389.18	c 1388s |      19 |  6310149 |   552582 |    30127     58 |      397 |      338
1390.73/1391.19	c 1390s |      19 |  6313999 |   553282 |    30127     58 |      397 |      338
1393.33/1393.74	c 1393s |      19 |  6315574 |   553782 |    30127     58 |      397 |      338
1395.43/1395.82	c 1395s |      19 |  6317888 |   554382 |    30127     58 |      397 |      338
1397.73/1398.18	c 1397s |      19 |  6321523 |   555182 |    30127     59 |      397 |      338
1400.03/1400.46	c 1400s |      19 |  6326971 |   556182 |    30127     59 |      397 |      338
1402.12/1402.51	c 1402s |      19 |  6329841 |   556982 |    30127     59 |      397 |      338
1404.22/1404.62	c 1404s |      19 |  6331208 |   557482 |    30127     59 |      397 |      338
1406.43/1406.80	c 1406s |      19 |  6332990 |   558182 |    30127     59 |      397 |      338
1408.52/1408.94	c 1408s |      19 |  6334791 |   558682 |    30127     59 |      397 |      338
1410.62/1411.08	c 1410s |      19 |  6335927 |   559082 |    30127     59 |      397 |      338
1412.72/1413.13	c 1412s |      19 |  6336787 |   559482 |    30127     59 |      397 |      338
1415.02/1415.48	c 1415s |      19 |  6337770 |   559882 |    30127     59 |      397 |      338
1417.63/1418.07	c 1417s |      19 |  6338591 |   560182 |    30127     59 |      397 |      338
1419.62/1420.08	c 1419s |      19 |  6340339 |   560782 |    30127     60 |      397 |      338
1421.62/1422.09	c 1421s |      19 |  6341991 |   561282 |    30127     60 |      397 |      338
1424.42/1424.87	c 1424s |      19 |  6343766 |   561982 |    30127     60 |      397 |      338
1426.52/1426.99	c 1426s |      19 |  6346311 |   562682 |    30127     60 |      397 |      338
1428.63/1429.03	c 1428s |      19 |  6348475 |   563282 |    30127     60 |      397 |      338
1430.73/1431.18	c 1430s |      19 |  6353739 |   564182 |    30127     60 |      397 |      338
1432.93/1433.34	c 1433s |      19 |  6356308 |   564882 |    30127     60 |      397 |      338
1435.41/1435.87	c 1435s |      19 |  6357845 |   565382 |    30127     60 |      397 |      338
1437.51/1437.97	c 1437s |      19 |  6360796 |   565982 |    30127     61 |      397 |      338
1439.81/1440.28	c 1440s |      19 |  6363997 |   566882 |    30127     61 |      397 |      338
1442.11/1442.55	c 1442s |      19 |  6366875 |   567582 |    30127     61 |      397 |      338
1444.32/1444.76	c 1444s |      19 |  6368375 |   568082 |    30127     61 |      397 |      338
1446.52/1446.91	c 1446s |      19 |  6369169 |   568382 |    30127     61 |      397 |      338
1448.52/1448.99	c 1448s |      19 |  6369832 |   568682 |    30127     61 |      397 |      338
1451.11/1451.54	c 1451s |      19 |  6370633 |   568982 |    30127     61 |      397 |      338
1453.51/1453.90	c 1453s |      19 |  6372938 |   569482 |    30127     61 |      397 |      338
1455.51/1455.99	c 1455s |      19 |  6374989 |   569982 |    30127     61 |      397 |      338
1457.92/1458.34	c 1458s |      19 |  6376585 |   570482 |    30127     61 |      397 |      338
1460.12/1460.50	c 1460s |      19 |  6379122 |   571182 |    30127     62 |      397 |      338
1462.12/1462.59	c 1462s |      19 |  6381004 |   571782 |    30127     62 |      397 |      338
1464.21/1464.61	c 1464s |      19 |  6382306 |   572282 |    30127     62 |      397 |      338
1466.62/1467.06	c 1466s |      19 |  6383210 |   572682 |    30127     62 |      397 |      338
1469.01/1469.49	c 1469s |      19 |  6383994 |   573082 |    30127     62 |      397 |      338
1471.52/1471.94	c 1471s |      19 |  6384883 |   573482 |    30127     62 |      397 |      338
1473.62/1474.07	c 1473s |      19 |  6387292 |   574082 |    30127     62 |      397 |      338
1475.61/1476.07	c 1475s |      19 |  6388421 |   574582 |    30127     62 |      397 |      338
1477.81/1478.29	c 1478s |      19 |  6391114 |   575382 |    30127     62 |      397 |      338
1479.91/1480.37	c 1480s |      19 |  6393528 |   575982 |    30127     63 |      397 |      338
1482.21/1482.64	c 1482s |      19 |  6395727 |   576582 |    30127     63 |      397 |      338
1484.31/1484.78	c 1484s |      19 |  6397012 |   576982 |    30127     63 |      397 |      338
1486.41/1486.85	c 1486s |      19 |  6399252 |   577682 |    30127     63 |      397 |      338
1488.50/1488.98	c 1488s |      19 |  6401620 |   578282 |    30127     63 |      397 |      338
1490.81/1491.22	c 1490s |      19 |  6404389 |   578982 |    30127     63 |      397 |      338
1493.11/1493.56	c 1493s |      19 |  6405420 |   579382 |    30127     63 |      397 |      338
1495.21/1495.67	c 1495s |      19 |  6406784 |   579882 |    30127     63 |      397 |      338
1497.21/1497.69	c 1497s |      19 |  6407902 |   580282 |    30127     63 |      397 |      338
1499.51/1499.91	c 1499s |      19 |  6409045 |   580682 |    30127     63 |      397 |      338
1501.60/1502.00	c 1501s |      19 |  6410208 |   581082 |    30127     64 |      397 |      338
1503.90/1504.30	c 1504s |      19 |  6413880 |   581882 |    30127     64 |      397 |      338
1506.20/1506.65	c 1506s |      19 |  6418254 |   582682 |    30127     64 |      397 |      338
1508.71/1509.11	c 1508s |      19 |  6419885 |   583182 |    30127     64 |      397 |      338
1510.71/1511.14	c 1510s |      19 |  6425393 |   583982 |    30127     64 |      397 |      338
1512.81/1513.21	c 1512s |      19 |  6428191 |   584782 |    30127     64 |      397 |      338
1515.01/1515.43	c 1515s |      19 |  6430435 |   585482 |    30127     64 |      397 |      338
1517.31/1517.75	c 1517s |      19 |  6432514 |   586082 |    30127     65 |      397 |      338
1519.40/1519.86	c 1519s |      19 |  6436131 |   586782 |    30127     65 |      397 |      338
1521.80/1522.24	c 1521s |      19 |  6438237 |   587382 |    30127     65 |      397 |      338
1523.90/1524.38	c 1524s |      19 |  6439560 |   587882 |    30127     65 |      397 |      338
1526.42/1526.81	c 1526s |      19 |  6441034 |   588382 |    30127     65 |      397 |      338
1528.91/1529.35	c 1529s |      19 |  6442134 |   588782 |    30127     65 |      397 |      338
1531.41/1531.80	c 1531s |      19 |  6443905 |   589282 |    30127     65 |      397 |      338
1533.41/1533.87	c 1533s |      19 |  6445217 |   589682 |    30127     65 |      397 |      338
1536.00/1536.41	c 1536s |      19 |  6446245 |   590082 |    30127     65 |      397 |      338
1538.10/1538.54	c 1538s |      19 |  6448530 |   590582 |    30127     66 |      397 |      338
1540.30/1540.73	c 1540s |      19 |  6456155 |   591682 |    30127     66 |      397 |      338
1542.40/1542.89	c 1542s |      19 |  6459766 |   592582 |    30127     66 |      397 |      338
1544.60/1545.04	c 1544s |      19 |  6462556 |   593382 |    30127     66 |      397 |      338
1546.80/1547.26	c 1546s |      19 |  6465207 |   594082 |    30127     66 |      397 |      338
1549.10/1549.50	c 1549s |      19 |  6467088 |   594582 |    30127     66 |      397 |      338
1551.20/1551.66	c 1551s |      19 |  6467738 |   594882 |    30127     66 |      397 |      338
1553.50/1553.92	c 1553s |      19 |  6469879 |   595482 |    30127     67 |      397 |      338
1555.70/1556.10	c 1555s |      19 |  6474029 |   596382 |    30127     67 |      397 |      338
1557.70/1558.13	c 1557s |      19 |  6476081 |   597082 |    30127     67 |      397 |      338
1559.70/1560.15	c 1559s |      19 |  6478578 |   597682 |    30127     67 |      397 |      338
1562.09/1562.53	c 1562s |      19 |  6481317 |   598382 |    30127     67 |      397 |      338
1564.09/1564.59	c 1564s |      19 |  6482586 |   598782 |    30127     67 |      397 |      338
1566.29/1566.73	c 1566s |      19 |  6488149 |   599682 |    30127     68 |      397 |      338
1568.50/1568.92	c 1568s |      19 |  6492208 |   600682 |    30127     68 |      397 |      338
1570.60/1571.02	c 1570s |      19 |  6494105 |   601182 |    30127     68 |      397 |      338
1572.90/1573.37	c 1573s |      19 |  6496024 |   601782 |    30127     68 |      397 |      338
1575.30/1575.78	c 1575s |      19 |  6499002 |   602582 |    30127     68 |      397 |      338
1577.39/1577.81	c 1577s |      19 |  6501243 |   603182 |    30127     69 |      397 |      338
1579.39/1579.86	c 1579s |      19 |  6503583 |   603882 |    30127     69 |      397 |      338
1581.59/1582.07	c 1581s |      19 |  6505512 |   604482 |    30127     69 |      397 |      338
1583.80/1584.29	c 1584s |      19 |  6506943 |   604882 |    30127     69 |      397 |      338
1586.39/1586.89	c 1586s |      19 |  6508124 |   605282 |    30127     69 |      397 |      338
1588.69/1589.16	c 1588s |      19 |  6509385 |   605682 |    30127     69 |      397 |      338
1591.20/1591.62	c 1591s |      19 |  6510417 |   606082 |    30127     69 |      397 |      338
1593.79/1594.28	c 1594s |      19 |  6511686 |   606482 |    30127     69 |      397 |      338
1596.19/1596.68	c 1596s |      19 |  6512593 |   606782 |    30127     69 |      397 |      338
1598.49/1598.97	c 1598s |      19 |  6513950 |   607182 |    30127     70 |      397 |      338
1600.69/1601.14	c 1600s |      19 |  6516113 |   607782 |    30127     70 |      397 |      338
1602.89/1603.33	c 1603s |      19 |  6517147 |   608182 |    30127     70 |      397 |      338
1604.99/1605.47	c 1605s |      19 |  6519005 |   608782 |    30127     70 |      397 |      338
1607.59/1608.01	c 1607s |      19 |  6520838 |   609282 |    30127     70 |      397 |      338
1610.10/1610.58	c 1610s |      19 |  6522061 |   609682 |    30127     70 |      397 |      338
1612.20/1612.65	c 1612s |      19 |  6523083 |   609982 |    30127     70 |      397 |      338
1614.39/1614.88	c 1614s |      19 |  6523607 |   610182 |    30127     70 |      397 |      338
1616.79/1617.23	c 1616s |      19 |  6524803 |   610482 |    30127     70 |      397 |      338
1619.39/1619.82	c 1619s |      19 |  6525959 |   610882 |    30127     70 |      397 |      338
1622.59/1623.04	c 1622s |      19 |  6527202 |   611182 |    30127     71 |      397 |      338
1624.79/1625.24	c 1624s |      19 |  6531668 |   612082 |    30127     71 |      397 |      338
1626.89/1627.30	c 1627s |      19 |  6534115 |   612682 |    30127     71 |      397 |      338
1628.99/1629.44	c 1629s |      19 |  6536722 |   613282 |    30127     71 |      397 |      338
1631.19/1631.60	c 1631s |      19 |  6538740 |   613882 |    30127     71 |      397 |      338
1633.49/1633.98	c 1633s |      19 |  6540725 |   614482 |    30127     71 |      397 |      338
1635.69/1636.10	c 1635s |      19 |  6542027 |   614882 |    30127     71 |      397 |      338
1637.78/1638.27	c 1637s |      19 |  6544221 |   615482 |    30127     72 |      397 |      338
1639.99/1640.41	c 1640s |      19 |  6546811 |   616082 |    30127     72 |      397 |      338
1642.09/1642.55	c 1642s |      19 |  6548065 |   616482 |    30127     72 |      397 |      338
1644.69/1645.12	c 1644s |      19 |  6550641 |   617182 |    30127     72 |      397 |      338
1646.78/1647.21	c 1646s |      19 |  6552012 |   617682 |    30127     72 |      397 |      338
1648.88/1649.31	c 1649s |      19 |  6553379 |   618182 |    30127     72 |      397 |      338
1651.18/1651.61	c 1651s |      19 |  6554719 |   618582 |    30127     72 |      397 |      338
1653.59/1654.03	c 1653s |      19 |  6556023 |   618982 |    30127     72 |      397 |      338
1655.69/1656.10	c 1655s |      19 |  6557035 |   619282 |    30127     73 |      397 |      338
1658.18/1658.63	c 1658s |      19 |  6558449 |   619782 |    30127     73 |      397 |      338
1660.28/1660.72	c 1660s |      19 |  6559838 |   620182 |    30127     73 |      397 |      338
1662.59/1663.02	c 1662s |      19 |  6560824 |   620582 |    30127     73 |      397 |      338
1664.59/1665.07	c 1664s |      19 |  6562505 |   621082 |    30127     73 |      397 |      338
1666.98/1667.47	c 1667s |      19 |  6565439 |   621882 |    30127     73 |      397 |      338
1669.38/1669.89	c 1669s |      19 |  6567106 |   622482 |    30127     73 |      397 |      338
1671.88/1672.36	c 1672s |      19 |  6568223 |   622882 |    30127     74 |      397 |      338
1673.98/1674.41	c 1674s |      19 |  6576536 |   623782 |    30127     75 |      397 |      338
1676.18/1676.66	c 1676s |      19 |  6590240 |   624782 |    30127     75 |      397 |      338
1678.48/1678.93	c 1678s |      19 |  6591412 |   625282 |    30127     75 |      397 |      338
1680.58/1681.06	c 1680s |      19 |  6614744 |   626582 |    30127     77 |      397 |      338
1682.78/1683.22	c 1682s |      19 |  6628663 |   627782 |    30127     78 |      397 |      338
1684.88/1685.31	c 1685s |      19 |  6641305 |   628882 |    30127     79 |      397 |      338
1686.88/1687.33	c 1687s |      19 |  6650795 |   629782 |    30127     80 |      397 |      338
1689.08/1689.57	c 1689s |      19 |  6667887 |   630882 |    30127     81 |      397 |      338
1691.18/1691.68	c 1691s |      19 |  6681196 |   632082 |    30127     82 |      397 |      338
1693.38/1693.87	c 1693s |      19 |  6696801 |   633382 |    30127     84 |      397 |      338
1695.48/1695.99	c 1695s |      19 |  6718372 |   634682 |    30127     86 |      397 |      338
1697.58/1698.01	c 1697s |      19 |  6732805 |   635982 |    30127     87 |      397 |      338
1699.58/1700.03	c 1699s |      19 |  6747081 |   637182 |    30127     90 |      397 |      338
1701.98/1702.48	c 1702s |      19 |  6754340 |   638082 |    30127     90 |      397 |      338
1704.08/1704.52	c 1704s |      19 |  6762538 |   638882 |    30127     92 |      397 |      338
1706.18/1706.65	c 1706s |      19 |  6774978 |   640282 |    30127     93 |      397 |      338
1708.28/1708.78	c 1708s |      19 |  6786832 |   641382 |    30127     95 |      397 |      338
1710.78/1711.24	c 1710s |      19 |  6810533 |   642882 |    30127    111 |      397 |      338
1712.98/1713.40	c 1713s |      19 |  6816665 |   643082 |    30127    207 |      397 |      338
1715.07/1715.56	c 1715s |      19 |  6824135 |   644082 |    30127    207 |      397 |      338
1717.18/1717.64	c 1717s |      19 |  6825303 |   644582 |    30127    207 |      397 |      338
1719.57/1720.03	c 1719s |      19 |  6826874 |   645082 |    30127    207 |      397 |      338
1721.78/1722.25	c 1721s |      19 |  6828295 |   645482 |    30127    207 |      397 |      338
1724.18/1724.69	c 1724s |      19 |  6829560 |   645882 |    30127    207 |      397 |      338
1726.47/1726.96	c 1726s |      19 |  6831575 |   646382 |    30127    207 |      397 |      338
1728.78/1729.21	c 1728s |      19 |  6834019 |   647082 |    30127    208 |      397 |      338
1731.27/1731.71	c 1731s |      19 |  6835323 |   647582 |    30127    208 |      397 |      338
1733.47/1733.99	c 1733s |      19 |  6836312 |   647982 |    30127    208 |      397 |      338
1735.77/1736.26	c 1735s |      19 |  6837368 |   648382 |    30127    208 |      397 |      338
1738.27/1738.75	c 1738s |      19 |  6838419 |   648782 |    30127    208 |      397 |      338
1740.37/1740.81	c 1740s |      19 |  6839041 |   649082 |    30127    208 |      397 |      338
1743.18/1743.61	c 1743s |      19 |  6839912 |   649482 |    30127    208 |      397 |      338
1745.17/1745.65	c 1745s |      19 |  6841224 |   649782 |    30127    209 |      397 |      338
1747.37/1747.88	c 1747s |      19 |  6844371 |   650582 |    30127    209 |      397 |      338
1749.87/1750.33	c 1750s |      19 |  6845750 |   651082 |    30127    209 |      397 |      338
1751.97/1752.46	c 1752s |      19 |  6848367 |   651682 |    30127    209 |      397 |      338
1754.18/1754.68	c 1754s |      19 |  6849311 |   652082 |    30127    209 |      397 |      338
1756.28/1756.74	c 1756s |      19 |  6850381 |   652482 |    30127    209 |      397 |      338
1759.07/1759.59	c 1759s |      19 |  6851192 |   652882 |    30127    209 |      397 |      338
1761.37/1761.88	c 1761s |      19 |  6851822 |   653182 |    30127    210 |      397 |      338
1763.47/1763.90	c 1763s |      19 |  6853269 |   653682 |    30127    210 |      397 |      338
1765.47/1765.93	c 1765s |      19 |  6854635 |   654182 |    30127    210 |      397 |      338
1767.97/1768.48	c 1768s |      19 |  6855466 |   654582 |    30127    210 |      397 |      338
1770.37/1770.80	c 1770s |      19 |  6856247 |   654982 |    30127    210 |      397 |      338
1772.87/1773.39	c 1773s |      19 |  6857273 |   655382 |    30127    210 |      397 |      338
1775.16/1775.60	c 1775s |      19 |  6859341 |   655782 |    30127    210 |      397 |      338
1777.27/1777.79	c 1777s |      19 |  6863561 |   656082 |    30127    287 |      397 |      338
1786.67/1787.18	c 1786s |      19 |  6879676 |   657082 |    30127    698 |      397 |      338

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

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.20 2.18 3/179 10088
/proc/meminfo: memFree=29354132/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 2620 0 0 0 0 0 0 0 20 0 4 0 110256174 719777792 2471 33554432000 4194304 16246674 140733927994416 140733927977416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10088/statm: 176239 2479 441 2943 0 173133 0
[pid=10088/tid=10089] ppid=10085 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 736555008 2537 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 741797888 2553 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256174 745992192 2571 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.25 2.20 2.18 3/179 10088
/proc/meminfo: memFree=29354132/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 23741 0 0 0 5 3 0 0 20 0 4 0 110256174 1332285440 23530 33554432000 4194304 16246674 140733927994416 140733927993632 8056990 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 325265 23545 800 2943 0 322159 0
[pid=10088/tid=10089] ppid=10085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1332285440 23556 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1332285440 23567 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1332285440 23579 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200568 s]
/proc/loadavg: 2.25 2.20 2.18 3/179 10088
/proc/meminfo: memFree=29354132/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 42314 0 0 0 13 6 0 0 20 0 4 0 110256174 1333334016 42102 33554432000 4194304 16246674 140733927994416 140733927993632 5900744 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 325521 42102 832 2943 0 322415 0
[pid=10088/tid=10089] ppid=10085 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1333334016 42102 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1333334016 42102 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1333334016 42102 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300488 s]
/proc/loadavg: 2.25 2.20 2.18 3/179 10088
/proc/meminfo: memFree=29354132/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 62952 0 0 0 20 9 0 0 20 0 4 0 110256174 1333334016 62741 33554432000 4194304 16246674 140733927994416 140733927993632 5546500 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 325521 62752 873 2943 0 322415 0
[pid=10088/tid=10089] ppid=10085 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1333334016 62760 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1333334016 62769 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1333334016 62778 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700409 s]
/proc/loadavg: 2.25 2.20 2.18 3/179 10088
/proc/meminfo: memFree=29354132/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1311300 CPUtime=0.69 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 99170 0 0 0 55 14 0 0 20 0 4 0 110256174 1342771200 98958 33554432000 4194304 16246674 140733927994416 140733927993632 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 327825 98964 881 2943 0 324719 0
[pid=10088/tid=10089] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 98969 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 98973 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 98977 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300

[startup+1.50041 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 10092
/proc/meminfo: memFree=28840832/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1311300 CPUtime=1.48 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 139947 0 0 0 129 19 0 0 20 0 4 0 110256174 1342771200 139735 33554432000 4194304 16246674 140733927994416 140733927976320 6844325 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 327825 139744 882 2943 0 324719 0
[pid=10088/tid=10089] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 139751 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 139758 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 139765 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1311300

[startup+3.10043 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 10092
/proc/meminfo: memFree=28314832/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1311300 CPUtime=3.09 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 269010 0 0 0 274 35 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 140733927977416 12483362 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 327825 268798 884 2943 0 324719 0
[pid=10088/tid=10089] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.30041 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 10092
/proc/meminfo: memFree=28279748/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1311300 CPUtime=6.29 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 269010 0 0 0 594 35 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 140733927977416 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 327825 268798 884 2943 0 324719 0
[pid=10088/tid=10089] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 10092
/proc/meminfo: memFree=28279984/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 269010 0 0 0 1234 35 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 140733927976320 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 327825 268798 884 2943 0 324719 0
[pid=10088/tid=10089] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 10093
/proc/meminfo: memFree=28280488/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1311300 CPUtime=25.48 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 269010 0 0 0 2513 35 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 140733927976320 5829844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 327825 268798 884 2943 0 324719 0
[pid=10088/tid=10089] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268798 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.29 2.22 2.19 3/183 10093
/proc/meminfo: memFree=28280620/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1311300 CPUtime=51.08 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 269011 0 0 0 5073 35 0 0 20 0 4 0 110256174 1342771200 268799 33554432000 4194304 16246674 140733927994416 140733927976320 12875492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 327825 268799 885 2943 0 324719 0
[pid=10088/tid=10089] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268799 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268799 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268799 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.17 2.20 2.18 4/183 10094
/proc/meminfo: memFree=28278560/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1311300 CPUtime=102.27 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 269011 0 0 0 10192 35 0 0 20 0 4 0 110256174 1342771200 268799 33554432000 4194304 16246674 140733927994416 140733927977408 12483481 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 327825 268799 885 2943 0 324719 0
[pid=10088/tid=10089] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268799 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268799 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1342771200 268799 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1311300


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

/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.32 2.31 2.22 3/183 10174
/proc/meminfo: memFree=28263476/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1318468 CPUtime=1361.94 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 270866 0 0 0 136125 69 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 140733927976320 5545894 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 329617 270616 885 2943 0 326511 0
[pid=10088/tid=10089] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.32 2.31 2.23 4/184 10178
/proc/meminfo: memFree=28262780/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1318468 CPUtime=1421.93 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 270894 0 0 0 142120 73 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 140733927993592 6842957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 329617 270616 885 2943 0 326511 0
[pid=10088/tid=10089] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.30 2.30 2.22 3/183 10179
/proc/meminfo: memFree=28262332/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1318468 CPUtime=1481.91 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 270894 0 0 0 148113 78 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 140733927976320 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 329617 270616 885 2943 0 326511 0
[pid=10088/tid=10089] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.25 2.28 2.22 3/182 10180
/proc/meminfo: memFree=28261616/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1318468 CPUtime=1541.91 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 270894 0 0 0 154110 81 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 140733927976320 12477760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 329617 270616 885 2943 0 326511 0
[pid=10088/tid=10089] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.31 2.29 2.23 3/182 10182
/proc/meminfo: memFree=28263536/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1318468 CPUtime=1601.89 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 270894 0 0 0 160104 85 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 140733927993592 12483366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 329617 270616 885 2943 0 326511 0
[pid=10088/tid=10089] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.20 2.27 2.22 3/183 10184
/proc/meminfo: memFree=28262680/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1318468 CPUtime=1661.89 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 270894 0 0 0 166098 91 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 140733927993592 13963975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 329617 270616 885 2943 0 326511 0
[pid=10088/tid=10089] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270616 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.16 2.24 2.21 3/183 10185
/proc/meminfo: memFree=28262232/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1318468 CPUtime=1721.88 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 270895 0 0 0 172093 95 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 140733927993592 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 329617 270617 886 2943 0 326511 0
[pid=10088/tid=10089] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.25 2.26 2.22 3/183 10186
/proc/meminfo: memFree=28262372/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1318468 CPUtime=1781.87 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 270895 0 0 0 178086 101 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 140733927992256 4220490 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 329617 270617 886 2943 0 326511 0
[pid=10088/tid=10089] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.24 2.21 3/183 10186
/proc/meminfo: memFree=28262524/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1318468 CPUtime=1800.06 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 270895 0 0 0 179904 102 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 140733927992192 4220520 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 329617 270617 886 2943 0 326511 0
[pid=10088/tid=10089] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1318468

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

[startup+1800.5 s]
/proc/loadavg: 2.18 2.24 2.21 3/183 10186
/proc/meminfo: memFree=28262524/32872528 swapFree=16252/1391864
[pid=10088] ppid=10085 vsize=1318468 CPUtime=1800.06 cores=0,2,4,6
/proc/10088/stat : 10088 (toysat) R 10085 10088 5783 0 -1 4202496 270895 0 0 0 179904 102 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 140733927992192 4220520 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10088/statm: 329617 270617 886 2943 0 326511 0
[pid=10088/tid=10089] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10089/stat : 10089 (toysat) S 10085 10088 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 139991490473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10088/tid=10090] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10090/stat : 10090 (toysat) S 10085 10088 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 139991479983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10088/tid=10091] ppid=10085 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10088/task/10091/stat : 10091 (toysat) S 10085 10088 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110256174 1350111232 270617 33554432000 4194304 16246674 140733927994416 139991469509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1318468

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.05
CPU system time (s): 1.02484
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.02484
maximum resident set size= 1082468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270895
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= 340
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.907 second user time and 16.0666 second system time

The end

Begin job on node119 at 2016-06-07 09:07:10
IDJOB=4078928
IDBENCH=90127
IDSOLVER=2542
FILE ID=node119/4078928-1465283230
RUNJOBID= node119-1465252213-5799
PBS_JOBID= 19843259
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= f523e4bc7acd98550e38ca37c8d9200b
RANDOM SEED=210914653

node119.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.410
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.82
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.410
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.410
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.410
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.410
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.410
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.410
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.56
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.410
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:        29354404 kB
Buffers:          129768 kB
Cached:           182284 kB
SwapCached:          576 kB
Active:          1211116 kB
Inactive:         179356 kB
Active(anon):    1076596 kB
Inactive(anon):     4188 kB
Active(file):     134520 kB
Inactive(file):   175168 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100180 kB
Dirty:             16912 kB
Writeback:            68 kB
AnonPages:       2469964 kB
Mapped:            10660 kB
Shmem:                 0 kB
Slab:             600812 kB
SReclaimable:      44680 kB
SUnreclaim:       556132 kB
KernelStack:        1456 kB
PageTables:         8852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2613204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1380352 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 node119 at 2016-06-07 09:37:11