Trace number 4078911

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K175.opb
MD5SUMc7b1775204389f0c59bc1b934de7e2c1
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20825
Total number of constraints21177
Number of constraints which are clauses21002
Number of constraints which are cardinality constraints (but not clauses)175
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint175
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 176
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T09:52:44+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-4078911-1465285964.opb"]
0.00/0.01	c use --random-gen="3811870722 1514740466 3555371408 699136322 3389418661 676631813 2136096569 3326571925 1952136628 2289556280 3918438797 2029951388 2714716977 2538646152 3247220123 4122040255 926734241 1719147092 284322981 4087663723 1884585130 253185985 1071349323 1054537592 2905241442 1061777354 1871128529 2074997635 910634646 3001952150 3345281826 1085966579 2237574324 696948437 1030473859 450944051 3540891475 595589783 1883376826 703547674 1701089488 3664048797 239108846 2000136939 1803678037 845915749 3788733123 3654003542 133178269 2247926357 2894135619 3037307801 3619800999 2542846766 2293516412 4237864098 3602427147 2582315481 3012724559 2423433383 2712678414 4155551366 3434684280 1456048933 3745863005 2314043226 3738076167 1747370357 294780590 1722187506 2972593890 316687498 2909445326 1488423935 4293544784 99205399 1046374276 1981299419 2339717769 1312085068 3163824294 2475457706 2099418420 2232265700 2489948273 3004639364 3485197351 2245387941 2726579074 3597332504 1645263711 15476420 935719241 249065529 3543019520 150483610 3347337131 3782647672 3515765870 2737263483 2277079863 850233402 3968725382 1135515571 3819641105 2543652856 591450993 397413814 60234404 1404089973 1949158665 1465247983 1812332340 776698176 2449380826 3708841338 2536277149 3367311911 961709729 900825603 1820181454 2796850628 3135485554 2917380953 3728126165 3952557510 1925608318 3869068345 4059204119 3331376876 3064187009 2538795838 769248842 1780592553 3073742378 1255184955 2946530016 536261577 2983830318 130829800 2966912514 2582591356 3466055701 2123853631 1695888279 3972726353 2955560252 2869345150 3470707629 2428607680 1805072906 921721048 2693317117 3018586680 71699909 1592609959 264481130 3584531827 1088264439 274819351 3190099177 671933650 4265122424 4227260763 3648794044 3657530172 2237575621 3529963850 1784484229 1770849100 2902636623 1193893237 4192116827 2541430939 3766242836 2760905284 3172242167 3752936722 2588179839 2125207450 1302629112 380508357 1147372518 3735197341 4021059563 4256582208 2242591824 4175138348 1236980192 483888029 836019461 1351824492 2998527873 3348977790 2016668501 2013757021 2708571014 4154694802 3943349761 2454793870 1988407934 3377559954 3431751357 1528694607 3387077481 914139517 4173922841 634851158 1527583826 1067375376 3683169205 2565981318 820297503 4200085434 3104532935 3708855342 2034968258 518958832 1437296788 2938159604 107683739 3015743962 2043355153 1689218768 3880645758 240437390 1127968261 160740539 3891556579 1166149618 1415828859 1057656459 3839651599 500197273 2444391511 2452019092 865564117 1230753497 3905558113 179981452 3916693637 2131244991 2994531410 3557362946 4096448373 1914487010 2968762659 3112813027 996772240 1489111556 2219798203 3549749568 276212545 2114571086 3776432516 891221487 255 362436" option to reproduce the execution
0.19/0.29	c #vars 20825
0.19/0.29	c #constraints 21177
0.69/0.75	c Solving starts ...
0.69/0.75	c ============================[ Search Statistics ]============================
0.69/0.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.75	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.75	c =============================================================================
0.69/0.75	c  0.0s |       0 |        0 |        0 |    14000      0 |      742 |        0
1.09/1.13	c  0.4s |       1 |     4463 |      100 |    14000      0 |      742 |      633
1.99/2.00	c  1.3s |       2 |    14068 |      250 |    15401      0 |      743 |      634
2.59/2.62	c  1.9s |       3 |    24064 |      475 |    16942      0 |      743 |      634
3.79/3.83	c  3.1s |       4 |    45344 |      813 |    18637      0 |      744 |      635
5.50/5.57	c  4.8s |       5 |    74231 |     1320 |    20501      0 |      745 |      636
7.80/7.85	c  7.1s |       5 |   116173 |     1920 |    22552      0 |      748 |      639
8.29/8.36	c  7.6s |       6 |   125916 |     2081 |    24808      0 |      748 |      639
10.69/10.77	c 10.0s |       6 |   170542 |     2781 |    24808      0 |      749 |      640
12.10/12.20	c 11.5s |       7 |   193910 |     3223 |    27289      0 |      750 |      641
14.59/14.60	c 13.9s |       7 |   230217 |     3923 |    27289      0 |      750 |      641
16.60/16.69	c 15.9s |       7 |   263768 |     4623 |    27289      0 |      750 |      641
17.60/17.66	c 16.9s |       8 |   278381 |     4936 |    30018      0 |      750 |      641
19.90/19.99	c 19.2s |       8 |   316633 |     5536 |    30018      0 |      750 |      641
22.29/22.35	c 21.6s |       8 |   346888 |     6236 |    30018      0 |      751 |      642
24.49/24.51	c 23.8s |       8 |   378084 |     6836 |    30018      0 |      754 |      645
26.50/26.58	c 25.8s |       8 |   410157 |     7436 |    30018      0 |      754 |      645
26.99/27.03	c 26.3s |       9 |   420010 |     7506 |    33020      0 |      754 |      645
29.09/29.10	c 28.4s |       9 |   442290 |     8106 |    33020      0 |      754 |      645
31.49/31.54	c 30.8s |       9 |   471474 |     8806 |    33020      0 |      755 |      646
33.79/33.83	c 33.1s |       9 |   503969 |     9506 |    33020      0 |      755 |      646
35.99/36.00	c 35.3s |       9 |   541089 |    10106 |    33020      0 |      755 |      646
38.29/38.32	c 37.6s |       9 |   577504 |    10706 |    33020      0 |      755 |      646
40.49/40.50	c 39.8s |       9 |   612362 |    11306 |    36322      0 |      756 |      647
40.59/40.68	c 39.9s |      10 |   612916 |    11361 |    36322      0 |      756 |      647
42.99/43.01	c 42.3s |      10 |   638912 |    11961 |    36322      0 |      756 |      647
45.19/45.24	c 44.5s |      10 |   666959 |    12561 |    36322      0 |      756 |      647
47.18/47.26	c 46.5s |      10 |   683358 |    12961 |    36322      0 |      756 |      647
49.38/49.40	c 48.7s |      10 |   713393 |    13561 |    36322      0 |      756 |      647
51.58/51.69	c 50.9s |      10 |   742550 |    14161 |    36322      0 |      756 |      647
53.78/53.81	c 53.1s |      10 |   765113 |    14761 |    36322      0 |      756 |      647
55.98/56.00	c 55.3s |      10 |   783583 |    15361 |    36322      0 |      756 |      647
58.08/58.18	c 57.4s |      10 |   794467 |    15861 |    36322      0 |      756 |      647
60.28/60.35	c 59.6s |      10 |   816633 |    16361 |    36322      0 |      757 |      648
62.28/62.39	c 61.6s |      10 |   835943 |    16961 |    36322      0 |      757 |      648
62.88/62.92	c 62.2s |      11 |   842236 |    17144 |    39955      0 |      757 |      648
65.38/65.44	c 64.7s |      11 |   870330 |    17744 |    39955      0 |      757 |      648
67.48/67.55	c 66.8s |      11 |   890774 |    18344 |    39955      0 |      758 |      649
69.68/69.75	c 69.0s |      11 |   902723 |    18944 |    39955      0 |      759 |      650
71.68/71.79	c 71.0s |      11 |   929125 |    19444 |    39955      0 |      759 |      650
73.88/73.95	c 73.2s |      11 |   946062 |    20044 |    39955      0 |      759 |      650
75.98/76.07	c 75.3s |      11 |   974776 |    20644 |    39955      0 |      759 |      650
78.27/78.34	c 77.6s |      11 |  1008824 |    21244 |    39955      0 |      759 |      650
80.67/80.75	c 80.0s |      11 |  1027843 |    22044 |    39955      0 |      759 |      650
82.77/82.87	c 82.1s |      11 |  1053984 |    22744 |    39955      0 |      759 |      650
84.97/85.06	c 84.3s |      11 |  1076370 |    23244 |    39955      0 |      760 |      651
87.37/87.49	c 86.7s |      11 |  1100247 |    23844 |    39955      0 |      760 |      651
89.47/89.55	c 88.8s |      11 |  1121961 |    24344 |    39955      0 |      760 |      651
91.67/91.75	c 91.0s |      11 |  1141691 |    24944 |    39955      0 |      760 |      651
93.77/93.84	c 93.1s |      11 |  1167805 |    25444 |    39955      0 |      760 |      651
94.87/94.93	c 94.2s |      12 |  1175683 |    25819 |    43951      0 |      760 |      651
96.97/97.09	c 96.3s |      12 |  1197258 |    26319 |    43951      0 |      760 |      651
99.36/99.48	c 98.7s |      12 |  1219718 |    26819 |    43951      0 |      760 |      651
101.86/101.92	c  101s |      12 |  1241981 |    27419 |    43951      0 |      760 |      651
103.86/103.95	c  103s |      12 |  1265702 |    27819 |    43951      0 |      760 |      651
106.06/106.17	c  105s |      12 |  1297059 |    28319 |    43951      0 |      760 |      651
108.66/108.70	c  107s |      12 |  1328580 |    28819 |    43951      0 |      760 |      651
111.07/111.16	c  110s |      12 |  1355121 |    29319 |    43951      0 |      760 |      651
113.37/113.42	c  112s |      12 |  1368623 |    30019 |    43951      0 |      760 |      651
115.57/115.61	c  114s |      12 |  1386158 |    30519 |    43951      0 |      761 |      652
117.96/118.06	c  117s |      12 |  1415762 |    30919 |    43951      0 |      762 |      653
120.46/120.51	c  119s |      12 |  1439791 |    31419 |    43951      0 |      763 |      654
122.56/122.62	c  121s |      12 |  1457262 |    31919 |    43951      0 |      764 |      655
124.76/124.82	c  124s |      12 |  1483287 |    32419 |    43951      0 |      764 |      655
126.86/126.97	c  126s |      12 |  1502934 |    33019 |    43951      0 |      764 |      655
129.16/129.20	c  128s |      12 |  1527848 |    33519 |    43951      0 |      764 |      655
131.16/131.29	c  130s |      12 |  1541004 |    34019 |    43951      0 |      764 |      655
134.06/134.16	c  133s |      12 |  1563836 |    34519 |    43951      0 |      764 |      655
136.56/136.67	c  135s |      12 |  1591615 |    35019 |    43951      0 |      764 |      655
138.56/138.70	c  137s |      12 |  1598015 |    35319 |    43951      0 |      764 |      655
140.86/140.91	c  140s |      12 |  1616057 |    35819 |    43951      0 |      764 |      655
142.85/142.98	c  142s |      12 |  1632404 |    36419 |    43951      0 |      764 |      655
144.95/145.02	c  144s |      12 |  1654250 |    36819 |    43951      0 |      764 |      655
146.95/147.04	c  146s |      12 |  1672439 |    37319 |    43951      0 |      764 |      655
149.35/149.40	c  148s |      12 |  1689676 |    38019 |    43951      0 |      764 |      655
151.65/151.75	c  151s |      12 |  1710617 |    38619 |    48347      0 |      764 |      655
152.35/152.48	c  151s |      13 |  1712928 |    38832 |    48347      0 |      764 |      655
154.85/154.96	c  154s |      13 |  1736952 |    39232 |    48347      0 |      764 |      655
157.15/157.23	c  156s |      13 |  1754891 |    39832 |    48347      0 |      764 |      655
159.46/159.58	c  158s |      13 |  1761051 |    40332 |    48347      0 |      764 |      655
161.55/161.68	c  160s |      13 |  1779313 |    40732 |    48347      0 |      764 |      655
163.96/164.08	c  163s |      13 |  1798569 |    41232 |    48347      0 |      764 |      655
166.05/166.12	c  165s |      13 |  1816132 |    41732 |    48347      0 |      764 |      655
168.44/168.56	c  167s |      13 |  1842753 |    42232 |    48347      0 |      764 |      655
170.45/170.60	c  169s |      13 |  1859019 |    42732 |    48347      0 |      764 |      655
172.84/172.93	c  172s |      13 |  1879506 |    43432 |    48347      0 |      764 |      655
174.95/175.08	c  174s |      13 |  1899147 |    43932 |    48347      0 |      764 |      655
177.05/177.12	c  176s |      13 |  1903882 |    44332 |    48347      0 |      764 |      655
179.35/179.41	c  178s |      13 |  1919005 |    44932 |    48347      0 |      764 |      655
181.74/181.84	c  181s |      13 |  1942679 |    45432 |    48347      0 |      764 |      655
183.84/183.99	c  183s |      13 |  1965745 |    45932 |    48347      0 |      764 |      655
186.04/186.16	c  185s |      13 |  1989391 |    46432 |    48347      0 |      764 |      655
188.34/188.48	c  187s |      13 |  2015907 |    46932 |    48347      0 |      764 |      655
190.64/190.77	c  190s |      13 |  2034322 |    47432 |    48347      0 |      764 |      655
192.94/193.05	c  192s |      13 |  2057495 |    47932 |    48347      0 |      764 |      655
195.04/195.16	c  194s |      13 |  2073717 |    48432 |    48347      0 |      764 |      655
197.34/197.44	c  196s |      13 |  2097083 |    48832 |    48347      0 |      764 |      655
199.74/199.83	c  199s |      13 |  2115320 |    49332 |    48347      0 |      764 |      655
201.74/201.88	c  201s |      13 |  2128025 |    49932 |    48347      0 |      764 |      655
204.14/204.28	c  203s |      13 |  2141423 |    50532 |    48347      0 |      764 |      655
206.33/206.46	c  205s |      13 |  2145333 |    51032 |    48347      0 |      764 |      655
208.73/208.80	c  208s |      13 |  2160428 |    51632 |    48347      0 |      764 |      655
210.83/210.99	c  210s |      13 |  2165905 |    51932 |    48347      1 |      764 |      655
213.44/213.53	c  212s |      13 |  2168111 |    52332 |    48347      1 |      764 |      655
215.93/216.04	c  215s |      13 |  2169875 |    52732 |    48347      1 |      764 |      655
218.13/218.20	c  217s |      13 |  2171077 |    53032 |    48347      1 |      764 |      655
220.23/220.32	c  219s |      13 |  2172227 |    53332 |    48347      1 |      764 |      655
222.72/222.82	c  222s |      13 |  2173239 |    53632 |    48347      1 |      764 |      655
225.23/225.38	c  224s |      13 |  2175114 |    53932 |    48347      1 |      764 |      655
227.53/227.65	c  226s |      13 |  2175818 |    54132 |    48347      1 |      764 |      655
230.32/230.46	c  229s |      13 |  2176387 |    54332 |    48347      1 |      764 |      655
232.42/232.56	c  231s |      13 |  2178852 |    54632 |    48347      1 |      764 |      655
234.42/234.60	c  233s |      13 |  2191939 |    55032 |    48347      1 |      765 |      656
237.32/237.43	c  236s |      13 |  2218391 |    55432 |    48347      1 |      766 |      657
239.62/239.75	c  239s |      13 |  2239817 |    56032 |    48347      1 |      766 |      657
241.72/241.87	c  241s |      13 |  2264222 |    56432 |    48347      1 |      766 |      657
243.82/243.94	c  243s |      13 |  2283655 |    56932 |    48347      1 |      766 |      657
246.12/246.28	c  245s |      13 |  2309058 |    57632 |    48347      1 |      766 |      657
248.53/248.65	c  247s |      13 |  2327914 |    58232 |    53182      1 |      766 |      657
248.82/248.95	c  248s |      14 |  2330821 |    58352 |    53182      1 |      766 |      657
251.12/251.24	c  250s |      14 |  2349044 |    58752 |    53182      1 |      766 |      657
253.32/253.49	c  252s |      14 |  2373338 |    59352 |    53182      1 |      766 |      657
255.51/255.64	c  254s |      14 |  2391277 |    59952 |    53182      1 |      766 |      657
257.51/257.69	c  256s |      14 |  2404622 |    60552 |    53182      1 |      766 |      657
260.01/260.14	c  259s |      14 |  2431048 |    61052 |    53182      1 |      766 |      657
262.21/262.31	c  261s |      14 |  2450045 |    61652 |    53182      1 |      766 |      657
264.41/264.58	c  263s |      14 |  2470763 |    62252 |    53182      1 |      766 |      657
266.71/266.84	c  266s |      14 |  2478848 |    62752 |    53182      1 |      766 |      657
269.01/269.13	c  268s |      14 |  2494235 |    63252 |    53182      1 |      766 |      657
271.11/271.22	c  270s |      14 |  2515782 |    63752 |    53182      1 |      766 |      657
273.51/273.64	c  272s |      14 |  2543502 |    64352 |    53182      1 |      766 |      657
275.81/275.91	c  275s |      14 |  2562885 |    64952 |    53182      1 |      766 |      657
278.01/278.16	c  277s |      14 |  2585268 |    65452 |    53182      1 |      766 |      657
280.31/280.47	c  279s |      14 |  2611576 |    65952 |    53182      1 |      766 |      657
282.51/282.68	c  281s |      14 |  2624774 |    66452 |    53182      1 |      766 |      657
284.82/284.94	c  284s |      14 |  2647252 |    66952 |    53182      1 |      766 |      657
287.02/287.13	c  286s |      14 |  2661125 |    67652 |    53182      1 |      766 |      657
289.11/289.20	c  288s |      14 |  2680770 |    68152 |    53182      1 |      766 |      657
291.21/291.37	c  290s |      14 |  2695967 |    68752 |    53182      1 |      766 |      657
293.21/293.38	c  292s |      14 |  2703976 |    69252 |    53182      1 |      766 |      657
295.61/295.72	c  294s |      14 |  2718283 |    69852 |    53182      1 |      766 |      657
298.11/298.23	c  297s |      14 |  2726495 |    70452 |    53182      1 |      766 |      657
300.21/300.31	c  299s |      14 |  2744232 |    70952 |    53182      1 |      766 |      657
302.51/302.70	c  301s |      14 |  2767332 |    71352 |    53182      1 |      766 |      657
304.61/304.77	c  304s |      14 |  2785769 |    71752 |    53182      1 |      766 |      657
307.10/307.29	c  306s |      14 |  2812575 |    72352 |    53182      1 |      766 |      657
309.30/309.48	c  308s |      14 |  2824218 |    73052 |    53182      1 |      766 |      657
311.70/311.89	c  311s |      14 |  2849292 |    73552 |    53182      1 |      766 |      657
314.00/314.11	c  313s |      14 |  2867318 |    74052 |    53182      1 |      766 |      657
316.09/316.25	c  315s |      14 |  2873130 |    74552 |    53182      1 |      766 |      657
318.39/318.50	c  317s |      14 |  2874243 |    74852 |    53182      1 |      766 |      657
320.49/320.61	c  319s |      14 |  2875501 |    75152 |    53182      1 |      766 |      657
322.69/322.81	c  322s |      14 |  2876929 |    75552 |    53182      1 |      766 |      657
325.28/325.44	c  324s |      14 |  2878345 |    75852 |    53182      1 |      766 |      657
327.99/328.10	c  327s |      14 |  2879375 |    76152 |    53182      1 |      766 |      657
330.00/330.18	c  329s |      14 |  2880270 |    76352 |    53182      1 |      766 |      657
332.59/332.74	c  331s |      14 |  2881719 |    76652 |    53182      1 |      766 |      657
334.69/334.85	c  334s |      14 |  2882572 |    76852 |    53182      1 |      766 |      657
336.99/337.15	c  336s |      14 |  2884309 |    77152 |    53182      1 |      766 |      657
339.79/339.97	c  339s |      14 |  2885766 |    77452 |    53182      1 |      766 |      657
342.09/342.21	c  341s |      14 |  2887295 |    77652 |    53182      1 |      766 |      657
344.98/345.15	c  344s |      14 |  2887998 |    77852 |    53182      1 |      766 |      657
347.88/348.02	c  347s |      14 |  2888709 |    78052 |    53182      1 |      766 |      657
350.29/350.48	c  349s |      14 |  2889738 |    78252 |    53182      1 |      766 |      657
353.09/353.25	c  352s |      14 |  2891061 |    78552 |    53182      1 |      766 |      657
355.68/355.89	c  355s |      14 |  2891666 |    78752 |    53182      1 |      766 |      657
358.38/358.58	c  357s |      14 |  2892593 |    78952 |    53182      1 |      766 |      657
360.58/360.76	c  360s |      14 |  2893651 |    79252 |    53182      1 |      766 |      657
363.38/363.54	c  362s |      14 |  2894754 |    79552 |    53182      1 |      766 |      657
366.18/366.33	c  365s |      14 |  2895385 |    79752 |    53182      1 |      766 |      657
368.28/368.46	c  367s |      14 |  2896981 |    79952 |    53182      1 |      766 |      657
371.27/371.40	c  370s |      14 |  2897982 |    80252 |    53182      1 |      766 |      657
373.28/373.44	c  372s |      14 |  2898738 |    80452 |    53182      1 |      766 |      657
375.78/375.95	c  375s |      14 |  2899411 |    80652 |    53182      1 |      766 |      657
379.49/379.63	c  378s |      14 |  2900799 |    80952 |    53182      1 |      766 |      657
382.08/382.23	c  381s |      14 |  2901333 |    81152 |    53182      1 |      766 |      657
385.37/385.59	c  384s |      14 |  2901765 |    81352 |    53182      1 |      766 |      657
389.38/389.51	c  388s |      14 |  2902382 |    81552 |    53182      1 |      766 |      657
392.27/392.47	c  391s |      14 |  2902843 |    81752 |    53182      1 |      766 |      657
395.76/395.95	c  395s |      14 |  2903379 |    81952 |    53182      1 |      766 |      657
398.08/398.21	c  397s |      14 |  2903855 |    82152 |    53182      1 |      766 |      657
400.28/400.50	c  399s |      14 |  2913175 |    82452 |    53182      1 |      766 |      657
402.57/402.78	c  402s |      14 |  2931901 |    83052 |    53182      1 |      766 |      657
404.77/404.95	c  404s |      14 |  2947113 |    83552 |    53182      1 |      766 |      657
406.76/406.99	c  406s |      14 |  2958234 |    84052 |    53182      1 |      766 |      657
408.96/409.16	c  408s |      14 |  2969423 |    84552 |    53182      1 |      766 |      657
411.46/411.62	c  410s |      14 |  2970254 |    84852 |    53182      1 |      766 |      657
413.57/413.74	c  412s |      14 |  2982500 |    85352 |    53182      1 |      766 |      657
416.25/416.43	c  415s |      14 |  2992323 |    85652 |    53182      2 |      766 |      657
418.65/418.85	c  418s |      14 |  3008972 |    86452 |    53182      2 |      766 |      657
420.75/420.99	c  420s |      14 |  3019867 |    86952 |    53182      2 |      766 |      657
423.15/423.30	c  422s |      14 |  3046578 |    87452 |    58501      2 |      766 |      657
423.65/423.89	c  423s |      15 |  3049515 |    87632 |    58501      2 |      766 |      657
425.85/426.07	c  425s |      15 |  3065093 |    87932 |    58501      2 |      766 |      657
428.25/428.43	c  427s |      15 |  3093299 |    88532 |    58501      2 |      766 |      657
430.55/430.79	c  430s |      15 |  3117725 |    89332 |    58501      2 |      766 |      657
432.65/432.82	c  432s |      15 |  3139996 |    89932 |    58501      2 |      766 |      657
434.84/435.07	c  434s |      15 |  3159780 |    90532 |    58501      2 |      766 |      657
437.14/437.35	c  436s |      15 |  3177452 |    91132 |    58501      2 |      766 |      657
439.14/439.37	c  438s |      15 |  3195427 |    91632 |    58501      2 |      766 |      657
441.44/441.61	c  440s |      15 |  3213319 |    92232 |    58501      2 |      766 |      657
443.54/443.73	c  442s |      15 |  3232499 |    92732 |    58501      2 |      766 |      657
446.03/446.22	c  445s |      15 |  3242145 |    93132 |    58501      2 |      766 |      657
448.03/448.28	c  447s |      15 |  3257731 |    93532 |    58501      2 |      766 |      657
450.33/450.59	c  449s |      15 |  3280981 |    94032 |    58501      2 |      766 |      657
452.53/452.71	c  451s |      15 |  3298693 |    94632 |    58501      2 |      766 |      657
454.93/455.10	c  454s |      15 |  3315597 |    95132 |    58501      2 |      766 |      657
457.03/457.23	c  456s |      15 |  3338816 |    95632 |    58501      2 |      766 |      657
459.23/459.42	c  458s |      15 |  3359339 |    96232 |    58501      2 |      766 |      657
461.43/461.68	c  460s |      15 |  3369565 |    96832 |    58501      2 |      766 |      657
463.53/463.72	c  462s |      15 |  3388683 |    97332 |    58501      2 |      766 |      657
465.83/466.08	c  465s |      15 |  3407101 |    97832 |    58501      2 |      766 |      657
467.93/468.11	c  467s |      15 |  3431754 |    98332 |    58501      2 |      766 |      657
470.23/470.40	c  469s |      15 |  3447926 |    98832 |    58501      2 |      766 |      657
472.43/472.66	c  471s |      15 |  3471203 |    99332 |    58501      2 |      766 |      657
474.73/474.92	c  474s |      15 |  3500293 |    99832 |    58501      2 |      766 |      657
477.23/477.48	c  476s |      15 |  3531415 |   100432 |    58501      2 |      766 |      657
479.43/479.70	c  478s |      15 |  3557295 |   101032 |    58501      2 |      766 |      657
481.92/482.15	c  481s |      15 |  3579428 |   101732 |    58501      2 |      766 |      657
484.12/484.34	c  483s |      15 |  3593747 |   102332 |    58501      2 |      766 |      657
486.52/486.70	c  485s |      15 |  3623553 |   102832 |    58501      2 |      766 |      657
488.82/489.01	c  488s |      15 |  3636178 |   103132 |    58501      2 |      767 |      658
491.02/491.23	c  490s |      15 |  3657701 |   103632 |    58501      2 |      767 |      658
493.32/493.56	c  492s |      15 |  3669046 |   103932 |    58501      2 |      768 |      659
495.41/495.64	c  494s |      15 |  3690746 |   104332 |    58501      2 |      768 |      659
497.71/497.93	c  497s |      15 |  3706376 |   104832 |    58501      2 |      768 |      659
499.81/500.09	c  499s |      15 |  3720716 |   105332 |    58501      2 |      768 |      659
502.31/502.55	c  501s |      15 |  3743324 |   105832 |    58501      2 |      768 |      659
504.51/504.70	c  503s |      15 |  3764112 |   106232 |    58501      2 |      768 |      659
506.50/506.71	c  505s |      15 |  3778506 |   106632 |    58501      2 |      768 |      659
508.60/508.85	c  508s |      15 |  3790380 |   107232 |    58501      2 |      768 |      659
511.41/511.62	c  510s |      15 |  3796187 |   107832 |    58501      2 |      768 |      659
513.80/514.03	c  513s |      15 |  3815606 |   108332 |    58501      2 |      768 |      659
515.90/516.10	c  515s |      15 |  3836656 |   108732 |    58501      2 |      768 |      659
518.10/518.34	c  517s |      15 |  3844341 |   109232 |    58501      2 |      768 |      659
520.40/520.68	c  519s |      15 |  3860270 |   109632 |    58501      2 |      768 |      659
522.80/523.00	c  522s |      15 |  3880953 |   110132 |    58501      2 |      768 |      659
525.19/525.42	c  524s |      15 |  3902400 |   110732 |    58501      2 |      768 |      659
527.19/527.45	c  526s |      15 |  3925971 |   111132 |    58501      2 |      768 |      659
529.59/529.81	c  529s |      15 |  3949088 |   111632 |    58501      2 |      768 |      659
531.79/532.02	c  531s |      15 |  3963579 |   112132 |    58501      2 |      768 |      659
534.09/534.39	c  533s |      15 |  3980947 |   112632 |    58501      2 |      768 |      659
536.28/536.53	c  535s |      15 |  3993596 |   113132 |    58501      2 |      768 |      659
538.38/538.62	c  537s |      15 |  4010740 |   113532 |    58501      2 |      768 |      659
540.48/540.79	c  540s |      15 |  4029181 |   113932 |    58501      2 |      768 |      659
542.88/543.11	c  542s |      15 |  4053666 |   114432 |    58501      2 |      768 |      659
545.17/545.48	c  544s |      15 |  4070265 |   115032 |    58501      2 |      768 |      659
547.47/547.80	c  547s |      15 |  4085121 |   115532 |    58501      2 |      768 |      659
549.97/550.26	c  549s |      15 |  4096780 |   116132 |    58501      2 |      768 |      659
552.27/552.51	c  551s |      15 |  4099232 |   116232 |    58501      3 |      768 |      659
554.57/554.84	c  554s |      15 |  4123606 |   116732 |    58501      3 |      768 |      659
556.96/557.21	c  556s |      15 |  4141592 |   117232 |    58501      3 |      768 |      659
559.06/559.34	c  558s |      15 |  4157975 |   117732 |    58501      3 |      768 |      659
561.16/561.44	c  560s |      15 |  4178063 |   118132 |    58501      3 |      769 |      660
563.36/563.69	c  562s |      15 |  4198920 |   118632 |    58501      3 |      769 |      660
565.57/565.86	c  565s |      15 |  4212683 |   119132 |    58501      3 |      769 |      660
567.87/568.13	c  567s |      15 |  4230957 |   119632 |    58501      3 |      769 |      660
569.87/570.15	c  569s |      15 |  4248467 |   120132 |    58501      3 |      769 |      660
571.87/572.17	c  571s |      15 |  4266189 |   120632 |    58501      3 |      769 |      660
574.07/574.35	c  573s |      15 |  4290580 |   121132 |    58501      3 |      769 |      660
576.36/576.65	c  575s |      15 |  4313053 |   121632 |    58501      3 |      769 |      660
578.66/578.92	c  578s |      15 |  4334829 |   122132 |    58501      3 |      769 |      660
580.86/581.14	c  580s |      15 |  4356223 |   122632 |    58501      3 |      769 |      660
583.06/583.37	c  582s |      15 |  4376805 |   123132 |    58501      3 |      769 |      660
585.86/586.12	c  585s |      15 |  4384995 |   123532 |    58501      3 |      769 |      660
588.56/588.84	c  588s |      15 |  4386395 |   123932 |    58501      3 |      769 |      660
590.66/590.90	c  590s |      15 |  4394079 |   124332 |    58501      3 |      769 |      660
592.95/593.26	c  592s |      15 |  4414530 |   124832 |    58501      3 |      769 |      660
595.35/595.66	c  594s |      15 |  4440381 |   125332 |    58501      3 |      769 |      660
597.55/597.87	c  597s |      15 |  4457016 |   125932 |    58501      3 |      769 |      660
599.95/600.21	c  599s |      15 |  4471479 |   126532 |    58501      3 |      769 |      660
601.95/602.22	c  601s |      15 |  4483896 |   126932 |    58501      3 |      769 |      660
604.35/604.65	c  603s |      15 |  4507036 |   127432 |    58501      3 |      769 |      660
606.74/607.08	c  606s |      15 |  4529807 |   127932 |    58501      3 |      769 |      660
609.04/609.31	c  608s |      15 |  4549246 |   128432 |    58501      3 |      769 |      660
611.45/611.74	c  610s |      15 |  4553997 |   128932 |    58501      3 |      769 |      660
613.55/613.81	c  613s |      15 |  4558577 |   129332 |    58501      3 |      769 |      660
615.54/615.87	c  615s |      15 |  4573271 |   129932 |    58501      3 |      769 |      660
618.34/618.68	c  617s |      15 |  4589245 |   130432 |    58501      3 |      770 |      661
620.54/620.88	c  620s |      15 |  4609631 |   130932 |    64352      3 |      770 |      661
622.74/623.04	c  622s |      15 |  4627414 |   131432 |    64352      3 |      770 |      661
623.24/623.52	c  622s |      16 |  4629130 |   131552 |    64352      3 |      770 |      661
625.43/625.79	c  625s |      16 |  4637178 |   132052 |    64352      3 |      770 |      661
628.13/628.48	c  627s |      16 |  4665924 |   132552 |    64352      3 |      770 |      661
630.33/630.62	c  629s |      16 |  4686870 |   133052 |    64352      3 |      770 |      661
632.63/632.92	c  632s |      16 |  4701692 |   133452 |    64352      3 |      770 |      661
634.83/635.16	c  634s |      16 |  4717690 |   134052 |    64352      3 |      770 |      661
637.03/637.36	c  636s |      16 |  4741595 |   134452 |    64352      3 |      770 |      661
639.33/639.68	c  638s |      16 |  4756316 |   134952 |    64352      3 |      770 |      661
641.63/641.95	c  641s |      16 |  4779008 |   135452 |    64352      3 |      770 |      661
643.93/644.22	c  643s |      16 |  4794164 |   136052 |    64352      3 |      770 |      661
646.12/646.45	c  645s |      16 |  4817017 |   136552 |    64352      3 |      770 |      661
648.22/648.55	c  647s |      16 |  4830493 |   137052 |    64352      3 |      770 |      661
650.42/650.73	c  649s |      16 |  4850563 |   137552 |    64352      3 |      770 |      661
652.72/653.09	c  652s |      16 |  4864122 |   138052 |    64352      3 |      770 |      661
654.92/655.26	c  654s |      16 |  4878688 |   138452 |    64352      3 |      770 |      661
657.12/657.47	c  656s |      16 |  4893368 |   138852 |    64352      3 |      770 |      661
659.61/659.92	c  659s |      16 |  4911229 |   139452 |    64352      3 |      770 |      661
661.71/662.03	c  661s |      16 |  4921252 |   139952 |    64352      3 |      770 |      661
664.22/664.58	c  663s |      16 |  4924992 |   140452 |    64352      3 |      770 |      661
666.31/666.65	c  665s |      16 |  4925596 |   140652 |    64352      3 |      770 |      661
668.51/668.90	c  668s |      16 |  4926174 |   140852 |    64352      3 |      770 |      661
670.71/671.08	c  670s |      16 |  4936834 |   141152 |    64352      3 |      770 |      661
673.10/673.49	c  672s |      16 |  4961401 |   141652 |    64352      3 |      770 |      661
675.40/675.76	c  675s |      16 |  4979622 |   142152 |    64352      3 |      770 |      661
677.80/678.16	c  677s |      16 |  5000394 |   142652 |    64352      3 |      770 |      661
679.90/680.21	c  679s |      16 |  5020598 |   143152 |    64352      3 |      770 |      661
681.90/682.24	c  681s |      16 |  5040493 |   143652 |    64352      3 |      770 |      661
684.01/684.39	c  683s |      16 |  5054903 |   144252 |    64352      3 |      770 |      661
686.20/686.56	c  685s |      16 |  5069637 |   144752 |    64352      3 |      770 |      661
688.30/688.61	c  687s |      16 |  5085401 |   145252 |    64352      3 |      770 |      661
690.80/691.16	c  690s |      16 |  5107130 |   145752 |    64352      3 |      770 |      661
693.31/693.61	c  692s |      16 |  5128624 |   146252 |    64352      3 |      770 |      661
695.50/695.81	c  695s |      16 |  5147703 |   146652 |    64352      3 |      770 |      661
697.50/697.83	c  697s |      16 |  5165334 |   147052 |    64352      3 |      770 |      661
699.50/699.85	c  699s |      16 |  5181325 |   147452 |    64352      3 |      770 |      661
701.90/702.24	c  701s |      16 |  5209218 |   147852 |    64352      3 |      770 |      661
704.00/704.39	c  703s |      16 |  5229565 |   148352 |    64352      3 |      770 |      661
706.40/706.77	c  706s |      16 |  5246796 |   148852 |    64352      3 |      770 |      661
708.70/709.04	c  708s |      16 |  5259497 |   149352 |    64352      3 |      770 |      661
710.90/711.25	c  710s |      16 |  5277586 |   149852 |    64352      3 |      770 |      661
713.00/713.31	c  712s |      16 |  5282637 |   150252 |    64352      3 |      770 |      661
715.10/715.42	c  714s |      16 |  5293064 |   150752 |    64352      3 |      770 |      661
717.10/717.45	c  716s |      16 |  5301511 |   150952 |    64352      3 |      771 |      662
719.50/719.87	c  719s |      16 |  5317633 |   151452 |    64352      3 |      771 |      662
722.10/722.43	c  721s |      16 |  5337493 |   151952 |    64352      3 |      771 |      662
724.40/724.71	c  723s |      16 |  5356298 |   152452 |    64352      3 |      771 |      662
726.40/726.74	c  725s |      16 |  5360126 |   152952 |    64352      3 |      771 |      662
728.60/728.91	c  728s |      16 |  5362407 |   153352 |    64352      3 |      771 |      662
730.80/731.10	c  730s |      16 |  5363393 |   153752 |    64352      3 |      771 |      662
733.00/733.32	c  732s |      16 |  5364416 |   154152 |    64352      3 |      771 |      662
735.10/735.40	c  734s |      16 |  5365649 |   154452 |    64352      3 |      771 |      662
737.09/737.44	c  736s |      16 |  5366123 |   154652 |    64352      3 |      771 |      662
739.19/739.54	c  738s |      16 |  5366522 |   154852 |    64352      3 |      771 |      662
742.20/742.54	c  741s |      16 |  5372144 |   155152 |    64352      4 |      771 |      662
744.19/744.55	c  743s |      16 |  5390377 |   155752 |    64352      4 |      771 |      662
746.29/746.64	c  745s |      16 |  5413320 |   156352 |    64352      4 |      771 |      662
748.49/748.89	c  748s |      16 |  5431529 |   156852 |    64352      4 |      771 |      662
750.79/751.13	c  750s |      16 |  5451104 |   157352 |    64352      4 |      771 |      662
752.99/753.36	c  752s |      16 |  5464735 |   157852 |    64352      4 |      771 |      662
755.29/755.70	c  754s |      16 |  5479487 |   158552 |    64352      4 |      771 |      662
757.69/758.09	c  757s |      16 |  5498184 |   159152 |    64352      4 |      771 |      662
759.89/760.29	c  759s |      16 |  5515325 |   159752 |    64352      4 |      771 |      662
762.19/762.51	c  761s |      16 |  5535910 |   160252 |    64352      4 |      771 |      662
764.19/764.58	c  763s |      16 |  5556890 |   160752 |    64352      4 |      771 |      662
766.88/767.24	c  766s |      16 |  5559410 |   161252 |    64352      4 |      771 |      662
769.09/769.47	c  768s |      16 |  5562505 |   161852 |    64352      4 |      771 |      662
771.49/771.84	c  771s |      16 |  5565224 |   162452 |    64352      4 |      771 |      662
773.49/773.87	c  773s |      16 |  5573177 |   163052 |    64352      4 |      771 |      662
775.69/776.04	c  775s |      16 |  5574873 |   163452 |    64352      4 |      771 |      662
777.69/778.06	c  777s |      16 |  5579542 |   163952 |    64352      4 |      771 |      662
779.99/780.37	c  779s |      16 |  5593393 |   164552 |    64352      4 |      771 |      662
782.90/783.24	c  782s |      16 |  5607983 |   165152 |    64352      4 |      772 |      663
784.99/785.32	c  784s |      16 |  5630575 |   165552 |    64352      4 |      772 |      663
787.09/787.40	c  786s |      16 |  5651353 |   166052 |    64352      4 |      772 |      663
789.69/790.01	c  789s |      16 |  5682206 |   166552 |    64352      4 |      772 |      663
791.69/792.10	c  791s |      16 |  5705602 |   166952 |    64352      4 |      772 |      663
793.79/794.19	c  793s |      16 |  5720088 |   167452 |    64352      4 |      772 |      663
796.29/796.66	c  795s |      16 |  5742698 |   167952 |    64352      4 |      772 |      663
798.29/798.68	c  797s |      16 |  5762735 |   168352 |    64352      4 |      772 |      663
800.69/801.01	c  800s |      16 |  5783520 |   168852 |    64352      4 |      772 |      663
802.79/803.18	c  802s |      16 |  5803212 |   169352 |    64352      4 |      772 |      663
805.08/805.47	c  804s |      16 |  5821981 |   169852 |    64352      4 |      772 |      663
807.68/808.01	c  807s |      16 |  5846377 |   170452 |    64352      4 |      772 |      663
810.39/810.72	c  809s |      16 |  5868969 |   170952 |    64352      4 |      772 |      663
812.78/813.13	c  812s |      16 |  5886688 |   171452 |    64352      4 |      772 |      663
815.08/815.46	c  814s |      16 |  5914585 |   171852 |    64352      4 |      772 |      663
817.28/817.69	c  816s |      16 |  5936509 |   172352 |    64352      4 |      772 |      663
819.68/820.08	c  819s |      16 |  5952337 |   172952 |    64352      4 |      772 |      663
821.88/822.29	c  821s |      16 |  5966175 |   173452 |    64352      4 |      772 |      663
824.28/824.60	c  823s |      16 |  5978154 |   173952 |    64352      4 |      772 |      663
826.48/826.84	c  826s |      16 |  6003578 |   174352 |    64352      4 |      772 |      663
828.78/829.19	c  828s |      16 |  6023876 |   174852 |    64352      4 |      772 |      663
831.29/831.66	c  830s |      16 |  6041567 |   175352 |    64352      4 |      772 |      663
833.28/833.66	c  832s |      16 |  6058727 |   175752 |    64352      4 |      772 |      663
835.38/835.79	c  835s |      16 |  6071054 |   176252 |    64352      4 |      772 |      663
837.68/838.04	c  837s |      16 |  6087426 |   176852 |    64352      4 |      772 |      663
839.68/840.05	c  839s |      16 |  6101228 |   177252 |    64352      4 |      772 |      663
841.98/842.35	c  841s |      16 |  6114544 |   177652 |    64352      4 |      772 |      663
844.37/844.74	c  843s |      16 |  6129186 |   178252 |    64352      4 |      772 |      663
846.57/846.95	c  846s |      16 |  6141726 |   178852 |    64352      4 |      772 |      663
848.88/849.23	c  848s |      16 |  6161072 |   179352 |    64352      4 |      772 |      663
851.08/851.43	c  850s |      16 |  6165536 |   179752 |    64352      4 |      772 |      663
853.17/853.54	c  852s |      16 |  6175646 |   180152 |    64352      4 |      772 |      663
855.37/855.71	c  854s |      16 |  6189099 |   180652 |    64352      4 |      772 |      663
857.68/858.03	c  857s |      16 |  6197851 |   181952 |    64352      4 |      772 |      663
859.88/860.23	c  859s |      16 |  6211982 |   182452 |    64352      4 |      772 |      663
862.08/862.45	c  861s |      16 |  6234142 |   182852 |    64352      4 |      772 |      663
864.17/864.51	c  863s |      16 |  6250495 |   183252 |    64352      4 |      772 |      663
866.67/867.05	c  866s |      16 |  6270801 |   183752 |    64352      4 |      772 |      663
868.87/869.23	c  868s |      16 |  6285465 |   184252 |    64352      4 |      772 |      663
870.88/871.23	c  870s |      16 |  6295277 |   184752 |    64352      4 |      772 |      663
873.08/873.50	c  872s |      16 |  6318621 |   185152 |    64352      4 |      772 |      663
875.48/875.83	c  875s |      16 |  6339445 |   185652 |    64352      4 |      772 |      663
877.98/878.36	c  877s |      16 |  6353653 |   186152 |    64352      4 |      772 |      663
880.68/881.01	c  880s |      16 |  6361712 |   186552 |    64352      4 |      772 |      663
882.77/883.12	c  882s |      16 |  6362578 |   186852 |    64352      4 |      772 |      663
884.77/885.14	c  884s |      16 |  6365815 |   187152 |    64352      4 |      772 |      663
887.07/887.45	c  886s |      16 |  6374134 |   187352 |    64352      5 |      772 |      663
889.17/889.59	c  888s |      16 |  6382917 |   187952 |    64352      5 |      772 |      663
891.37/891.79	c  891s |      16 |  6406134 |   188652 |    64352      5 |      772 |      663
893.67/894.01	c  893s |      16 |  6428988 |   189152 |    64352      5 |      772 |      663
895.77/896.10	c  895s |      16 |  6438204 |   189652 |    64352      5 |      773 |      664
897.87/898.22	c  897s |      16 |  6448615 |   190052 |    64352      5 |      773 |      664
900.87/901.21	c  900s |      16 |  6448887 |   190252 |    64352      5 |      773 |      664
903.17/903.55	c  902s |      16 |  6449749 |   190452 |    64352      5 |      773 |      664
905.17/905.58	c  904s |      16 |  6465439 |   190852 |    64352      5 |      773 |      664
907.37/907.77	c  907s |      16 |  6470068 |   191352 |    64352      5 |      773 |      664
909.57/909.98	c  909s |      16 |  6485169 |   192052 |    64352      5 |      773 |      664
911.67/912.07	c  911s |      16 |  6494921 |   192652 |    64352      5 |      773 |      664
913.77/914.11	c  913s |      16 |  6517620 |   193152 |    64352      5 |      773 |      664
915.86/916.22	c  915s |      16 |  6534615 |   193652 |    64352      5 |      773 |      664
918.06/918.45	c  917s |      16 |  6559172 |   194152 |    64352      5 |      773 |      664
920.26/920.62	c  919s |      16 |  6580405 |   194652 |    64352      5 |      773 |      664
922.36/922.72	c  921s |      16 |  6593278 |   195152 |    64352      5 |      773 |      664
924.46/924.86	c  924s |      16 |  6607418 |   195752 |    64352      5 |      773 |      664
926.66/927.03	c  926s |      16 |  6623565 |   196252 |    70788      5 |      773 |      664
928.96/929.33	c  928s |      16 |  6637367 |   196852 |    70788      5 |      773 |      664
931.06/931.42	c  930s |      16 |  6639601 |   197352 |    70788      5 |      773 |      664
931.26/931.70	c  930s |      17 |  6639975 |   197432 |    70788      5 |      773 |      664
933.46/933.84	c  933s |      17 |  6660713 |   197832 |    70788      5 |      773 |      664
935.56/935.92	c  935s |      17 |  6668432 |   198532 |    70788      5 |      773 |      664
937.86/938.25	c  937s |      17 |  6690821 |   199132 |    70788      5 |      773 |      664
940.06/940.43	c  939s |      17 |  6709027 |   199832 |    70788      5 |      773 |      664
942.37/942.72	c  941s |      17 |  6729551 |   200432 |    70788      5 |      773 |      664
944.57/944.98	c  944s |      17 |  6738498 |   201032 |    70788      5 |      773 |      664
947.16/947.50	c  946s |      17 |  6756353 |   201532 |    70788      5 |      773 |      664
949.56/949.98	c  949s |      17 |  6757842 |   201832 |    70788      5 |      773 |      664
951.77/952.10	c  951s |      17 |  6759269 |   202132 |    70788      5 |      773 |      664
954.16/954.52	c  953s |      17 |  6774838 |   202732 |    70788      5 |      773 |      664
956.36/956.77	c  956s |      17 |  6793734 |   203232 |    70788      5 |      773 |      664
958.56/958.97	c  958s |      17 |  6810118 |   203732 |    70788      5 |      773 |      664
960.96/961.36	c  960s |      17 |  6832383 |   204232 |    70788      5 |      773 |      664
963.37/963.72	c  962s |      17 |  6855165 |   204732 |    70788      5 |      773 |      664
965.66/966.03	c  965s |      17 |  6876793 |   205232 |    70788      5 |      773 |      664
967.96/968.36	c  967s |      17 |  6889949 |   205732 |    70788      5 |      773 |      664
969.97/970.38	c  969s |      17 |  6909660 |   206132 |    70788      5 |      773 |      664
972.17/972.54	c  971s |      17 |  6919528 |   206832 |    70788      5 |      773 |      664
974.56/974.96	c  974s |      17 |  6931022 |   207532 |    70788      5 |      773 |      664
976.86/977.28	c  976s |      17 |  6944081 |   207932 |    70788      5 |      774 |      665
979.06/979.49	c  978s |      17 |  6950352 |   208432 |    70788      5 |      774 |      665
981.16/981.59	c  980s |      17 |  6955644 |   208932 |    70788      5 |      774 |      665
983.46/983.87	c  983s |      17 |  6970885 |   209432 |    70788      5 |      774 |      665
985.66/986.04	c  985s |      17 |  6990576 |   209932 |    70788      5 |      774 |      665
987.96/988.32	c  987s |      17 |  7003275 |   210532 |    70788      5 |      774 |      665
990.25/990.61	c  989s |      17 |  7018507 |   211032 |    70788      5 |      774 |      665
992.25/992.67	c  991s |      17 |  7035898 |   211432 |    70788      5 |      774 |      665
994.75/995.15	c  994s |      17 |  7054093 |   211932 |    70788      5 |      774 |      665
996.75/997.18	c  996s |      17 |  7069402 |   212332 |    70788      5 |      774 |      665
999.45/999.84	c  999s |      17 |  7081646 |   212832 |    70788      5 |      774 |      665
1001.45/1001.84	c 1001s |      17 |  7090839 |   213232 |    70788      5 |      774 |      665
1003.65/1004.04	c 1003s |      17 |  7108212 |   213732 |    70788      5 |      774 |      665
1005.85/1006.27	c 1005s |      17 |  7122338 |   214232 |    70788      5 |      774 |      665
1008.46/1008.80	c 1008s |      17 |  7140076 |   214632 |    70788      5 |      774 |      665
1010.45/1010.86	c 1010s |      17 |  7157054 |   215032 |    70788      5 |      774 |      665
1012.86/1013.22	c 1012s |      17 |  7173579 |   215532 |    70788      5 |      774 |      665
1015.25/1015.61	c 1014s |      17 |  7181044 |   216232 |    70788      5 |      774 |      665
1017.45/1017.88	c 1017s |      17 |  7193756 |   216732 |    70788      5 |      774 |      665
1019.55/1019.97	c 1019s |      17 |  7203462 |   217232 |    70788      5 |      774 |      665
1022.05/1022.46	c 1021s |      17 |  7219132 |   217632 |    70788      5 |      774 |      665
1024.15/1024.50	c 1023s |      17 |  7228483 |   218032 |    70788      5 |      774 |      665
1026.35/1026.78	c 1026s |      17 |  7242086 |   218532 |    70788      5 |      774 |      665
1028.64/1029.02	c 1028s |      17 |  7257387 |   219032 |    70788      5 |      774 |      665
1030.74/1031.10	c 1030s |      17 |  7267097 |   219532 |    70788      5 |      774 |      665
1033.05/1033.47	c 1032s |      17 |  7268409 |   220032 |    70788      5 |      774 |      665
1035.25/1035.69	c 1034s |      17 |  7269695 |   220432 |    70788      5 |      774 |      665
1037.35/1037.79	c 1037s |      17 |  7271393 |   220832 |    70788      5 |      774 |      665
1039.65/1040.02	c 1039s |      17 |  7272277 |   221132 |    70788      5 |      774 |      665
1042.24/1042.66	c 1041s |      17 |  7273116 |   221432 |    70788      5 |      774 |      665
1044.55/1044.92	c 1044s |      17 |  7275861 |   221732 |    70788      5 |      774 |      665
1046.75/1047.17	c 1046s |      17 |  7288996 |   222032 |    70788      5 |      774 |      665
1048.95/1049.31	c 1048s |      17 |  7301816 |   222532 |    70788      5 |      774 |      665
1051.05/1051.49	c 1050s |      17 |  7320158 |   222932 |    70788      5 |      774 |      665
1053.25/1053.65	c 1052s |      17 |  7332121 |   223532 |    70788      5 |      774 |      665
1055.55/1055.94	c 1055s |      17 |  7343171 |   223932 |    70788      5 |      774 |      665
1057.85/1058.23	c 1057s |      17 |  7360023 |   224332 |    70788      5 |      774 |      665
1059.85/1060.23	c 1059s |      17 |  7370078 |   224732 |    70788      5 |      774 |      665
1062.15/1062.54	c 1061s |      17 |  7388379 |   225132 |    70788      5 |      774 |      665
1064.34/1064.76	c 1064s |      17 |  7400852 |   225632 |    70788      5 |      774 |      665
1066.75/1067.15	c 1066s |      17 |  7415135 |   226132 |    70788      5 |      774 |      665
1068.74/1069.20	c 1068s |      17 |  7431473 |   226532 |    70788      5 |      774 |      665
1071.94/1072.38	c 1071s |      17 |  7439987 |   226932 |    70788      6 |      774 |      665
1074.14/1074.57	c 1073s |      17 |  7455578 |   227432 |    70788      6 |      774 |      665
1076.34/1076.73	c 1075s |      17 |  7469231 |   228132 |    70788      6 |      774 |      665
1078.64/1079.10	c 1078s |      17 |  7474775 |   228832 |    70788      6 |      774 |      665
1081.14/1081.54	c 1080s |      17 |  7476665 |   229232 |    70788      6 |      774 |      665
1083.94/1084.33	c 1083s |      17 |  7477637 |   229532 |    70788      6 |      774 |      665
1086.34/1086.71	c 1085s |      17 |  7478448 |   229832 |    70788      6 |      774 |      665
1088.54/1088.96	c 1088s |      17 |  7479258 |   230132 |    70788      6 |      774 |      665
1091.04/1091.43	c 1090s |      17 |  7480476 |   230532 |    70788      6 |      774 |      665
1094.04/1094.41	c 1093s |      17 |  7481025 |   230732 |    70788      6 |      774 |      665
1096.14/1096.55	c 1095s |      17 |  7490618 |   231132 |    70788      6 |      774 |      665
1098.55/1098.93	c 1098s |      17 |  7511687 |   231732 |    70788      6 |      774 |      665
1100.75/1101.17	c 1100s |      17 |  7527707 |   232232 |    70788      6 |      774 |      665
1102.84/1103.29	c 1102s |      17 |  7551095 |   232732 |    70788      6 |      774 |      665
1104.94/1105.36	c 1104s |      17 |  7566410 |   233232 |    70788      6 |      774 |      665
1107.04/1107.45	c 1106s |      17 |  7585938 |   233732 |    70788      6 |      774 |      665
1109.34/1109.79	c 1109s |      17 |  7612061 |   234332 |    70788      6 |      774 |      665
1111.54/1111.99	c 1111s |      17 |  7638088 |   234832 |    70788      6 |      774 |      665
1113.64/1114.09	c 1113s |      17 |  7653215 |   235632 |    70788      6 |      774 |      665
1115.74/1116.10	c 1115s |      17 |  7671950 |   236232 |    70788      6 |      774 |      665
1117.84/1118.23	c 1117s |      17 |  7682365 |   236732 |    70788      6 |      774 |      665
1120.33/1120.76	c 1120s |      17 |  7703630 |   237432 |    70788      6 |      774 |      665
1122.74/1123.15	c 1122s |      17 |  7728002 |   237932 |    70788      6 |      774 |      665
1124.94/1125.40	c 1124s |      17 |  7755301 |   238432 |    70788      6 |      774 |      665
1127.03/1127.49	c 1126s |      17 |  7780029 |   238832 |    70788      6 |      774 |      665
1129.13/1129.59	c 1128s |      17 |  7794031 |   239332 |    70788      6 |      774 |      665
1131.64/1132.07	c 1131s |      17 |  7815228 |   239832 |    70788      6 |      774 |      665
1133.74/1134.20	c 1133s |      17 |  7818653 |   240332 |    70788      6 |      774 |      665
1136.04/1136.49	c 1135s |      17 |  7835706 |   240832 |    70788      6 |      774 |      665
1138.43/1138.87	c 1138s |      17 |  7855452 |   241432 |    70788      6 |      774 |      665
1140.93/1141.36	c 1140s |      17 |  7876983 |   241932 |    70788      6 |      774 |      665
1143.13/1143.51	c 1142s |      17 |  7892667 |   242432 |    70788      6 |      774 |      665
1145.43/1145.85	c 1145s |      17 |  7914153 |   242932 |    70788      6 |      774 |      665
1147.73/1148.10	c 1147s |      17 |  7919677 |   243432 |    70788      6 |      774 |      665
1149.73/1150.11	c 1149s |      17 |  7920488 |   243732 |    70788      6 |      774 |      665
1151.83/1152.28	c 1151s |      17 |  7921509 |   244032 |    70788      6 |      774 |      665
1154.83/1155.23	c 1154s |      17 |  7922287 |   244332 |    70788      6 |      774 |      665
1157.43/1157.80	c 1157s |      17 |  7925222 |   244532 |    70788      6 |      774 |      665
1159.62/1160.08	c 1159s |      17 |  7946150 |   245032 |    70788      6 |      774 |      665
1161.92/1162.35	c 1161s |      17 |  7962940 |   245532 |    70788      6 |      774 |      665
1164.12/1164.55	c 1163s |      17 |  7982826 |   246032 |    70788      6 |      774 |      665
1166.22/1166.68	c 1165s |      17 |  7998458 |   246532 |    70788      6 |      774 |      665
1168.63/1169.03	c 1168s |      17 |  8014650 |   247032 |    70788      6 |      774 |      665
1170.73/1171.11	c 1170s |      17 |  8031799 |   247432 |    70788      6 |      774 |      665
1172.93/1173.35	c 1172s |      17 |  8049390 |   247932 |    70788      6 |      774 |      665
1175.13/1175.58	c 1174s |      17 |  8065383 |   248432 |    70788      6 |      774 |      665
1177.43/1177.83	c 1177s |      17 |  8078337 |   248932 |    70788      6 |      774 |      665
1179.94/1180.32	c 1179s |      17 |  8093443 |   249432 |    70788      6 |      774 |      665
1182.33/1182.70	c 1181s |      17 |  8112284 |   249932 |    70788      6 |      774 |      665
1184.34/1184.80	c 1184s |      17 |  8121090 |   250332 |    70788      6 |      774 |      665
1186.73/1187.17	c 1186s |      17 |  8136817 |   250732 |    70788      6 |      774 |      665
1188.84/1189.26	c 1188s |      17 |  8145964 |   251332 |    70788      6 |      774 |      665
1191.23/1191.68	c 1190s |      17 |  8155607 |   251932 |    70788      6 |      774 |      665
1193.33/1193.70	c 1192s |      17 |  8162913 |   252432 |    70788      6 |      774 |      665
1195.33/1195.71	c 1194s |      17 |  8165242 |   252832 |    70788      6 |      774 |      665
1197.73/1198.19	c 1197s |      17 |  8177691 |   253232 |    70788      6 |      774 |      665
1199.83/1200.24	c 1199s |      17 |  8190744 |   253632 |    70788      6 |      774 |      665
1201.93/1202.40	c 1201s |      17 |  8208182 |   254032 |    70788      6 |      774 |      665
1204.23/1204.67	c 1203s |      17 |  8222968 |   254432 |    70788      6 |      774 |      665
1206.73/1207.15	c 1206s |      17 |  8236618 |   254832 |    70788      6 |      774 |      665
1208.93/1209.38	c 1208s |      17 |  8245244 |   255232 |    70788      6 |      774 |      665
1211.32/1211.74	c 1210s |      17 |  8260308 |   255732 |    70788      6 |      774 |      665
1213.52/1213.99	c 1213s |      17 |  8273384 |   256132 |    70788      6 |      774 |      665
1216.12/1216.54	c 1215s |      17 |  8292343 |   256632 |    70788      6 |      774 |      665
1218.32/1218.70	c 1217s |      17 |  8304806 |   257132 |    70788      6 |      774 |      665
1220.73/1221.12	c 1220s |      17 |  8315960 |   257632 |    70788      6 |      774 |      665
1223.02/1223.44	c 1222s |      17 |  8325222 |   258032 |    70788      6 |      774 |      665
1225.03/1225.46	c 1224s |      17 |  8335932 |   258532 |    70788      6 |      774 |      665
1227.42/1227.85	c 1227s |      17 |  8350371 |   259032 |    70788      6 |      774 |      665
1229.62/1230.06	c 1229s |      17 |  8358782 |   259532 |    70788      6 |      774 |      665
1231.73/1232.16	c 1231s |      17 |  8370477 |   259932 |    70788      6 |      774 |      665
1233.83/1234.24	c 1233s |      17 |  8379123 |   260332 |    70788      6 |      774 |      665
1236.22/1236.65	c 1235s |      17 |  8383901 |   260732 |    70788      6 |      774 |      665
1238.42/1238.86	c 1238s |      17 |  8389474 |   261132 |    70788      6 |      774 |      665
1240.53/1240.96	c 1240s |      17 |  8399727 |   261532 |    70788      6 |      774 |      665
1242.73/1243.13	c 1242s |      17 |  8407125 |   261932 |    70788      6 |      774 |      665
1244.92/1245.34	c 1244s |      17 |  8417545 |   262332 |    70788      6 |      774 |      665
1247.02/1247.42	c 1246s |      17 |  8427453 |   262832 |    70788      6 |      774 |      665
1249.22/1249.68	c 1248s |      17 |  8428725 |   263132 |    70788      6 |      774 |      665
1251.32/1251.72	c 1250s |      17 |  8434080 |   263532 |    70788      6 |      774 |      665
1253.32/1253.74	c 1252s |      17 |  8441932 |   263932 |    70788      6 |      774 |      665
1255.42/1255.80	c 1255s |      17 |  8450409 |   264232 |    70788      6 |      774 |      665
1258.31/1258.79	c 1258s |      17 |  8451328 |   264532 |    70788      6 |      774 |      665
1260.62/1261.04	c 1260s |      17 |  8451921 |   264732 |    70788      6 |      774 |      665
1263.22/1263.66	c 1262s |      17 |  8459908 |   265032 |    70788      6 |      774 |      665
1265.52/1265.91	c 1265s |      17 |  8464456 |   265332 |    70788      6 |      774 |      665
1267.62/1268.00	c 1267s |      17 |  8465969 |   265532 |    70788      6 |      774 |      665
1269.82/1270.25	c 1269s |      17 |  8470175 |   265932 |    70788      6 |      774 |      665
1272.11/1272.54	c 1271s |      17 |  8478260 |   266332 |    70788      6 |      774 |      665
1274.41/1274.82	c 1274s |      17 |  8487751 |   266832 |    70788      6 |      774 |      665
1276.61/1277.08	c 1276s |      17 |  8501057 |   267332 |    70788      6 |      774 |      665
1279.21/1279.61	c 1278s |      17 |  8511493 |   267832 |    70788      6 |      774 |      665
1281.22/1281.68	c 1280s |      17 |  8515247 |   268232 |    70788      6 |      774 |      665
1283.41/1283.83	c 1283s |      17 |  8524329 |   268632 |    70788      6 |      774 |      665
1285.71/1286.11	c 1285s |      17 |  8526233 |   268732 |    70788      7 |      774 |      665
1287.91/1288.39	c 1287s |      17 |  8535959 |   269332 |    70788      7 |      774 |      665
1290.81/1291.22	c 1290s |      17 |  8538911 |   269832 |    70788      7 |      774 |      665
1292.91/1293.34	c 1292s |      17 |  8545718 |   270232 |    70788      7 |      774 |      665
1295.31/1295.73	c 1294s |      17 |  8557264 |   270732 |    70788      7 |      774 |      665
1297.40/1297.89	c 1297s |      17 |  8565599 |   271132 |    70788      7 |      774 |      665
1299.51/1299.96	c 1299s |      17 |  8566700 |   271432 |    70788      7 |      774 |      665
1302.01/1302.45	c 1301s |      17 |  8567462 |   271732 |    70788      7 |      774 |      665
1304.10/1304.56	c 1303s |      17 |  8567759 |   271932 |    70788      7 |      774 |      665
1307.71/1308.13	c 1307s |      17 |  8568540 |   272232 |    70788      7 |      774 |      665
1310.11/1310.56	c 1309s |      17 |  8569860 |   272532 |    70788      7 |      774 |      665
1312.41/1312.84	c 1312s |      17 |  8585970 |   273132 |    70788      7 |      774 |      665
1314.61/1315.00	c 1314s |      17 |  8591227 |   273632 |    70788      7 |      774 |      665
1316.61/1317.02	c 1316s |      17 |  8601124 |   274132 |    70788      7 |      774 |      665
1318.80/1319.25	c 1318s |      17 |  8615301 |   274732 |    70788      7 |      774 |      665
1320.90/1321.31	c 1320s |      17 |  8620123 |   275132 |    70788      7 |      774 |      665
1323.30/1323.74	c 1322s |      17 |  8626539 |   275732 |    70788      7 |      774 |      665
1325.40/1325.81	c 1325s |      17 |  8632065 |   276132 |    70788      7 |      774 |      665
1328.10/1328.52	c 1327s |      17 |  8639831 |   276532 |    70788      7 |      774 |      665
1330.30/1330.76	c 1330s |      17 |  8647343 |   277032 |    70788      7 |      774 |      665
1332.50/1332.91	c 1332s |      17 |  8660719 |   277632 |    70788      7 |      774 |      665
1335.11/1335.57	c 1334s |      17 |  8668944 |   278132 |    70788      7 |      774 |      665
1337.60/1338.05	c 1337s |      17 |  8679454 |   278632 |    70788      7 |      774 |      665
1340.10/1340.59	c 1339s |      17 |  8684607 |   279132 |    70788      7 |      774 |      665
1342.50/1342.99	c 1342s |      17 |  8696394 |   279532 |    70788      7 |      774 |      665
1344.80/1345.22	c 1344s |      17 |  8704654 |   280032 |    70788      7 |      774 |      665
1347.00/1347.40	c 1346s |      17 |  8713012 |   280532 |    70788      7 |      774 |      665
1349.30/1349.72	c 1348s |      17 |  8718841 |   280932 |    70788      7 |      774 |      665
1351.40/1351.80	c 1351s |      17 |  8728623 |   281432 |    70788      7 |      774 |      665
1353.40/1353.84	c 1353s |      17 |  8733001 |   281832 |    70788      7 |      774 |      665
1355.40/1355.86	c 1355s |      17 |  8735158 |   282232 |    70788      7 |      774 |      665
1357.39/1357.89	c 1357s |      17 |  8737003 |   282632 |    70788      7 |      774 |      665
1360.00/1360.48	c 1359s |      17 |  8739231 |   283132 |    70788      7 |      774 |      665
1362.10/1362.53	c 1361s |      17 |  8740075 |   283432 |    70788      7 |      774 |      665
1364.30/1364.74	c 1363s |      17 |  8740963 |   283732 |    70788      7 |      774 |      665
1367.01/1367.49	c 1366s |      17 |  8742371 |   284032 |    70788      7 |      774 |      665
1369.60/1370.09	c 1369s |      17 |  8743223 |   284232 |    70788      7 |      774 |      665
1371.70/1372.11	c 1371s |      17 |  8743807 |   284432 |    70788      7 |      774 |      665
1374.60/1375.06	c 1374s |      17 |  8744830 |   284732 |    70788      7 |      774 |      665
1376.90/1377.31	c 1376s |      17 |  8745426 |   284932 |    70788      7 |      774 |      665
1379.00/1379.50	c 1378s |      17 |  8745919 |   285132 |    70788      7 |      774 |      665
1382.00/1382.40	c 1381s |      17 |  8746870 |   285432 |    70788      7 |      774 |      665
1383.99/1384.45	c 1383s |      17 |  8747409 |   285632 |    70788      7 |      774 |      665
1386.59/1387.01	c 1386s |      17 |  8747943 |   285832 |    70788      7 |      774 |      665
1389.89/1390.35	c 1389s |      17 |  8749508 |   286132 |    70788      7 |      774 |      665
1393.19/1393.69	c 1392s |      17 |  8749994 |   286332 |    70788      7 |      774 |      665
1395.29/1395.71	c 1394s |      17 |  8751767 |   286632 |    70788      7 |      774 |      665
1397.39/1397.82	c 1397s |      17 |  8755230 |   287032 |    70788      7 |      774 |      665
1399.39/1399.88	c 1399s |      17 |  8757387 |   287432 |    70788      7 |      774 |      665
1401.99/1402.42	c 1401s |      17 |  8760704 |   287832 |    70788      7 |      774 |      665
1404.49/1404.91	c 1404s |      17 |  8764879 |   288232 |    70788      7 |      774 |      665
1406.69/1407.19	c 1406s |      17 |  8768690 |   288632 |    70788      7 |      774 |      665
1408.99/1409.40	c 1408s |      17 |  8771182 |   289032 |    70788      7 |      774 |      665
1411.29/1411.79	c 1411s |      17 |  8777093 |   289532 |    70788      7 |      774 |      665
1413.59/1414.08	c 1413s |      17 |  8786216 |   289932 |    70788      7 |      774 |      665
1416.09/1416.57	c 1415s |      17 |  8803544 |   290432 |    70788      7 |      774 |      665
1418.39/1418.82	c 1418s |      17 |  8809359 |   290832 |    70788      7 |      774 |      665
1420.69/1421.19	c 1420s |      17 |  8814226 |   291332 |    70788      7 |      774 |      665
1423.19/1423.61	c 1422s |      17 |  8826284 |   291832 |    70788      7 |      774 |      665
1425.49/1425.91	c 1425s |      17 |  8836004 |   292332 |    70788      7 |      774 |      665
1427.89/1428.30	c 1427s |      17 |  8845683 |   292932 |    70788      7 |      774 |      665
1430.09/1430.58	c 1429s |      17 |  8858610 |   293432 |    70788      7 |      774 |      665
1432.29/1432.77	c 1432s |      17 |  8877891 |   293832 |    70788      7 |      774 |      665
1434.59/1435.08	c 1434s |      17 |  8892554 |   294332 |    77867      7 |      774 |      665
1436.68/1437.14	c 1436s |      17 |  8905249 |   294732 |    77867      7 |      774 |      665
1438.98/1439.41	c 1438s |      17 |  8913183 |   295232 |    77867      7 |      774 |      665
1441.38/1441.83	c 1441s |      17 |  8929797 |   295732 |    77867      7 |      774 |      665
1443.38/1443.84	c 1443s |      17 |  8943960 |   296132 |    77867      7 |      774 |      665
1443.89/1444.40	c 1443s |      18 |  8944240 |   296252 |    77867      7 |      774 |      665
1446.28/1446.71	c 1445s |      18 |  8959050 |   296452 |    77867      7 |      774 |      665
1448.39/1448.85	c 1448s |      18 |  8977000 |   296852 |    77867      7 |      774 |      665
1450.78/1451.22	c 1450s |      18 |  8997629 |   297352 |    77867      7 |      774 |      665
1453.08/1453.58	c 1452s |      18 |  9011906 |   297852 |    77867      7 |      774 |      665
1455.48/1455.93	c 1455s |      18 |  9032633 |   298352 |    77867      7 |      774 |      665
1457.48/1457.97	c 1457s |      18 |  9044722 |   298852 |    77867      7 |      774 |      665
1459.58/1460.03	c 1459s |      18 |  9061364 |   299352 |    77867      7 |      774 |      665
1461.88/1462.30	c 1461s |      18 |  9078402 |   299852 |    77867      7 |      774 |      665
1464.08/1464.58	c 1463s |      18 |  9085603 |   300552 |    77867      7 |      774 |      665
1466.58/1467.00	c 1466s |      18 |  9097753 |   301252 |    77867      7 |      774 |      665
1468.58/1469.07	c 1468s |      18 |  9117934 |   301752 |    77867      7 |      774 |      665
1470.98/1471.47	c 1470s |      18 |  9142111 |   302152 |    77867      7 |      774 |      665
1473.08/1473.50	c 1472s |      18 |  9155711 |   302552 |    77867      7 |      774 |      665
1475.38/1475.81	c 1475s |      18 |  9173672 |   303052 |    77867      7 |      774 |      665
1477.79/1478.24	c 1477s |      18 |  9181789 |   303652 |    77867      7 |      774 |      665
1480.39/1480.83	c 1480s |      18 |  9200594 |   304152 |    77867      7 |      774 |      665
1482.58/1483.06	c 1482s |      18 |  9212375 |   304552 |    77867      7 |      774 |      665
1484.88/1485.36	c 1484s |      18 |  9227421 |   305052 |    77867      7 |      774 |      665
1487.18/1487.61	c 1486s |      18 |  9249848 |   305452 |    77867      7 |      774 |      665
1489.38/1489.85	c 1489s |      18 |  9269606 |   305852 |    77867      7 |      774 |      665
1491.78/1492.24	c 1491s |      18 |  9281337 |   306352 |    77867      7 |      774 |      665
1493.98/1494.48	c 1493s |      18 |  9298043 |   306752 |    77867      7 |      774 |      665
1496.38/1496.80	c 1496s |      18 |  9318594 |   307152 |    77867      7 |      774 |      665
1502.08/1502.54	c 1501s |      18 |  9331739 |   307752 |    77867      8 |      775 |      666
1504.58/1505.06	c 1504s |      18 |  9352704 |   308452 |    77867      8 |      775 |      666
1506.88/1507.33	c 1506s |      18 |  9375269 |   309052 |    77867      8 |      775 |      666
1508.88/1509.34	c 1508s |      18 |  9390102 |   309652 |    77867      8 |      775 |      666
1510.98/1511.46	c 1510s |      18 |  9414838 |   310152 |    77867      8 |      775 |      666
1513.48/1513.98	c 1513s |      18 |  9439083 |   310652 |    77867      8 |      776 |      667
1515.68/1516.11	c 1515s |      18 |  9453414 |   311452 |    77867      8 |      776 |      667
1517.98/1518.49	c 1517s |      18 |  9485028 |   311952 |    77867      8 |      776 |      667
1520.08/1520.51	c 1519s |      18 |  9490359 |   312452 |    77867      8 |      776 |      667
1522.17/1522.60	c 1521s |      18 |  9512472 |   312852 |    77867      8 |      776 |      667
1524.37/1524.85	c 1524s |      18 |  9527293 |   313452 |    77867      8 |      776 |      667
1526.67/1527.15	c 1526s |      18 |  9540889 |   314052 |    77867      8 |      776 |      667
1528.77/1529.28	c 1528s |      18 |  9542386 |   314452 |    77867      8 |      776 |      667
1531.07/1531.59	c 1530s |      18 |  9555588 |   315152 |    77867      8 |      776 |      667
1533.27/1533.76	c 1533s |      18 |  9571382 |   315852 |    77867      8 |      776 |      667
1535.57/1536.01	c 1535s |      18 |  9574064 |   316352 |    77867      8 |      776 |      667
1537.67/1538.18	c 1537s |      18 |  9578955 |   316752 |    77867      8 |      776 |      667
1539.77/1540.24	c 1539s |      18 |  9597893 |   317352 |    77867      8 |      776 |      667
1541.88/1542.31	c 1541s |      18 |  9617233 |   317852 |    77867      8 |      776 |      667
1544.08/1544.59	c 1543s |      18 |  9631425 |   318552 |    77867      8 |      776 |      667
1546.37/1546.89	c 1546s |      18 |  9643872 |   319152 |    77867      8 |      776 |      667
1548.48/1548.91	c 1548s |      18 |  9658125 |   319752 |    77867      8 |      776 |      667
1550.67/1551.12	c 1550s |      18 |  9683466 |   320252 |    77867      8 |      776 |      667
1552.97/1553.49	c 1552s |      18 |  9696507 |   320852 |    77867      8 |      776 |      667
1555.07/1555.59	c 1554s |      18 |  9710460 |   321352 |    77867      8 |      776 |      667
1557.46/1557.97	c 1557s |      18 |  9721696 |   321852 |    77867      8 |      776 |      667
1559.86/1560.32	c 1559s |      18 |  9742563 |   322352 |    77867      8 |      776 |      667
1561.96/1562.48	c 1561s |      18 |  9765950 |   322852 |    77867      8 |      776 |      667
1564.06/1564.59	c 1563s |      18 |  9778362 |   323452 |    77867      8 |      776 |      667
1566.16/1566.60	c 1565s |      18 |  9799299 |   323952 |    77867      8 |      776 |      667
1568.36/1568.80	c 1568s |      18 |  9815863 |   324452 |    77867      8 |      776 |      667
1570.57/1571.04	c 1570s |      18 |  9839600 |   324952 |    77867      8 |      776 |      667
1572.87/1573.33	c 1572s |      18 |  9859696 |   325552 |    77867      8 |      776 |      667
1575.07/1575.52	c 1574s |      18 |  9871659 |   326152 |    77867      8 |      776 |      667
1577.27/1577.78	c 1577s |      18 |  9877096 |   326652 |    77867      8 |      776 |      667
1579.37/1579.81	c 1579s |      18 |  9881381 |   327152 |    77867      8 |      776 |      667
1581.37/1581.83	c 1581s |      18 |  9894757 |   327652 |    77867      8 |      776 |      667
1583.37/1583.88	c 1583s |      18 |  9906078 |   328152 |    77867      8 |      776 |      667
1585.67/1586.16	c 1585s |      18 |  9925023 |   328752 |    77867      8 |      776 |      667
1587.97/1588.41	c 1587s |      18 |  9944860 |   329252 |    77867      8 |      776 |      667
1590.07/1590.52	c 1589s |      18 |  9960857 |   329852 |    77867      8 |      776 |      667
1592.47/1592.99	c 1592s |      18 |  9967866 |   330552 |    77867      8 |      776 |      667
1594.57/1595.04	c 1594s |      18 |  9968990 |   330852 |    77867      8 |      776 |      667
1596.77/1597.27	c 1596s |      18 |  9969984 |   331152 |    77867      8 |      776 |      667
1598.97/1599.46	c 1598s |      18 |  9976629 |   331552 |    77867      8 |      776 |      667
1601.56/1602.08	c 1601s |      18 |  9979935 |   331852 |    77867      8 |      776 |      667
1603.76/1604.29	c 1603s |      18 |  9999596 |   332352 |    77867      8 |      776 |      667
1606.06/1606.59	c 1605s |      18 | 10021775 |   332852 |    77867      8 |      776 |      667
1608.36/1608.86	c 1608s |      18 | 10045968 |   333352 |    77867      8 |      776 |      667
1610.56/1611.06	c 1610s |      18 | 10057988 |   333952 |    77867      8 |      776 |      667
1612.76/1613.25	c 1612s |      18 | 10072114 |   334452 |    77867      8 |      776 |      667
1614.86/1615.35	c 1614s |      18 | 10086275 |   334952 |    77867      8 |      776 |      667
1617.36/1617.80	c 1617s |      18 | 10103243 |   335552 |    77867      8 |      776 |      667
1619.66/1620.13	c 1619s |      18 | 10125175 |   336052 |    77867      8 |      776 |      667
1621.76/1622.23	c 1621s |      18 | 10130581 |   336452 |    77867      8 |      776 |      667
1624.15/1624.65	c 1623s |      18 | 10131452 |   336752 |    77867      8 |      776 |      667
1626.47/1626.99	c 1626s |      18 | 10133054 |   337152 |    77867      8 |      776 |      667
1628.96/1629.49	c 1628s |      18 | 10141456 |   337452 |    77867      8 |      776 |      667
1632.07/1632.55	c 1631s |      18 | 10155156 |   337952 |    77867      8 |      777 |      668
1634.17/1634.65	c 1633s |      18 | 10166624 |   338452 |    77867      8 |      777 |      668
1636.47/1636.93	c 1636s |      18 | 10182301 |   338952 |    77867      8 |      777 |      668
1638.57/1639.01	c 1638s |      18 | 10199936 |   339352 |    77867      8 |      777 |      668
1640.66/1641.14	c 1640s |      18 | 10212955 |   339852 |    77867      8 |      777 |      668
1642.86/1643.34	c 1642s |      18 | 10236927 |   340252 |    77867      8 |      777 |      668
1644.96/1645.45	c 1644s |      18 | 10255034 |   340652 |    77867      8 |      777 |      668
1647.16/1647.60	c 1646s |      18 | 10269514 |   341152 |    77867      8 |      777 |      668
1649.16/1649.66	c 1648s |      18 | 10290405 |   341552 |    77867      8 |      777 |      668
1651.56/1652.09	c 1651s |      18 | 10292325 |   342052 |    77867      8 |      777 |      668
1653.96/1654.48	c 1653s |      18 | 10293433 |   342452 |    77867      8 |      777 |      668
1656.66/1657.13	c 1656s |      18 | 10294577 |   342852 |    77867      8 |      777 |      668
1659.05/1659.50	c 1658s |      18 | 10313558 |   343252 |    77867      8 |      777 |      668
1661.15/1661.64	c 1660s |      18 | 10325321 |   343852 |    77867      8 |      777 |      668
1663.55/1664.09	c 1663s |      18 | 10350464 |   344352 |    77867      8 |      777 |      668
1665.85/1666.38	c 1665s |      18 | 10366527 |   344852 |    77867      8 |      777 |      668
1668.36/1668.86	c 1668s |      18 | 10383678 |   345352 |    77867      8 |      777 |      668
1670.65/1671.14	c 1670s |      18 | 10402154 |   345852 |    77867      8 |      777 |      668
1673.35/1673.81	c 1673s |      18 | 10420358 |   346352 |    77867      8 |      777 |      668
1675.35/1675.83	c 1675s |      18 | 10436554 |   346752 |    77867      8 |      777 |      668
1677.45/1677.95	c 1677s |      18 | 10450650 |   347252 |    77867      8 |      777 |      668
1679.75/1680.21	c 1679s |      18 | 10468293 |   347652 |    77867      8 |      777 |      668
1681.85/1682.38	c 1681s |      18 | 10488101 |   348052 |    77867      8 |      777 |      668
1684.15/1684.62	c 1683s |      18 | 10494182 |   348552 |    77867      8 |      777 |      668
1686.25/1686.74	c 1685s |      18 | 10510170 |   349052 |    77867      8 |      777 |      668
1688.65/1689.12	c 1688s |      18 | 10529321 |   349552 |    77867      8 |      777 |      668
1690.85/1691.36	c 1690s |      18 | 10534831 |   349652 |    77867      9 |      777 |      668
1693.25/1693.74	c 1692s |      18 | 10555674 |   350252 |    77867      9 |      777 |      668
1695.65/1696.13	c 1695s |      18 | 10571023 |   350852 |    77867      9 |      777 |      668
1697.85/1698.39	c 1697s |      18 | 10595388 |   351452 |    77867      9 |      777 |      668
1700.05/1700.55	c 1699s |      18 | 10607743 |   351952 |    77867      9 |      777 |      668
1702.35/1702.89	c 1702s |      18 | 10617393 |   352352 |    77867      9 |      777 |      668
1704.65/1705.11	c 1704s |      18 | 10631453 |   352952 |    77867      9 |      777 |      668
1706.64/1707.20	c 1706s |      18 | 10648993 |   353552 |    77867      9 |      777 |      668
1708.95/1709.42	c 1708s |      18 | 10664209 |   354152 |    77867      9 |      777 |      668
1711.34/1711.84	c 1711s |      18 | 10666883 |   354552 |    77867      9 |      777 |      668
1713.84/1714.37	c 1713s |      18 | 10669208 |   354952 |    77867      9 |      777 |      668
1715.95/1716.48	c 1715s |      18 | 10677486 |   355452 |    77867      9 |      777 |      668
1718.05/1718.51	c 1717s |      18 | 10684281 |   355952 |    77867      9 |      777 |      668
1720.05/1720.54	c 1719s |      18 | 10686581 |   356452 |    77867      9 |      777 |      668
1722.35/1722.84	c 1722s |      18 | 10693742 |   357152 |    77867      9 |      777 |      668
1724.35/1724.85	c 1724s |      18 | 10703888 |   357752 |    77867      9 |      777 |      668
1726.65/1727.15	c 1726s |      18 | 10720991 |   358252 |    77867      9 |      777 |      668
1728.85/1729.36	c 1728s |      18 | 10740252 |   358852 |    77867      9 |      777 |      668
1731.05/1731.51	c 1730s |      18 | 10755687 |   359352 |    77867      9 |      777 |      668
1733.15/1733.64	c 1732s |      18 | 10767978 |   359852 |    77867      9 |      777 |      668
1735.24/1735.73	c 1734s |      18 | 10782144 |   360352 |    77867      9 |      777 |      668
1737.44/1737.98	c 1737s |      18 | 10795631 |   360852 |    77867      9 |      777 |      668
1739.54/1740.07	c 1739s |      18 | 10813792 |   361452 |    77867      9 |      777 |      668
1741.74/1742.27	c 1741s |      18 | 10824160 |   362152 |    77867      9 |      777 |      668
1743.94/1744.40	c 1743s |      18 | 10836826 |   362652 |    77867      9 |      777 |      668
1746.45/1746.92	c 1746s |      18 | 10838012 |   363052 |    77867      9 |      777 |      668
1748.55/1749.10	c 1748s |      18 | 10847315 |   363452 |    77867      9 |      777 |      668
1750.64/1751.20	c 1750s |      18 | 10859765 |   363852 |    77867      9 |      777 |      668
1752.95/1753.47	c 1752s |      18 | 10874065 |   364352 |    77867      9 |      777 |      668
1755.15/1755.70	c 1754s |      18 | 10890324 |   364852 |    77867      9 |      777 |      668
1757.35/1757.86	c 1757s |      18 | 10894457 |   365252 |    77867      9 |      777 |      668
1759.55/1760.09	c 1759s |      18 | 10910995 |   365852 |    77867      9 |      777 |      668
1761.94/1762.49	c 1761s |      18 | 10928054 |   366352 |    77867      9 |      777 |      668
1764.14/1764.66	c 1763s |      18 | 10945334 |   366852 |    77867      9 |      777 |      668
1766.34/1766.81	c 1766s |      18 | 10957147 |   367352 |    77867      9 |      777 |      668
1768.84/1769.38	c 1768s |      18 | 10974110 |   367852 |    77867      9 |      777 |      668
1770.94/1771.47	c 1770s |      18 | 10989803 |   368252 |    77867      9 |      777 |      668
1773.24/1773.70	c 1772s |      18 | 11003005 |   368652 |    77867      9 |      777 |      668
1776.24/1776.70	c 1775s |      18 | 11005910 |   369052 |    77867      9 |      777 |      668
1778.34/1778.88	c 1778s |      18 | 11020337 |   369552 |    77867      9 |      777 |      668
1780.63/1781.17	c 1780s |      18 | 11041330 |   369952 |    77867      9 |      777 |      668
1782.83/1783.39	c 1782s |      18 | 11058783 |   370452 |    77867      9 |      777 |      668
1785.23/1785.72	c 1784s |      18 | 11067599 |   370952 |    77867      9 |      777 |      668
1787.53/1788.08	c 1787s |      18 | 11083943 |   371352 |    77867      9 |      777 |      668
1789.83/1790.35	c 1789s |      18 | 11093418 |   371852 |    77867      9 |      777 |      668
1792.03/1792.60	c 1791s |      18 | 11101449 |   372252 |    77867      9 |      777 |      668
1794.53/1795.06	c 1794s |      18 | 11112294 |   372752 |    77867      9 |      777 |      668
1796.73/1797.27	c 1796s |      18 | 11119993 |   373052 |    77867      9 |      777 |      668
1799.13/1799.69	c 1798s |      18 | 11134772 |   373652 |    77867      9 |      777 |      668

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078911-1465285964/watcher-4078911-1465285964 -o /tmp/evaluation-result-4078911-1465285964/solver-4078911-1465285964 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3412 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078911-1465285964.opb 

pid=4059
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.13 2.12 2.11 3/179 4062
/proc/meminfo: memFree=30072464/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=657852 CPUtime=0 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 2442 0 0 0 0 0 0 0 20 0 4 0 110528969 673640448 3313 33554432000 4194304 16246674 140735578241120 140735578240544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 164975 3321 441 2943 0 161869 0
[pid=4062/tid=4063] ppid=4059 vsize=675260 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 691466240 3382 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=679356 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 695660544 3399 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=683452 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 699854848 3415 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.13 2.12 2.11 3/179 4062
/proc/meminfo: memFree=30072464/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 27259 0 0 0 5 4 0 0 20 0 4 0 110528969 1333334016 28069 33554432000 4194304 16246674 140735578241120 140735578240432 7853005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 325521 28083 800 2943 0 322415 0
[pid=4062/tid=4063] ppid=4059 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1333334016 28094 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1333334016 28105 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1333334016 28116 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200531 s]
/proc/loadavg: 2.13 2.12 2.11 3/179 4062
/proc/meminfo: memFree=30072464/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 47268 0 0 0 12 7 0 0 20 0 4 0 110528969 1344868352 48588 33554432000 4194304 16246674 140735578241120 140735578240432 13967416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 328337 48588 801 2943 0 325231 0
[pid=4062/tid=4063] ppid=4059 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1344868352 48588 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1344868352 48588 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1344868352 48588 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300512 s]
/proc/loadavg: 2.13 2.12 2.11 3/179 4062
/proc/meminfo: memFree=30072464/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 56725 0 0 0 21 8 0 0 20 0 4 0 110528969 1344868352 58045 33554432000 4194304 16246674 140735578241120 140735578240432 4220871 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 328337 58045 806 2943 0 325231 0
[pid=4062/tid=4063] ppid=4059 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1344868352 58045 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1344868352 58045 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1344868352 58045 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700397 s]
/proc/loadavg: 2.13 2.12 2.11 3/179 4062
/proc/meminfo: memFree=30072464/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 111579 0 0 0 53 16 0 0 20 0 4 0 110528969 1344868352 112900 33554432000 4194304 16246674 140735578241120 140735578240432 7202813 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 328337 112911 834 2943 0 325231 0
[pid=4062/tid=4063] ppid=4059 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1344868352 112919 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1344868352 112924 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1344868352 112934 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.13 2.12 2.11 3/183 4066
/proc/meminfo: memFree=29350948/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 231200 0 0 0 116 33 0 0 20 0 4 0 110528969 1344868352 232520 33554432000 4194304 16246674 140735578241120 140735578223040 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 328337 232525 876 2943 0 325231 0
[pid=4062/tid=4063] ppid=4059 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1344868352 232529 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1344868352 232533 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1344868352 232537 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.12 2.12 2.10 3/183 4066
/proc/meminfo: memFree=28974600/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=3.09 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273354 0 0 0 270 39 0 0 20 0 4 0 110528969 1362694144 274674 33554432000 4194304 16246674 140735578241120 140735578238976 5823435 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274674 879 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274674 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274674 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274674 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1330756

[startup+6.3004 s]
/proc/loadavg: 2.12 2.12 2.10 3/183 4115
/proc/meminfo: memFree=29066280/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=6.29 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273359 0 0 0 590 39 0 0 20 0 4 0 110528969 1362694144 274679 33554432000 4194304 16246674 140735578241120 140735578223040 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274679 883 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274679 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274679 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274679 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1330756

[startup+12.7004 s]
/proc/loadavg: 2.10 2.12 2.10 3/183 4115
/proc/meminfo: memFree=28967260/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=12.69 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273361 0 0 0 1230 39 0 0 20 0 4 0 110528969 1362694144 274681 33554432000 4194304 16246674 140735578241120 140735578223040 5754712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274681 885 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274681 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274681 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274681 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1330756

[startup+25.5005 s]
/proc/loadavg: 2.16 2.13 2.11 3/183 4115
/proc/meminfo: memFree=28967460/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=25.49 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273361 0 0 0 2510 39 0 0 20 0 4 0 110528969 1362694144 274681 33554432000 4194304 16246674 140735578241120 140735578224120 13965544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274681 885 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274681 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274681 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274681 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1330756

[startup+51.1005 s]
/proc/loadavg: 2.17 2.13 2.11 3/183 4115
/proc/meminfo: memFree=28967128/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=51.08 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273362 0 0 0 5069 39 0 0 20 0 4 0 110528969 1362694144 274681 33554432000 4194304 16246674 140735578241120 140735578223040 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274681 885 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274681 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274681 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274681 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1330756

[startup+102.3 s]
/proc/loadavg: 2.11 2.12 2.10 3/183 4116
/proc/meminfo: memFree=28966924/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=102.27 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273375 0 0 0 10188 39 0 0 20 0 4 0 110528969 1362694144 274681 33554432000 4194304 16246674 140735578241120 140735578223040 5829844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274681 885 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274681 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274681 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274681 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1330756


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

/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.10 2.14 2.09 3/182 4171
/proc/meminfo: memFree=28962536/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=1361.9 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273719 0 0 0 136130 60 0 0 20 0 4 0 110528969 1362694144 274682 33554432000 4194304 16246674 140735578241120 140735578223040 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274682 886 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.04 2.12 2.09 3/183 4173
/proc/meminfo: memFree=28963036/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=1421.89 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273719 0 0 0 142129 60 0 0 20 0 4 0 110528969 1362694144 274682 33554432000 4194304 16246674 140735578241120 140735578223040 6843012 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274682 886 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/183 4174
/proc/meminfo: memFree=28963044/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=1481.88 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273719 0 0 0 148127 61 0 0 20 0 4 0 110528969 1362694144 274682 33554432000 4194304 16246674 140735578241120 140735578222976 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274682 886 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1330756

[startup+1542.31 s]
/proc/loadavg: 2.00 2.07 2.08 4/183 4175
/proc/meminfo: memFree=28963044/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=1541.88 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273719 0 0 0 154127 61 0 0 20 0 4 0 110528969 1362694144 274682 33554432000 4194304 16246674 140735578241120 140735578223040 5546252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274682 886 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1330756

[startup+1602.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/183 4176
/proc/meminfo: memFree=28963160/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=1601.86 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273719 0 0 0 160124 62 0 0 20 0 4 0 110528969 1362694144 274682 33554432000 4194304 16246674 140735578241120 140735578223040 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274682 886 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1330756

[startup+1662.3 s]
/proc/loadavg: 2.08 2.06 2.07 3/184 4180
/proc/meminfo: memFree=28962696/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=1661.85 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273719 0 0 0 166122 63 0 0 20 0 4 0 110528969 1362694144 274682 33554432000 4194304 16246674 140735578241120 140735578223040 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274682 886 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1330756

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.07 3/183 4182
/proc/meminfo: memFree=28962944/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=1721.85 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273719 0 0 0 172121 64 0 0 20 0 4 0 110528969 1362694144 274682 33554432000 4194304 16246674 140735578241120 140735578223040 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274682 886 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274682 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1330756

[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.06 3/183 4183
/proc/meminfo: memFree=28961880/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=1781.83 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273720 0 0 0 178119 64 0 0 20 0 4 0 110528969 1362694144 274685 33554432000 4194304 16246674 140735578241120 140735578223040 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274685 886 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274685 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274685 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274685 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1330756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 4183
/proc/meminfo: memFree=28962256/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=1800.03 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273720 0 0 0 179939 64 0 0 20 0 4 0 110528969 1362694144 274685 33554432000 4194304 16246674 140735578241120 140735578240296 5823242 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274685 886 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274685 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274685 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274685 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1330756

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

[startup+1800.5 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 4183
/proc/meminfo: memFree=28962256/32872528 swapFree=12328/568296
[pid=4062] ppid=4059 vsize=1330756 CPUtime=1800.03 cores=0,2,4,6
/proc/4062/stat : 4062 (toysat) R 4059 4062 3396 0 -1 4202496 273720 0 0 0 179939 64 0 0 20 0 4 0 110528969 1362694144 274685 33554432000 4194304 16246674 140735578241120 140735578240296 5823242 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4062/statm: 332689 274685 886 2943 0 329583 0
[pid=4062/tid=4063] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4063/stat : 4063 (toysat) S 4059 4062 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274685 33554432000 4194304 16246674 140735578241120 140261046856944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4062/tid=4064] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4064/stat : 4064 (toysat) S 4059 4062 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274685 33554432000 4194304 16246674 140735578241120 140261036367088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4062/tid=4065] ppid=4059 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/4062/task/4065/stat : 4065 (toysat) S 4059 4062 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110528970 1362694144 274685 33554432000 4194304 16246674 140735578241120 140260948307120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1330756

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.4
CPU system time (s): 0.648901
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.648901
maximum resident set size= 1098740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273720
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= 373
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69829 second user time and 6.80497 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-07 09:52:44
IDJOB=4078911
IDBENCH=90188
IDSOLVER=2542
FILE ID=node138/4078911-1465285964
RUNJOBID= node138-1465278758-3412
PBS_JOBID= 19843315
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K175.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078911-1465285964/watcher-4078911-1465285964 -o /tmp/evaluation-result-4078911-1465285964/solver-4078911-1465285964 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3412 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078911-1465285964.opb

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

MD5SUM BENCH= c7b1775204389f0c59bc1b934de7e2c1
RANDOM SEED=831093607

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.807
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:        30072604 kB
Buffers:          108808 kB
Cached:           253580 kB
SwapCached:        46740 kB
Active:          1226132 kB
Inactive:         269696 kB
Active(anon):    1088128 kB
Inactive(anon):    47688 kB
Active(file):     138004 kB
Inactive(file):   222008 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:             17904 kB
Writeback:             0 kB
AnonPages:       1736240 kB
Mapped:            11764 kB
Shmem:                 0 kB
Slab:             602604 kB
SReclaimable:      46264 kB
SUnreclaim:       556340 kB
KernelStack:        1520 kB
PageTables:         7268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1798504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1718272 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= 71712 MiB
End job on node138 at 2016-06-07 10:22:45