Trace number 4078895

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K131.opb
MD5SUMe9be7f2de41339e64a2918d1bf7ead92
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 variables15589
Total number of constraints15853
Number of constraints which are clauses15722
Number of constraints which are cardinality constraints (but not clauses)131
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint131
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 132
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:37:22+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-4078895-1465285042.opb"]
0.00/0.01	c use --random-gen="4117761504 2425958605 754064470 2043383175 9075207 3881703320 2548278863 4271459583 2414386520 4217196482 2846469261 2920303612 1653730249 3841015982 2946652592 3375790096 4131701758 3939194260 3823569815 381110715 364380013 403765738 382000503 2152496245 809323789 3834918515 1666583011 1776322288 1343604505 3303397342 3700341263 4278584025 2826345520 3310431727 3502773854 3836280708 221367220 739133367 352708379 3913067162 419711561 1172608981 4170300294 2323927867 3134358580 388600781 2794721908 1178311398 909239003 2320928916 770020356 727280707 3813883029 3809887879 672569068 1322826241 1642562594 123778044 2080795437 2417589596 2734047399 506885128 4273650980 1057363195 1600729820 1058555246 3226694312 3059147270 218388569 3096593028 1859119842 689890821 1330852523 2081593435 3407037042 1616674816 1141649271 705099102 2601971482 879928894 784065408 2064227384 1061150464 3945091691 3913692362 978584724 36044372 3562457404 3064230693 845973092 4120234679 1629412288 2472132658 1951687099 2917831969 4044343267 2297196513 1414946673 3025050020 335008509 375248933 2546005194 3270811302 2994646455 370495062 2643971324 3279104626 3283158799 3746627639 200523649 2410557931 3599116725 3899107693 918851964 1898809379 3221507482 1992151573 2394720350 1813336596 3776487916 2337300339 1665336564 4116880992 2324632313 2458681818 1648485027 1902882052 1794848622 566164721 3516619928 1985050005 3465189931 2230260373 3807626826 3510776435 3400071877 3395513851 1388725311 474392148 3025586358 1560931314 4037257842 4049357119 896328531 2488263900 1531921745 1042360756 2556922200 465954298 1223920391 2484881715 889438799 576429534 2754788275 1981491983 3614661570 3158892975 3802358410 434595142 3148462712 2608741444 4109430149 3323374424 942822439 3559456974 3666362285 1636938353 28394585 1059963925 57531211 49869720 789538450 2964582058 3556325158 1380344508 1252359625 3944325549 1009132807 3229657892 574273986 3438559104 4029085784 2878459529 282025570 32086400 2383972758 344843449 3014474021 3170926554 243712666 3003079503 2589764589 1266049581 2306014100 3182704020 2471868956 3044485374 4213549597 1437735710 345767457 3202480256 1615676235 876061769 3260058812 2838367802 1305511442 50348682 237752364 3079048504 2609725228 2559506656 3506219760 1039063238 4094187507 3902045821 1330052113 685411432 1709636337 343107160 1069389141 788521484 3141174024 4262765320 3805893879 1862552270 183946028 1790386496 2778276366 2331230028 3546678972 945657103 3065643391 1701298531 2571440156 282413430 1303466117 1828389319 1324474513 1886734763 3288109211 579583138 1006990458 4030216740 1703776546 1828069919 1134347025 1341108924 2966668427 4103415845 3871176509 3519104713 3543031166 2807532577 1128535353 421809594 3590028880 255 362436" option to reproduce the execution
0.19/0.21	c #vars 15589
0.19/0.21	c #constraints 15853
0.49/0.55	c Solving starts ...
0.49/0.55	c ============================[ Search Statistics ]============================
0.49/0.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.55	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.55	c =============================================================================
0.49/0.55	c  0.0s |       0 |        0 |        0 |    10480      0 |      742 |        0
0.99/1.05	c  0.5s |       1 |     3725 |      100 |    10480      0 |      743 |      634
1.39/1.43	c  0.9s |       2 |    11882 |      250 |    11529      0 |      743 |      634
1.99/2.02	c  1.5s |       3 |    19512 |      475 |    12682      0 |      744 |      635
2.89/2.94	c  2.4s |       4 |    31141 |      813 |    13951      0 |      745 |      636
3.89/3.91	c  3.4s |       5 |    38028 |     1320 |    15347      0 |      745 |      636
5.50/5.52	c  5.0s |       6 |    56936 |     2081 |    18571      0 |      747 |      638
7.70/7.73	c  7.2s |       6 |    72365 |     3081 |    18571      0 |      753 |      644
7.99/8.00	c  7.5s |       7 |    73272 |     3223 |    20429      0 |      753 |      644
10.09/10.18	c  9.6s |       7 |    94956 |     4123 |    20429      0 |      755 |      646
12.10/12.18	c 11.6s |       7 |   124166 |     4823 |    20429      0 |      757 |      648
12.39/12.40	c 11.9s |       8 |   125726 |     4936 |    22472      0 |      757 |      648
14.49/14.53	c 14.0s |       8 |   151322 |     5636 |    22472      0 |      763 |      654
16.60/16.66	c 16.1s |       8 |   167634 |     6636 |    22472      0 |      763 |      654
18.59/18.66	c 18.1s |       9 |   191034 |     7506 |    24720      0 |      763 |      654
20.59/20.67	c 20.1s |       9 |   216892 |     8206 |    24720      0 |      764 |      655
22.89/22.91	c 22.4s |       9 |   219033 |     8706 |    24720      0 |      764 |      655
24.99/25.07	c 24.5s |       9 |   234701 |     9506 |    24720      0 |      764 |      655
27.19/27.22	c 26.7s |       9 |   254093 |    10406 |    24720      0 |      764 |      655
29.39/29.44	c 28.9s |       9 |   258376 |    10806 |    24720      0 |      764 |      655
30.89/30.91	c 30.4s |      10 |   273253 |    11361 |    27193      0 |      764 |      655
32.99/33.02	c 32.5s |      10 |   290882 |    12161 |    27193      0 |      765 |      656
34.99/35.10	c 34.5s |      10 |   309233 |    12861 |    27193      0 |      766 |      657
37.08/37.14	c 36.6s |      10 |   313846 |    13461 |    27193      0 |      766 |      657
39.38/39.46	c 38.9s |      10 |   315757 |    13961 |    27193      0 |      766 |      657
41.58/41.64	c 41.1s |      10 |   319150 |    14561 |    27193      0 |      766 |      657
43.59/43.67	c 43.1s |      10 |   323765 |    15161 |    27193      0 |      766 |      657
45.69/45.79	c 45.2s |      10 |   339860 |    15961 |    27193      0 |      766 |      657
48.19/48.27	c 47.7s |      10 |   357511 |    16661 |    27193      0 |      767 |      658
49.89/49.97	c 49.4s |      11 |   366132 |    17144 |    29913      0 |      767 |      658
51.99/52.03	c 51.5s |      11 |   379792 |    17644 |    29913      0 |      769 |      660
54.19/54.27	c 53.7s |      11 |   384237 |    18344 |    29913      0 |      769 |      660
56.68/56.77	c 56.2s |      11 |   386084 |    18844 |    29913      0 |      769 |      660
59.18/59.24	c 58.7s |      11 |   387825 |    19244 |    29913      0 |      769 |      660
61.38/61.45	c 60.9s |      11 |   391757 |    19744 |    29913      0 |      769 |      660
63.58/63.66	c 63.1s |      11 |   408230 |    20444 |    29913      0 |      770 |      661
65.78/65.80	c 65.3s |      11 |   427360 |    21044 |    29913      0 |      771 |      662
67.98/68.07	c 67.5s |      11 |   439250 |    21544 |    29913      0 |      773 |      664
70.08/70.19	c 69.6s |      11 |   455712 |    22144 |    29913      0 |      774 |      665
72.48/72.51	c 72.0s |      11 |   465265 |    22844 |    29913      0 |      775 |      666
74.58/74.63	c 74.1s |      11 |   479487 |    23344 |    29913      0 |      777 |      668
76.78/76.84	c 76.3s |      11 |   496891 |    23944 |    29913      0 |      778 |      669
78.88/78.99	c 78.4s |      11 |   512708 |    24544 |    29913      0 |      778 |      669
80.98/81.02	c 80.5s |      11 |   528137 |    25044 |    29913      0 |      779 |      670
83.18/83.21	c 82.7s |      11 |   537758 |    25744 |    32905      0 |      779 |      670
83.48/83.50	c 83.0s |      12 |   541714 |    25819 |    32905      0 |      779 |      670
85.78/85.82	c 85.3s |      12 |   548870 |    26319 |    32905      0 |      780 |      671
87.78/87.88	c 87.3s |      12 |   550922 |    26719 |    32905      0 |      780 |      671
89.98/90.06	c 89.5s |      12 |   552399 |    27019 |    32905      0 |      780 |      671
92.68/92.70	c 92.2s |      12 |   554030 |    27419 |    32905      0 |      780 |      671
95.08/95.18	c 94.6s |      12 |   554885 |    27719 |    32905      0 |      780 |      671
97.58/97.69	c 97.1s |      12 |   556832 |    28119 |    32905      0 |      780 |      671
100.28/100.34	c 99.8s |      12 |   559146 |    28519 |    32905      0 |      780 |      671
102.68/102.73	c  102s |      12 |   559827 |    28719 |    32905      0 |      780 |      671
104.88/104.94	c  104s |      12 |   561526 |    29019 |    32905      0 |      780 |      671
107.37/107.41	c  106s |      12 |   563744 |    29419 |    32905      0 |      780 |      671
109.57/109.68	c  109s |      12 |   565086 |    29719 |    32905      0 |      780 |      671
111.77/111.87	c  111s |      12 |   566638 |    30119 |    32905      0 |      780 |      671
114.07/114.13	c  113s |      12 |   568628 |    30519 |    32905      0 |      780 |      671
116.77/116.88	c  116s |      12 |   570119 |    30919 |    32905      0 |      780 |      671
119.78/119.88	c  119s |      12 |   571958 |    31319 |    32905      0 |      780 |      671
122.08/122.18	c  121s |      12 |   574912 |    31719 |    32905      0 |      780 |      671
124.18/124.29	c  123s |      12 |   576572 |    32119 |    32905      0 |      780 |      671
126.67/126.74	c  126s |      12 |   577453 |    32419 |    32905      0 |      780 |      671
129.47/129.58	c  129s |      12 |   578238 |    32719 |    32905      0 |      780 |      671
131.57/131.63	c  131s |      12 |   578747 |    32919 |    32905      0 |      780 |      671
134.07/134.12	c  133s |      12 |   579372 |    33119 |    32905      0 |      780 |      671
136.27/136.38	c  135s |      12 |   579954 |    33319 |    32905      0 |      780 |      671
139.67/139.72	c  139s |      12 |   581081 |    33619 |    32905      0 |      780 |      671
142.07/142.19	c  141s |      12 |   582675 |    33919 |    32905      0 |      780 |      671
144.17/144.26	c  143s |      12 |   583266 |    34119 |    32905      0 |      780 |      671
146.77/146.85	c  146s |      12 |   583775 |    34319 |    32905      0 |      780 |      671
149.87/149.99	c  149s |      12 |   585167 |    34619 |    32905      0 |      780 |      671
152.27/152.34	c  151s |      12 |   585996 |    34819 |    32905      0 |      780 |      671
154.37/154.42	c  153s |      12 |   596193 |    35119 |    32905      1 |      780 |      671
157.17/157.26	c  156s |      12 |   621688 |    36019 |    32905      1 |      781 |      672
159.47/159.59	c  159s |      12 |   625019 |    36419 |    32905      1 |      782 |      673
161.86/161.96	c  161s |      12 |   626786 |    36919 |    32905      1 |      782 |      673
163.87/163.97	c  163s |      12 |   628647 |    37419 |    32905      1 |      782 |      673
166.07/166.12	c  165s |      12 |   630578 |    37919 |    32905      1 |      782 |      673
168.57/168.67	c  168s |      12 |   632402 |    38419 |    32905      1 |      782 |      673
170.67/170.76	c  170s |      13 |   640073 |    38832 |    36196      1 |      783 |      674
172.87/172.99	c  172s |      13 |   659061 |    39332 |    36196      1 |      783 |      674
174.98/175.09	c  174s |      13 |   679225 |    39932 |    36196      1 |      783 |      674
177.37/177.41	c  176s |      13 |   699696 |    40732 |    36196      1 |      783 |      674
179.47/179.58	c  179s |      13 |   715700 |    41532 |    36196      1 |      783 |      674
181.67/181.72	c  181s |      13 |   737859 |    42232 |    36196      1 |      783 |      674
183.77/183.81	c  183s |      13 |   749875 |    42832 |    36196      1 |      783 |      674
185.87/185.98	c  185s |      13 |   754812 |    43232 |    36196      1 |      783 |      674
188.07/188.12	c  187s |      13 |   761998 |    43832 |    36196      1 |      783 |      674
190.27/190.32	c  189s |      13 |   765155 |    44432 |    36196      1 |      783 |      674
192.26/192.32	c  191s |      13 |   781347 |    45132 |    36196      1 |      783 |      674
194.36/194.43	c  193s |      13 |   800626 |    45832 |    36196      1 |      783 |      674
196.56/196.66	c  196s |      13 |   806510 |    46632 |    36196      1 |      783 |      674
198.56/198.68	c  198s |      13 |   812229 |    47132 |    36196      1 |      783 |      674
200.96/201.00	c  200s |      13 |   825063 |    48032 |    36196      1 |      783 |      674
203.06/203.11	c  202s |      13 |   843733 |    48632 |    36196      1 |      783 |      674
205.06/205.16	c  204s |      13 |   854229 |    49432 |    36196      1 |      783 |      674
207.06/207.19	c  206s |      13 |   869472 |    50032 |    36196      1 |      783 |      674
209.56/209.69	c  209s |      13 |   883901 |    50732 |    36196      1 |      783 |      674
211.76/211.88	c  211s |      13 |   895015 |    51332 |    36196      1 |      783 |      674
213.86/213.90	c  213s |      13 |   898624 |    51832 |    36196      1 |      783 |      674
215.96/216.01	c  215s |      13 |   906860 |    52532 |    36196      1 |      783 |      674
217.96/218.09	c  217s |      13 |   915498 |    53232 |    36196      1 |      783 |      674
220.07/220.12	c  219s |      13 |   926738 |    53832 |    36196      1 |      783 |      674
222.06/222.15	c  221s |      13 |   936096 |    54432 |    36196      1 |      783 |      674
224.06/224.16	c  223s |      13 |   943757 |    55032 |    36196      1 |      783 |      674
226.36/226.46	c  225s |      13 |   948523 |    55532 |    36196      1 |      783 |      674
228.46/228.51	c  227s |      13 |   957562 |    56132 |    36196      1 |      783 |      674
230.76/230.82	c  230s |      13 |   961419 |    56632 |    36196      1 |      783 |      674
232.86/232.93	c  232s |      13 |   975075 |    57232 |    36196      1 |      783 |      674
235.06/235.10	c  234s |      13 |   981137 |    57632 |    36196      2 |      783 |      674
237.16/237.21	c  236s |      13 |   989396 |    58332 |    39816      2 |      783 |      674
237.16/237.25	c  236s |      14 |   989412 |    58352 |    39816      2 |      783 |      674
239.26/239.31	c  238s |      14 |  1000664 |    58952 |    39816      2 |      783 |      674
241.56/241.60	c  241s |      14 |  1015548 |    59652 |    39816      2 |      783 |      674
243.56/243.65	c  243s |      14 |  1024460 |    60252 |    39816      2 |      783 |      674
245.75/245.84	c  245s |      14 |  1035320 |    60952 |    39816      2 |      783 |      674
247.85/247.92	c  247s |      14 |  1055336 |    61652 |    39816      2 |      783 |      674
249.95/250.03	c  249s |      14 |  1069158 |    62352 |    39816      2 |      784 |      675
252.35/252.43	c  251s |      14 |  1082513 |    63052 |    39816      2 |      784 |      675
254.75/254.88	c  254s |      14 |  1096048 |    63752 |    39816      2 |      786 |      677
256.95/257.03	c  256s |      14 |  1115539 |    64452 |    39816      2 |      786 |      677
259.05/259.13	c  258s |      14 |  1123541 |    65052 |    39816      2 |      787 |      678
261.25/261.33	c  260s |      14 |  1139981 |    65752 |    39816      2 |      787 |      678
263.45/263.52	c  262s |      14 |  1144963 |    66252 |    39816      2 |      788 |      679
265.65/265.70	c  265s |      14 |  1148392 |    66852 |    39816      2 |      788 |      679
267.65/267.78	c  267s |      14 |  1151629 |    67452 |    39816      2 |      788 |      679
269.95/270.02	c  269s |      14 |  1154203 |    68152 |    39816      2 |      788 |      679
272.45/272.51	c  271s |      14 |  1156492 |    68652 |    39816      2 |      788 |      679
274.75/274.88	c  274s |      14 |  1174018 |    69252 |    39816      2 |      788 |      679
277.05/277.17	c  276s |      14 |  1180053 |    69652 |    39816      2 |      788 |      679
279.25/279.36	c  278s |      14 |  1185359 |    70052 |    39816      2 |      788 |      679
281.55/281.63	c  281s |      14 |  1194097 |    70852 |    39816      2 |      788 |      679
283.55/283.70	c  283s |      14 |  1201163 |    71552 |    39816      2 |      788 |      679
285.85/285.96	c  285s |      14 |  1204673 |    72052 |    39816      2 |      788 |      679
288.15/288.29	c  287s |      14 |  1209958 |    72552 |    39816      2 |      788 |      679
290.45/290.58	c  290s |      14 |  1213575 |    73252 |    39816      2 |      788 |      679
292.55/292.67	c  292s |      14 |  1218158 |    73752 |    39816      2 |      788 |      679
294.65/294.75	c  294s |      14 |  1228243 |    74352 |    39816      2 |      788 |      679
296.74/296.81	c  296s |      14 |  1229856 |    74852 |    39816      2 |      788 |      679
299.44/299.54	c  298s |      14 |  1235552 |    75252 |    39816      2 |      788 |      679
301.64/301.74	c  301s |      14 |  1238553 |    75752 |    39816      2 |      788 |      679
304.44/304.51	c  303s |      14 |  1240220 |    76152 |    39816      2 |      788 |      679
306.95/307.03	c  306s |      14 |  1248134 |    76652 |    39816      2 |      788 |      679
309.05/309.16	c  308s |      14 |  1257951 |    77252 |    39816      2 |      788 |      679
311.14/311.26	c  310s |      14 |  1263867 |    77752 |    39816      2 |      788 |      679
313.34/313.50	c  312s |      14 |  1266732 |    78052 |    39816      2 |      788 |      679
315.54/315.62	c  315s |      14 |  1268207 |    78452 |    39816      2 |      788 |      679
317.74/317.90	c  317s |      14 |  1273838 |    79052 |    39816      2 |      788 |      679
320.15/320.27	c  319s |      14 |  1276762 |    79352 |    39816      2 |      788 |      679
322.44/322.56	c  322s |      14 |  1284076 |    79652 |    39816      2 |      788 |      679
324.84/324.90	c  324s |      14 |  1293513 |    80252 |    39816      2 |      788 |      679
327.04/327.13	c  326s |      14 |  1305209 |    80852 |    39816      2 |      788 |      679
331.05/331.13	c  330s |      14 |  1311732 |    81352 |    39816      2 |      788 |      679
333.35/333.46	c  332s |      14 |  1312089 |    81452 |    39816      2 |      788 |      679
335.74/335.86	c  335s |      14 |  1319031 |    82052 |    39816      2 |      788 |      679
337.84/337.91	c  337s |      14 |  1321889 |    82552 |    39816      2 |      788 |      679
339.84/339.99	c  339s |      14 |  1323927 |    83152 |    39816      2 |      788 |      679
341.94/342.10	c  341s |      14 |  1325628 |    83552 |    39816      2 |      788 |      679
344.24/344.39	c  343s |      14 |  1327207 |    83852 |    39816      2 |      788 |      679
346.34/346.49	c  345s |      14 |  1328007 |    84152 |    39816      2 |      788 |      679
348.54/348.61	c  348s |      14 |  1330444 |    84652 |    39816      2 |      788 |      679
351.73/351.89	c  351s |      14 |  1332134 |    84952 |    39816      3 |      788 |      679
354.73/354.86	c  354s |      14 |  1332762 |    85152 |    39816      3 |      788 |      679
357.44/357.54	c  356s |      14 |  1334511 |    85352 |    39816      3 |      788 |      679
359.74/359.82	c  359s |      14 |  1342292 |    85952 |    39816      3 |      788 |      679
361.94/362.07	c  361s |      14 |  1353563 |    86652 |    39816      3 |      788 |      679
364.43/364.55	c  363s |      14 |  1364986 |    87152 |    43798      3 |      788 |      679
366.43/366.56	c  366s |      15 |  1374603 |    87632 |    43798      3 |      788 |      679
368.54/368.69	c  368s |      15 |  1385224 |    88232 |    43798      3 |      788 |      679
370.64/370.78	c  370s |      15 |  1387863 |    88832 |    43798      3 |      788 |      679
372.73/372.87	c  372s |      15 |  1389766 |    89332 |    43798      3 |      788 |      679
375.33/375.48	c  374s |      15 |  1390828 |    89732 |    43798      3 |      788 |      679
377.73/377.82	c  377s |      15 |  1407271 |    90332 |    43798      3 |      788 |      679
380.23/380.37	c  379s |      15 |  1419899 |    91032 |    43798      3 |      790 |      681
382.43/382.54	c  381s |      15 |  1430796 |    91732 |    43798      3 |      790 |      681
384.63/384.74	c  384s |      15 |  1442942 |    92232 |    43798      3 |      792 |      683
386.73/386.80	c  386s |      15 |  1459864 |    92832 |    43798      3 |      792 |      683
389.03/389.14	c  388s |      15 |  1473256 |    93732 |    43798      3 |      792 |      683
391.03/391.18	c  390s |      15 |  1485128 |    94232 |    43798      3 |      793 |      684
393.23/393.33	c  392s |      15 |  1503834 |    94832 |    43798      3 |      793 |      684
395.63/395.76	c  395s |      15 |  1519533 |    95432 |    43798      3 |      793 |      684
397.93/398.06	c  397s |      15 |  1531765 |    96032 |    43798      3 |      794 |      685
400.53/400.66	c  400s |      15 |  1547516 |    96832 |    43798      3 |      795 |      686
402.72/402.85	c  402s |      15 |  1557736 |    97432 |    43798      3 |      796 |      687
405.03/405.11	c  404s |      15 |  1563588 |    98232 |    43798      3 |      796 |      687
407.33/407.46	c  406s |      15 |  1570867 |    98832 |    43798      3 |      796 |      687
409.53/409.67	c  409s |      15 |  1575532 |    99232 |    43798      3 |      796 |      687
411.53/411.68	c  411s |      15 |  1586935 |    99832 |    43798      3 |      796 |      687
413.93/414.09	c  413s |      15 |  1590608 |   100332 |    43798      3 |      796 |      687
416.03/416.10	c  415s |      15 |  1591982 |   100632 |    43798      3 |      796 |      687
418.93/419.07	c  418s |      15 |  1594107 |   101032 |    43798      3 |      796 |      687
421.13/421.23	c  420s |      15 |  1600346 |   101732 |    43798      3 |      796 |      687
423.33/423.46	c  422s |      15 |  1606907 |   102332 |    43798      3 |      796 |      687
425.53/425.67	c  425s |      15 |  1612424 |   102932 |    43798      3 |      796 |      687
427.93/428.02	c  427s |      15 |  1615685 |   103532 |    43798      3 |      796 |      687
430.03/430.17	c  429s |      15 |  1617473 |   103932 |    43798      3 |      796 |      687
432.63/432.71	c  432s |      15 |  1619330 |   104332 |    43798      3 |      796 |      687
434.92/435.05	c  434s |      15 |  1621246 |   104632 |    43798      3 |      796 |      687
437.92/438.09	c  437s |      15 |  1623358 |   104932 |    43798      3 |      796 |      687
440.12/440.28	c  439s |      15 |  1627386 |   105432 |    43798      3 |      796 |      687
442.32/442.43	c  441s |      15 |  1630238 |   105932 |    43798      3 |      796 |      687
444.82/444.96	c  444s |      15 |  1632144 |   106232 |    43798      3 |      796 |      687
447.22/447.36	c  446s |      15 |  1635220 |   106632 |    43798      3 |      796 |      687
449.42/449.56	c  449s |      15 |  1636842 |   107032 |    43798      3 |      796 |      687
451.52/451.67	c  451s |      15 |  1639061 |   107432 |    43798      3 |      796 |      687
453.62/453.71	c  453s |      15 |  1640324 |   107732 |    43798      3 |      796 |      687
455.82/455.93	c  455s |      15 |  1642192 |   108132 |    43798      3 |      796 |      687
457.92/458.07	c  457s |      15 |  1644660 |   108632 |    43798      3 |      796 |      687
460.42/460.56	c  460s |      15 |  1646758 |   109032 |    43798      3 |      796 |      687
462.72/462.83	c  462s |      15 |  1648672 |   109432 |    43798      3 |      796 |      687
465.62/465.70	c  465s |      15 |  1652060 |   109932 |    43798      3 |      796 |      687
468.12/468.27	c  467s |      15 |  1653964 |   110332 |    43798      3 |      796 |      687
470.22/470.38	c  469s |      15 |  1654446 |   110532 |    43798      3 |      796 |      687
472.93/473.09	c  472s |      15 |  1656396 |   110932 |    43798      3 |      796 |      687
475.13/475.22	c  474s |      15 |  1657984 |   111232 |    43798      3 |      796 |      687
477.22/477.33	c  476s |      15 |  1659476 |   111532 |    43798      3 |      796 |      687
479.72/479.86	c  479s |      15 |  1660392 |   111832 |    43798      3 |      796 |      687
482.52/482.61	c  482s |      15 |  1661800 |   112132 |    43798      3 |      796 |      687
485.22/485.32	c  484s |      15 |  1662397 |   112332 |    43798      3 |      796 |      687
487.32/487.41	c  486s |      15 |  1662916 |   112532 |    43798      3 |      796 |      687
490.31/490.43	c  489s |      15 |  1663923 |   112832 |    43798      3 |      796 |      687
492.91/493.05	c  492s |      15 |  1664947 |   113132 |    43798      3 |      796 |      687
495.02/495.13	c  494s |      15 |  1665350 |   113332 |    43798      3 |      796 |      687
498.12/498.20	c  497s |      15 |  1666155 |   113632 |    43798      3 |      796 |      687
500.12/500.26	c  499s |      15 |  1667043 |   113832 |    43798      3 |      796 |      687
502.42/502.50	c  501s |      15 |  1668246 |   114032 |    43798      3 |      796 |      687
504.82/504.94	c  504s |      15 |  1668738 |   114232 |    43798      3 |      796 |      687
507.31/507.48	c  506s |      15 |  1669279 |   114432 |    43798      3 |      796 |      687
509.41/509.58	c  509s |      15 |  1669659 |   114532 |    43798      4 |      796 |      687
512.31/512.49	c  511s |      15 |  1671090 |   114832 |    43798      4 |      796 |      687
514.72/514.83	c  514s |      15 |  1671618 |   115032 |    43798      4 |      796 |      687
517.71/517.83	c  517s |      15 |  1672718 |   115332 |    43798      4 |      796 |      687
521.01/521.12	c  520s |      15 |  1673584 |   115632 |    43798      4 |      796 |      687
523.11/523.22	c  522s |      15 |  1677721 |   116232 |    43798      4 |      796 |      687
525.11/525.25	c  524s |      15 |  1680989 |   116732 |    43798      4 |      796 |      687
527.21/527.31	c  526s |      15 |  1682263 |   117032 |    43798      4 |      796 |      687
529.51/529.63	c  529s |      15 |  1682990 |   117232 |    43798      4 |      796 |      687
531.91/532.07	c  531s |      15 |  1684464 |   117432 |    43798      4 |      796 |      687
534.11/534.28	c  533s |      15 |  1688093 |   117832 |    43798      4 |      796 |      687
536.51/536.69	c  536s |      15 |  1692987 |   118532 |    43798      4 |      796 |      687
538.92/539.05	c  538s |      15 |  1696228 |   119032 |    43798      4 |      796 |      687
541.12/541.24	c  540s |      15 |  1699118 |   119532 |    43798      4 |      796 |      687
543.21/543.40	c  542s |      15 |  1702098 |   120032 |    43798      4 |      796 |      687
545.62/545.75	c  545s |      15 |  1703917 |   120432 |    43798      4 |      796 |      687
547.91/548.07	c  547s |      15 |  1705994 |   120832 |    43798      4 |      796 |      687
550.71/550.86	c  550s |      15 |  1707713 |   121232 |    43798      4 |      796 |      687
552.91/553.05	c  552s |      15 |  1709074 |   121532 |    43798      4 |      796 |      687
555.31/555.47	c  554s |      15 |  1709744 |   121832 |    43798      4 |      796 |      687
558.00/558.15	c  557s |      15 |  1710606 |   122132 |    43798      4 |      796 |      687
560.60/560.75	c  560s |      15 |  1712255 |   122532 |    43798      4 |      796 |      687
562.90/563.03	c  562s |      15 |  1714156 |   122932 |    43798      4 |      796 |      687
565.11/565.21	c  564s |      15 |  1714923 |   123232 |    43798      4 |      796 |      687
567.62/567.77	c  567s |      15 |  1715979 |   123532 |    43798      4 |      796 |      687
569.71/569.84	c  569s |      15 |  1716834 |   123832 |    43798      4 |      796 |      687
572.21/572.38	c  571s |      15 |  1718246 |   124232 |    43798      4 |      796 |      687
575.21/575.32	c  574s |      15 |  1719621 |   124532 |    43798      4 |      796 |      687
577.90/578.06	c  577s |      15 |  1720172 |   124732 |    43798      4 |      796 |      687
580.50/580.61	c  580s |      15 |  1720755 |   124932 |    43798      4 |      796 |      687
582.80/582.96	c  582s |      15 |  1722037 |   125232 |    43798      4 |      796 |      687
584.90/585.06	c  584s |      15 |  1723136 |   125532 |    43798      4 |      796 |      687
587.60/587.73	c  587s |      15 |  1725181 |   125832 |    43798      4 |      796 |      687
590.20/590.32	c  589s |      15 |  1727175 |   126132 |    43798      4 |      796 |      687
592.60/592.76	c  592s |      15 |  1730991 |   126432 |    43798      4 |      796 |      687
594.80/594.97	c  594s |      15 |  1732396 |   126732 |    43798      4 |      796 |      687
596.90/597.09	c  596s |      15 |  1734540 |   127032 |    43798      4 |      796 |      687
599.20/599.37	c  598s |      15 |  1736276 |   127332 |    43798      4 |      796 |      687
602.00/602.18	c  601s |      15 |  1737114 |   127532 |    43798      4 |      796 |      687
605.01/605.12	c  604s |      15 |  1738511 |   127832 |    43798      4 |      796 |      687
608.00/608.16	c  607s |      15 |  1739350 |   128032 |    43798      4 |      796 |      687
611.00/611.14	c  610s |      15 |  1740056 |   128232 |    43798      4 |      796 |      687
613.90/614.02	c  613s |      15 |  1740826 |   128432 |    43798      4 |      796 |      687
616.49/616.61	c  616s |      15 |  1741988 |   128732 |    43798      4 |      796 |      687
618.49/618.62	c  618s |      15 |  1742422 |   128932 |    43798      4 |      796 |      687
620.69/620.83	c  620s |      15 |  1743111 |   129132 |    43798      4 |      796 |      687
622.99/623.19	c  622s |      15 |  1743633 |   129332 |    43798      4 |      796 |      687
625.40/625.55	c  624s |      15 |  1744422 |   129532 |    43798      4 |      796 |      687
627.70/627.85	c  627s |      15 |  1745212 |   129732 |    43798      4 |      796 |      687
630.30/630.48	c  629s |      15 |  1745801 |   129932 |    43798      4 |      796 |      687
632.89/633.07	c  632s |      15 |  1746987 |   130232 |    43798      4 |      796 |      687
635.99/636.11	c  635s |      15 |  1747941 |   130532 |    43798      4 |      796 |      687
638.00/638.12	c  637s |      15 |  1749224 |   130732 |    48178      4 |      796 |      687
641.30/641.43	c  640s |      15 |  1749778 |   130932 |    48178      4 |      796 |      687
643.90/644.03	c  643s |      15 |  1750393 |   131132 |    48178      4 |      796 |      687
646.50/646.65	c  646s |      15 |  1751111 |   131332 |    48178      4 |      796 |      687
649.49/649.65	c  649s |      15 |  1752370 |   131532 |    48178      4 |      796 |      687
649.89/650.06	c  649s |      16 |  1752382 |   131552 |    48178      4 |      796 |      687
652.39/652.51	c  651s |      16 |  1754345 |   131752 |    48178      4 |      796 |      687
655.29/655.42	c  654s |      16 |  1754835 |   131952 |    48178      4 |      796 |      687
658.49/658.68	c  658s |      16 |  1772664 |   132452 |    48178      4 |      797 |      688
660.59/660.78	c  660s |      16 |  1785917 |   133252 |    48178      4 |      797 |      688
663.30/663.45	c  662s |      16 |  1794629 |   133752 |    48178      4 |      798 |      689
665.50/665.65	c  665s |      16 |  1811306 |   134452 |    48178      4 |      798 |      689
667.70/667.83	c  667s |      16 |  1818000 |   135152 |    48178      4 |      798 |      689
669.99/670.14	c  669s |      16 |  1834646 |   135852 |    48178      4 |      798 |      689
672.79/672.91	c  672s |      16 |  1846874 |   136352 |    48178      4 |      799 |      690
677.29/677.44	c  676s |      16 |  1858326 |   136652 |    48178      5 |      801 |      692
679.59/679.72	c  679s |      16 |  1875621 |   137352 |    48178      5 |      801 |      692
682.09/682.28	c  681s |      16 |  1889363 |   137952 |    48178      5 |      803 |      694
684.19/684.39	c  683s |      16 |  1904612 |   138652 |    48178      5 |      803 |      694
686.18/686.40	c  685s |      16 |  1919106 |   139352 |    48178      5 |      803 |      694
688.49/688.65	c  688s |      16 |  1938209 |   140252 |    48178      5 |      803 |      694
690.48/690.68	c  690s |      16 |  1952031 |   140952 |    48178      5 |      803 |      694
692.68/692.81	c  692s |      16 |  1958145 |   141552 |    48178      5 |      803 |      694
694.88/695.10	c  694s |      16 |  1967055 |   142352 |    48178      5 |      803 |      694
696.98/697.13	c  696s |      16 |  1982094 |   142952 |    48178      5 |      803 |      694
699.08/699.23	c  698s |      16 |  1986084 |   143552 |    48178      5 |      803 |      694
701.08/701.28	c  700s |      16 |  1995274 |   144052 |    48178      5 |      803 |      694
703.28/703.48	c  702s |      16 |  2010764 |   144852 |    48178      5 |      803 |      694
705.38/705.58	c  705s |      16 |  2021225 |   145652 |    48178      5 |      803 |      694
707.58/707.70	c  707s |      16 |  2028313 |   146252 |    48178      5 |      803 |      694
709.59/709.77	c  709s |      16 |  2037172 |   146852 |    48178      5 |      803 |      694
711.59/711.77	c  711s |      16 |  2050803 |   147552 |    48178      5 |      803 |      694
713.69/713.88	c  713s |      16 |  2062045 |   148152 |    48178      5 |      803 |      694
715.79/715.94	c  715s |      16 |  2069484 |   148852 |    48178      5 |      803 |      694
717.89/718.01	c  717s |      16 |  2080764 |   149652 |    48178      5 |      803 |      694
720.08/720.22	c  719s |      16 |  2091510 |   150252 |    48178      5 |      803 |      694
722.48/722.61	c  722s |      16 |  2097844 |   150852 |    48178      5 |      803 |      694
724.89/725.02	c  724s |      16 |  2110753 |   151552 |    48178      5 |      803 |      694
726.88/727.09	c  726s |      16 |  2123784 |   152152 |    48178      5 |      803 |      694
729.08/729.27	c  728s |      16 |  2136312 |   152852 |    48178      5 |      803 |      694
731.39/731.52	c  730s |      16 |  2154734 |   153552 |    48178      5 |      803 |      694
733.48/733.61	c  733s |      16 |  2165858 |   154252 |    48178      5 |      803 |      694
735.58/735.79	c  735s |      16 |  2184574 |   154852 |    48178      5 |      803 |      694
737.78/737.98	c  737s |      16 |  2197542 |   155552 |    48178      5 |      803 |      694
740.19/740.32	c  739s |      16 |  2212686 |   156252 |    48178      5 |      803 |      694
742.49/742.63	c  742s |      16 |  2220330 |   156852 |    48178      5 |      803 |      694
744.59/744.78	c  744s |      16 |  2233267 |   157552 |    48178      5 |      803 |      694
746.98/747.13	c  746s |      16 |  2240726 |   158052 |    48178      5 |      803 |      694
749.08/749.21	c  748s |      16 |  2246227 |   158552 |    48178      5 |      803 |      694
751.78/751.93	c  751s |      16 |  2250811 |   159152 |    48178      5 |      803 |      694
754.28/754.41	c  753s |      16 |  2253287 |   159552 |    48178      5 |      803 |      694
756.38/756.54	c  755s |      16 |  2256978 |   160052 |    48178      5 |      803 |      694
758.58/758.76	c  758s |      16 |  2262647 |   160752 |    48178      5 |      803 |      694
760.77/760.95	c  760s |      16 |  2265815 |   161352 |    48178      5 |      803 |      694
762.77/762.96	c  762s |      16 |  2269446 |   162052 |    48178      5 |      803 |      694
765.17/765.32	c  764s |      16 |  2272918 |   162652 |    48178      5 |      803 |      694
767.27/767.41	c  766s |      16 |  2274945 |   163052 |    48178      5 |      803 |      694
769.27/769.45	c  768s |      16 |  2276931 |   163452 |    48178      5 |      803 |      694
771.47/771.61	c  771s |      16 |  2279414 |   163952 |    48178      5 |      803 |      694
774.27/774.46	c  773s |      16 |  2280920 |   164352 |    48178      5 |      803 |      694
776.57/776.71	c  776s |      16 |  2283147 |   164752 |    48178      5 |      803 |      694
779.27/779.42	c  778s |      16 |  2284679 |   165152 |    48178      5 |      803 |      694
781.27/781.50	c  780s |      16 |  2286877 |   165452 |    48178      5 |      803 |      694
783.96/784.18	c  783s |      16 |  2287320 |   165652 |    48178      5 |      803 |      694
786.47/786.66	c  786s |      16 |  2288145 |   165852 |    48178      5 |      803 |      694
789.56/789.75	c  789s |      16 |  2289005 |   166052 |    48178      5 |      803 |      694
792.16/792.30	c  791s |      16 |  2289857 |   166252 |    48178      5 |      803 |      694
794.36/794.52	c  793s |      16 |  2294337 |   166552 |    48178      6 |      803 |      694
796.56/796.72	c  796s |      16 |  2296872 |   166952 |    48178      6 |      803 |      694
798.76/798.92	c  798s |      16 |  2300298 |   167452 |    48178      6 |      803 |      694
800.77/800.93	c  800s |      16 |  2304215 |   167852 |    48178      6 |      803 |      694
802.97/803.15	c  802s |      16 |  2316493 |   168552 |    48178      6 |      803 |      694
805.46/805.62	c  805s |      16 |  2319279 |   168952 |    48178      6 |      803 |      694
808.06/808.22	c  807s |      16 |  2320111 |   169152 |    48178      6 |      803 |      694
810.16/810.39	c  809s |      16 |  2321922 |   169352 |    48178      6 |      803 |      694
813.87/814.08	c  813s |      16 |  2323261 |   169552 |    48178      6 |      803 |      694
816.57/816.76	c  816s |      16 |  2324793 |   169752 |    48178      6 |      803 |      694
819.87/820.08	c  819s |      16 |  2325919 |   169952 |    48178      6 |      803 |      694
823.77/823.96	c  823s |      16 |  2327810 |   170252 |    48178      6 |      803 |      694
825.76/825.99	c  825s |      16 |  2337416 |   170752 |    48178      6 |      803 |      694
828.27/828.44	c  827s |      16 |  2341734 |   171152 |    48178      6 |      803 |      694
830.37/830.51	c  829s |      16 |  2347107 |   171752 |    48178      6 |      803 |      694
832.86/833.05	c  832s |      16 |  2353190 |   172252 |    48178      6 |      803 |      694
834.87/835.06	c  834s |      16 |  2356664 |   172652 |    48178      6 |      803 |      694
837.36/837.53	c  836s |      16 |  2362210 |   173252 |    48178      6 |      803 |      694
839.36/839.53	c  838s |      16 |  2368069 |   173752 |    48178      6 |      803 |      694
841.66/841.81	c  841s |      16 |  2370229 |   174152 |    48178      6 |      803 |      694
847.46/847.69	c  847s |      16 |  2371203 |   174352 |    48178      6 |      803 |      694
849.66/849.83	c  849s |      16 |  2377093 |   174852 |    48178      6 |      803 |      694
851.76/851.90	c  851s |      16 |  2378910 |   175152 |    48178      6 |      803 |      694
853.76/853.99	c  853s |      16 |  2382826 |   175552 |    48178      6 |      803 |      694
856.15/856.35	c  855s |      16 |  2387087 |   175952 |    48178      6 |      803 |      694
858.65/858.86	c  858s |      16 |  2390484 |   176352 |    48178      6 |      803 |      694
861.05/861.27	c  860s |      16 |  2393018 |   176652 |    48178      6 |      803 |      694
863.45/863.69	c  863s |      16 |  2394193 |   176852 |    48178      6 |      803 |      694
865.55/865.79	c  865s |      16 |  2397438 |   177152 |    48178      6 |      803 |      694
868.35/868.56	c  868s |      16 |  2399134 |   177452 |    48178      6 |      803 |      694
872.04/872.21	c  871s |      16 |  2399801 |   177652 |    48178      6 |      803 |      694
874.84/875.08	c  874s |      16 |  2402623 |   178052 |    48178      6 |      803 |      694
877.84/878.07	c  877s |      16 |  2403608 |   178252 |    48178      6 |      803 |      694
880.54/880.73	c  880s |      16 |  2405272 |   178652 |    48178      6 |      803 |      694
883.34/883.54	c  882s |      16 |  2406949 |   178952 |    48178      6 |      803 |      694
885.35/885.58	c  885s |      16 |  2408765 |   179152 |    48178      6 |      803 |      694
888.25/888.44	c  887s |      16 |  2411041 |   179452 |    48178      6 |      803 |      694
890.45/890.65	c  890s |      16 |  2413370 |   179752 |    48178      6 |      803 |      694
892.55/892.74	c  892s |      16 |  2416434 |   180052 |    48178      6 |      803 |      694
895.64/895.89	c  895s |      16 |  2418333 |   180352 |    48178      6 |      803 |      694
897.94/898.18	c  897s |      16 |  2420457 |   180652 |    48178      6 |      803 |      694
900.54/900.79	c  900s |      16 |  2425107 |   181052 |    48178      6 |      803 |      694
903.14/903.39	c  902s |      16 |  2425955 |   181252 |    48178      6 |      803 |      694
906.25/906.48	c  905s |      16 |  2426337 |   181352 |    48178      6 |      803 |      694
908.45/908.70	c  908s |      16 |  2428128 |   181552 |    48178      6 |      803 |      694
910.74/910.96	c  910s |      16 |  2431845 |   181852 |    48178      6 |      803 |      694
912.94/913.14	c  912s |      16 |  2438296 |   182452 |    48178      6 |      803 |      694
915.23/915.40	c  914s |      16 |  2444929 |   183152 |    48178      6 |      803 |      694
917.24/917.45	c  916s |      16 |  2450194 |   183652 |    48178      6 |      803 |      694
919.63/919.82	c  919s |      16 |  2458901 |   184252 |    48178      6 |      803 |      694
921.73/921.93	c  921s |      16 |  2468372 |   184652 |    48178      6 |      803 |      694
923.73/923.97	c  923s |      16 |  2474223 |   185152 |    48178      6 |      803 |      694
925.73/925.99	c  925s |      16 |  2482450 |   185652 |    48178      6 |      803 |      694
928.02/928.24	c  927s |      16 |  2494902 |   186352 |    48178      6 |      803 |      694
930.32/930.56	c  930s |      16 |  2503917 |   186852 |    48178      6 |      803 |      694
932.63/932.82	c  932s |      16 |  2517494 |   187452 |    48178      6 |      803 |      694
935.02/935.20	c  934s |      16 |  2530599 |   188052 |    48178      6 |      803 |      694
937.22/937.46	c  936s |      16 |  2543794 |   188752 |    48178      6 |      803 |      694
939.23/939.49	c  938s |      16 |  2557916 |   189252 |    48178      6 |      803 |      694
941.62/941.84	c  941s |      16 |  2565922 |   189552 |    48178      7 |      803 |      694
943.82/944.08	c  943s |      16 |  2581836 |   190152 |    48178      7 |      803 |      694
946.12/946.36	c  945s |      16 |  2594773 |   190852 |    48178      7 |      803 |      694
948.12/948.37	c  947s |      16 |  2613678 |   191452 |    48178      7 |      803 |      694
950.32/950.56	c  950s |      16 |  2625281 |   192052 |    48178      7 |      803 |      694
952.62/952.87	c  952s |      16 |  2630049 |   192652 |    48178      7 |      803 |      694
954.82/955.05	c  954s |      16 |  2632717 |   193152 |    48178      7 |      803 |      694
957.22/957.48	c  956s |      16 |  2633949 |   193452 |    48178      7 |      803 |      694
959.62/959.87	c  959s |      16 |  2635344 |   193852 |    48178      7 |      803 |      694
962.12/962.32	c  961s |      16 |  2644031 |   194552 |    48178      7 |      803 |      694
964.11/964.39	c  963s |      16 |  2663783 |   195152 |    48178      7 |      803 |      694
966.51/966.77	c  966s |      16 |  2678578 |   195752 |    48178      7 |      803 |      694
968.81/969.00	c  968s |      16 |  2685534 |   196352 |    52996      7 |      803 |      694
970.81/971.01	c  970s |      16 |  2695845 |   196852 |    52996      7 |      803 |      694
973.01/973.28	c  972s |      17 |  2713830 |   197432 |    52996      7 |      803 |      694
975.52/975.74	c  975s |      17 |  2725227 |   198132 |    52996      7 |      803 |      694
977.61/977.86	c  977s |      17 |  2726686 |   198532 |    52996      7 |      803 |      694
979.81/980.09	c  979s |      17 |  2734325 |   199232 |    52996      7 |      803 |      694
982.31/982.51	c  981s |      17 |  2746505 |   199732 |    52996      7 |      803 |      694
984.31/984.60	c  984s |      17 |  2756247 |   200432 |    52996      7 |      803 |      694
986.51/986.76	c  986s |      17 |  2769990 |   201132 |    52996      7 |      803 |      694
988.60/988.86	c  988s |      17 |  2779788 |   201632 |    52996      7 |      803 |      694
990.80/991.05	c  990s |      17 |  2787365 |   202132 |    52996      7 |      805 |      696
993.30/993.54	c  992s |      17 |  2804424 |   202732 |    52996      7 |      805 |      696
995.50/995.77	c  995s |      17 |  2815271 |   203432 |    52996      7 |      805 |      696
997.70/997.96	c  997s |      17 |  2821350 |   204032 |    52996      7 |      805 |      696
999.89/1000.12	c  999s |      17 |  2837617 |   204632 |    52996      7 |      805 |      696
1002.19/1002.49	c 1001s |      17 |  2854601 |   205132 |    52996      7 |      805 |      696
1004.29/1004.59	c 1004s |      17 |  2862532 |   205632 |    52996      7 |      805 |      696
1006.40/1006.66	c 1006s |      17 |  2865986 |   206132 |    52996      7 |      805 |      696
1008.59/1008.82	c 1008s |      17 |  2866841 |   206532 |    52996      7 |      805 |      696
1010.99/1011.26	c 1010s |      17 |  2868417 |   207032 |    52996      7 |      805 |      696
1013.19/1013.49	c 1012s |      17 |  2882555 |   207532 |    52996      7 |      805 |      696
1015.38/1015.69	c 1015s |      17 |  2897712 |   208132 |    52996      7 |      805 |      696
1017.78/1018.08	c 1017s |      17 |  2913183 |   208732 |    52996      7 |      805 |      696
1019.88/1020.18	c 1019s |      17 |  2923284 |   209332 |    52996      7 |      805 |      696
1021.98/1022.26	c 1021s |      17 |  2932400 |   209632 |    52996      7 |      806 |      697
1024.28/1024.59	c 1024s |      17 |  2946964 |   210332 |    52996      7 |      806 |      697
1026.38/1026.65	c 1026s |      17 |  2957690 |   210832 |    52996      7 |      806 |      697
1028.58/1028.80	c 1028s |      17 |  2965662 |   211632 |    52996      7 |      806 |      697
1030.58/1030.87	c 1030s |      17 |  2973438 |   212332 |    52996      7 |      806 |      697
1032.57/1032.88	c 1032s |      17 |  2981138 |   212732 |    52996      7 |      806 |      697
1034.77/1035.08	c 1034s |      17 |  2991153 |   213432 |    52996      7 |      806 |      697
1037.18/1037.46	c 1036s |      17 |  2996128 |   213932 |    52996      7 |      807 |      698
1039.27/1039.56	c 1039s |      17 |  3016993 |   214432 |    52996      7 |      807 |      698
1041.66/1041.91	c 1041s |      17 |  3036366 |   214932 |    52996      7 |      807 |      698
1043.96/1044.24	c 1043s |      17 |  3053296 |   215432 |    52996      7 |      807 |      698
1046.36/1046.63	c 1046s |      17 |  3065261 |   215832 |    52996      7 |      808 |      699
1048.36/1048.69	c 1048s |      17 |  3073934 |   216432 |    52996      7 |      808 |      699
1050.76/1051.01	c 1050s |      17 |  3082778 |   217032 |    52996      7 |      808 |      699
1052.97/1053.20	c 1052s |      17 |  3088491 |   217732 |    52996      7 |      808 |      699
1055.07/1055.32	c 1054s |      17 |  3095032 |   218332 |    52996      7 |      808 |      699
1057.17/1057.41	c 1056s |      17 |  3111091 |   218932 |    52996      7 |      808 |      699
1059.36/1059.62	c 1059s |      17 |  3120951 |   219532 |    52996      7 |      808 |      699
1061.56/1061.89	c 1061s |      17 |  3126714 |   220032 |    52996      7 |      808 |      699
1063.96/1064.27	c 1063s |      17 |  3141171 |   220732 |    52996      7 |      808 |      699
1067.06/1067.34	c 1066s |      17 |  3151842 |   221232 |    52996      8 |      808 |      699
1069.25/1069.59	c 1069s |      17 |  3163495 |   221832 |    52996      8 |      809 |      700
1071.35/1071.68	c 1071s |      17 |  3173637 |   222332 |    52996      8 |      809 |      700
1073.65/1073.96	c 1073s |      17 |  3176496 |   222732 |    52996      8 |      809 |      700
1075.75/1076.09	c 1075s |      17 |  3186456 |   223332 |    52996      8 |      809 |      700
1077.95/1078.23	c 1077s |      17 |  3200727 |   223932 |    52996      8 |      809 |      700
1080.15/1080.49	c 1079s |      17 |  3220985 |   224532 |    52996      8 |      809 |      700
1082.25/1082.53	c 1081s |      17 |  3226241 |   225032 |    52996      8 |      809 |      700
1084.35/1084.70	c 1084s |      17 |  3227799 |   225432 |    52996      8 |      809 |      700
1086.45/1086.76	c 1086s |      17 |  3237611 |   225932 |    52996      8 |      809 |      700
1088.55/1088.80	c 1088s |      17 |  3250592 |   226532 |    52996      8 |      809 |      700
1091.34/1091.64	c 1091s |      17 |  3262699 |   227032 |    52996      8 |      809 |      700
1093.34/1093.68	c 1093s |      17 |  3274680 |   227532 |    52996      8 |      810 |      701
1095.54/1095.81	c 1095s |      17 |  3288069 |   227932 |    52996      8 |      811 |      702
1097.64/1097.93	c 1097s |      17 |  3288979 |   228232 |    52996      8 |      811 |      702
1100.03/1100.38	c 1099s |      17 |  3297925 |   228732 |    52996      8 |      811 |      702
1102.13/1102.41	c 1101s |      17 |  3301405 |   229032 |    52996      8 |      811 |      702
1104.24/1104.52	c 1103s |      17 |  3306939 |   229532 |    52996      8 |      811 |      702
1106.34/1106.65	c 1106s |      17 |  3318676 |   230032 |    52996      8 |      811 |      702
1108.43/1108.76	c 1108s |      17 |  3332679 |   230632 |    52996      8 |      811 |      702
1110.42/1110.79	c 1110s |      17 |  3342817 |   231132 |    52996      8 |      811 |      702
1112.62/1112.90	c 1112s |      17 |  3354517 |   231732 |    52996      8 |      811 |      702
1114.62/1114.91	c 1114s |      17 |  3366290 |   232232 |    52996      8 |      811 |      702
1116.72/1117.05	c 1116s |      17 |  3378465 |   232832 |    52996      8 |      811 |      702
1118.92/1119.29	c 1118s |      17 |  3386935 |   233432 |    52996      8 |      811 |      702
1121.12/1121.49	c 1120s |      17 |  3388956 |   233932 |    52996      8 |      811 |      702
1123.52/1123.82	c 1123s |      17 |  3400243 |   234432 |    52996      8 |      812 |      703
1125.71/1126.07	c 1125s |      17 |  3413823 |   234832 |    52996      8 |      813 |      704
1127.91/1128.24	c 1127s |      17 |  3423975 |   235432 |    52996      8 |      813 |      704
1130.41/1130.76	c 1130s |      17 |  3435949 |   236032 |    52996      8 |      813 |      704
1132.41/1132.76	c 1132s |      17 |  3449841 |   236432 |    52996      8 |      813 |      704
1135.41/1135.70	c 1135s |      17 |  3462384 |   237132 |    52996      8 |      814 |      705
1138.11/1138.46	c 1137s |      17 |  3471972 |   237732 |    52996      8 |      815 |      706
1140.10/1140.47	c 1139s |      17 |  3480515 |   238132 |    52996      8 |      815 |      706
1142.50/1142.90	c 1142s |      17 |  3482514 |   238532 |    52996      8 |      815 |      706
1145.10/1145.47	c 1144s |      17 |  3484747 |   238932 |    52996      8 |      815 |      706
1147.90/1148.23	c 1147s |      17 |  3486370 |   239332 |    52996      8 |      815 |      706
1150.41/1150.73	c 1150s |      17 |  3488843 |   239732 |    52996      8 |      815 |      706
1152.90/1153.27	c 1152s |      17 |  3489803 |   240032 |    52996      8 |      815 |      706
1155.10/1155.48	c 1154s |      17 |  3491411 |   240232 |    52996      8 |      815 |      706
1157.20/1157.56	c 1157s |      17 |  3495935 |   240832 |    52996      8 |      815 |      706
1159.69/1160.07	c 1159s |      17 |  3500753 |   241532 |    52996      8 |      815 |      706
1161.89/1162.23	c 1161s |      17 |  3507776 |   242032 |    52996      8 |      815 |      706
1164.29/1164.62	c 1164s |      17 |  3518581 |   242832 |    52996      8 |      815 |      706
1166.39/1166.78	c 1166s |      17 |  3522404 |   243232 |    52996      8 |      815 |      706
1168.59/1168.92	c 1168s |      17 |  3529045 |   243632 |    52996      8 |      815 |      706
1170.69/1171.06	c 1170s |      17 |  3536722 |   243932 |    52996      8 |      816 |      707
1173.08/1173.40	c 1172s |      17 |  3541358 |   244532 |    52996      8 |      816 |      707
1175.18/1175.53	c 1174s |      17 |  3543670 |   245032 |    52996      8 |      816 |      707
1177.28/1177.66	c 1177s |      17 |  3545688 |   245332 |    52996      8 |      816 |      707
1179.98/1180.32	c 1179s |      17 |  3546579 |   245632 |    52996      8 |      816 |      707
1182.57/1182.98	c 1182s |      17 |  3548184 |   246032 |    52996      8 |      816 |      707
1184.67/1185.07	c 1184s |      17 |  3549259 |   246232 |    52996      8 |      816 |      707
1187.38/1187.76	c 1187s |      17 |  3550026 |   246432 |    52996      8 |      816 |      707
1189.68/1190.00	c 1189s |      17 |  3558350 |   246932 |    52996      8 |      816 |      707
1192.78/1193.11	c 1192s |      17 |  3565559 |   247232 |    52996      9 |      817 |      708
1194.98/1195.32	c 1194s |      17 |  3576895 |   247832 |    52996      9 |      817 |      708
1196.98/1197.34	c 1196s |      17 |  3584644 |   248432 |    52996      9 |      817 |      708
1199.17/1199.53	c 1198s |      17 |  3594106 |   249032 |    52996      9 |      817 |      708
1201.57/1201.99	c 1201s |      17 |  3596254 |   249532 |    52996      9 |      817 |      708
1204.47/1204.83	c 1204s |      17 |  3597169 |   249832 |    52996      9 |      817 |      708
1206.97/1207.39	c 1206s |      17 |  3620815 |   250432 |    52996      9 |      817 |      708
1209.26/1209.65	c 1209s |      17 |  3632008 |   251032 |    52996      9 |      817 |      708
1211.36/1211.70	c 1211s |      17 |  3636841 |   251532 |    52996      9 |      817 |      708
1213.46/1213.81	c 1213s |      17 |  3652808 |   252132 |    52996      9 |      817 |      708
1215.46/1215.85	c 1215s |      17 |  3659709 |   252632 |    52996      9 |      817 |      708
1217.86/1218.23	c 1217s |      17 |  3671052 |   253332 |    52996      9 |      817 |      708
1219.85/1220.29	c 1219s |      17 |  3684641 |   253832 |    52996      9 |      818 |      709
1221.95/1222.32	c 1221s |      17 |  3691543 |   254532 |    52996      9 |      818 |      709
1224.06/1224.42	c 1223s |      17 |  3699502 |   255132 |    52996      9 |      818 |      709
1226.26/1226.63	c 1226s |      17 |  3708122 |   255832 |    52996      9 |      818 |      709
1228.74/1229.15	c 1228s |      17 |  3723355 |   256332 |    52996      9 |      819 |      710
1230.94/1231.31	c 1230s |      17 |  3739077 |   256932 |    52996      9 |      819 |      710
1233.34/1233.76	c 1233s |      17 |  3751057 |   257532 |    52996      9 |      819 |      710
1235.54/1235.96	c 1235s |      17 |  3756028 |   258132 |    52996      9 |      819 |      710
1237.84/1238.27	c 1237s |      17 |  3759726 |   258732 |    52996      9 |      819 |      710
1240.13/1240.50	c 1239s |      17 |  3766119 |   259332 |    52996      9 |      819 |      710
1242.43/1242.88	c 1242s |      17 |  3770052 |   259832 |    52996      9 |      819 |      710
1244.73/1245.13	c 1244s |      17 |  3771548 |   260232 |    52996      9 |      819 |      710
1246.84/1247.20	c 1246s |      17 |  3773723 |   260632 |    52996      9 |      819 |      710
1249.13/1249.55	c 1249s |      17 |  3776989 |   261132 |    52996      9 |      819 |      710
1251.63/1252.02	c 1251s |      17 |  3778539 |   261532 |    52996      9 |      819 |      710
1254.13/1254.55	c 1253s |      17 |  3779339 |   261832 |    52996      9 |      819 |      710
1256.23/1256.68	c 1256s |      17 |  3780924 |   262132 |    52996      9 |      819 |      710
1258.43/1258.87	c 1258s |      17 |  3782404 |   262432 |    52996      9 |      819 |      710
1260.62/1261.10	c 1260s |      17 |  3786479 |   263032 |    52996      9 |      819 |      710
1263.12/1263.57	c 1263s |      17 |  3788359 |   263432 |    52996      9 |      819 |      710
1265.42/1265.85	c 1265s |      17 |  3790933 |   263832 |    52996      9 |      819 |      710
1267.93/1268.34	c 1267s |      17 |  3792083 |   264232 |    52996      9 |      819 |      710
1270.02/1270.48	c 1269s |      17 |  3794879 |   264632 |    52996      9 |      819 |      710
1272.11/1272.57	c 1272s |      17 |  3798213 |   265132 |    52996      9 |      819 |      710
1274.21/1274.60	c 1274s |      17 |  3800465 |   265532 |    52996      9 |      819 |      710
1276.21/1276.63	c 1276s |      17 |  3801135 |   265732 |    52996      9 |      819 |      710
1278.70/1279.12	c 1278s |      17 |  3802683 |   266032 |    52996      9 |      819 |      710
1281.11/1281.59	c 1281s |      17 |  3811976 |   266532 |    52996      9 |      819 |      710
1283.50/1283.91	c 1283s |      17 |  3820023 |   267132 |    52996      9 |      819 |      710
1285.80/1286.24	c 1285s |      17 |  3833513 |   267632 |    52996      9 |      819 |      710
1288.00/1288.46	c 1287s |      17 |  3843294 |   268132 |    52996      9 |      819 |      710
1290.29/1290.75	c 1290s |      17 |  3853959 |   268632 |    52996      9 |      819 |      710
1292.39/1292.85	c 1292s |      17 |  3864165 |   269232 |    52996      9 |      819 |      710
1294.49/1295.00	c 1294s |      17 |  3874849 |   269532 |    52996      9 |      820 |      711
1296.60/1297.01	c 1296s |      17 |  3878685 |   270032 |    52996      9 |      820 |      711
1298.70/1299.19	c 1298s |      17 |  3880700 |   270532 |    52996      9 |      820 |      711
1300.79/1301.22	c 1300s |      17 |  3887588 |   270932 |    52996      9 |      820 |      711
1303.10/1303.51	c 1302s |      17 |  3889327 |   271332 |    52996      9 |      820 |      711
1305.19/1305.65	c 1305s |      17 |  3900330 |   271932 |    52996      9 |      820 |      711
1307.60/1308.02	c 1307s |      17 |  3912338 |   272532 |    52996      9 |      820 |      711
1309.70/1310.17	c 1309s |      17 |  3918994 |   273032 |    52996      9 |      820 |      711
1312.09/1312.50	c 1311s |      17 |  3926993 |   273532 |    52996      9 |      820 |      711
1314.29/1314.72	c 1314s |      17 |  3935016 |   274132 |    52996      9 |      820 |      711
1316.40/1316.87	c 1316s |      17 |  3938434 |   274532 |    52996      9 |      820 |      711
1318.68/1319.10	c 1318s |      17 |  3941965 |   275032 |    52996      9 |      820 |      711
1321.18/1321.60	c 1321s |      17 |  3943221 |   275332 |    52996      9 |      820 |      711
1323.88/1324.38	c 1323s |      17 |  3944512 |   275632 |    52996      9 |      820 |      711
1328.28/1328.77	c 1328s |      17 |  3945616 |   275832 |    52996      9 |      820 |      711
1330.78/1331.22	c 1330s |      17 |  3945981 |   275932 |    52996      9 |      820 |      711
1333.08/1333.52	c 1332s |      17 |  3948023 |   276332 |    52996      9 |      820 |      711
1335.38/1335.87	c 1335s |      17 |  3949357 |   276632 |    52996      9 |      820 |      711
1337.68/1338.17	c 1337s |      17 |  3950620 |   277032 |    52996      9 |      820 |      711
1340.37/1340.85	c 1340s |      17 |  3951888 |   277332 |    52996      9 |      820 |      711
1353.26/1353.74	c 1353s |      17 |  3953265 |   277632 |    52996      9 |      820 |      711
1359.95/1360.46	c 1359s |      17 |  3953745 |   277732 |    52996      9 |      820 |      711
1362.46/1362.92	c 1362s |      17 |  3954094 |   277932 |    52996      9 |      820 |      711
1364.95/1365.48	c 1364s |      17 |  3954391 |   278032 |    52996      9 |      820 |      711
1367.86/1368.32	c 1367s |      17 |  3956150 |   278332 |    52996      9 |      820 |      711
1370.75/1371.25	c 1370s |      17 |  3956862 |   278532 |    52996      9 |      820 |      711
1373.95/1374.46	c 1373s |      17 |  3957501 |   278732 |    52996      9 |      820 |      711
1378.05/1378.50	c 1377s |      17 |  3958380 |   278932 |    52996      9 |      820 |      711
1380.64/1381.19	c 1380s |      17 |  3958601 |   279032 |    52996      9 |      820 |      711
1384.14/1384.62	c 1384s |      17 |  3959213 |   279232 |    52996      9 |      820 |      711
1386.44/1386.90	c 1386s |      17 |  3961091 |   279532 |    52996      9 |      820 |      711
1389.74/1390.21	c 1389s |      17 |  3961952 |   279732 |    52996      9 |      820 |      711
1391.74/1392.22	c 1391s |      17 |  3962915 |   279832 |    52996      9 |      820 |      711
1394.94/1395.42	c 1394s |      17 |  3963928 |   280032 |    52996      9 |      820 |      711
1398.13/1398.64	c 1398s |      17 |  3965656 |   280332 |    52996      9 |      820 |      711
1402.93/1403.47	c 1402s |      17 |  3966085 |   280432 |    52996      9 |      820 |      711
1407.43/1407.91	c 1407s |      17 |  3966197 |   280532 |    52996      9 |      820 |      711
1412.42/1412.93	c 1412s |      17 |  3966637 |   280632 |    52996      9 |      820 |      711
1418.02/1418.52	c 1417s |      17 |  3966818 |   280732 |    52996      9 |      820 |      711
1420.74/1421.28	c 1420s |      17 |  3967523 |   280932 |    52996      9 |      820 |      711
1423.23/1423.75	c 1423s |      17 |  3968552 |   281132 |    52996      9 |      820 |      711
1427.53/1428.06	c 1427s |      17 |  3968779 |   281232 |    52996      9 |      820 |      711
1433.43/1433.98	c 1433s |      17 |  3969160 |   281332 |    52996      9 |      820 |      711
1437.82/1438.31	c 1437s |      17 |  3972215 |   281432 |    52996     10 |      820 |      711
1440.12/1440.68	c 1440s |      17 |  3979801 |   281932 |    52996     10 |      820 |      711
1443.12/1443.63	c 1443s |      17 |  3986124 |   282632 |    52996     10 |      821 |      712
1445.32/1445.81	c 1445s |      17 |  3990783 |   283232 |    52996     10 |      821 |      712
1447.42/1447.96	c 1447s |      17 |  3994288 |   283732 |    52996     10 |      821 |      712
1449.52/1450.07	c 1449s |      17 |  3999082 |   284132 |    52996     10 |      821 |      712
1451.82/1452.37	c 1451s |      17 |  4006321 |   284632 |    52996     10 |      821 |      712
1454.52/1455.09	c 1454s |      17 |  4008575 |   285032 |    52996     10 |      821 |      712
1456.62/1457.17	c 1456s |      17 |  4010656 |   285432 |    52996     10 |      821 |      712
1459.12/1459.67	c 1459s |      17 |  4012012 |   285832 |    52996     10 |      821 |      712
1461.52/1462.05	c 1461s |      17 |  4014049 |   286232 |    52996     10 |      821 |      712
1463.82/1464.33	c 1463s |      17 |  4015046 |   286432 |    52996     10 |      821 |      712
1466.52/1467.05	c 1466s |      17 |  4016576 |   286732 |    52996     10 |      821 |      712
1468.92/1469.45	c 1468s |      17 |  4017555 |   287032 |    52996     10 |      821 |      712
1471.12/1471.65	c 1471s |      17 |  4018129 |   287232 |    52996     10 |      821 |      712
1473.32/1473.84	c 1473s |      17 |  4018684 |   287432 |    52996     10 |      821 |      712
1475.52/1476.06	c 1475s |      17 |  4019787 |   287632 |    52996     10 |      821 |      712
1479.62/1480.10	c 1479s |      17 |  4020235 |   287832 |    52996     10 |      821 |      712
1482.11/1482.61	c 1482s |      17 |  4021396 |   288032 |    52996     10 |      821 |      712
1484.52/1485.07	c 1484s |      17 |  4024913 |   288532 |    52996     10 |      821 |      712
1486.61/1487.16	c 1486s |      17 |  4031776 |   289032 |    52996     10 |      821 |      712
1488.92/1489.48	c 1488s |      17 |  4033166 |   289332 |    52996     10 |      821 |      712
1491.12/1491.67	c 1491s |      17 |  4034926 |   289632 |    52996     10 |      821 |      712
1493.61/1494.12	c 1493s |      17 |  4038492 |   290132 |    52996     10 |      821 |      712
1496.21/1496.72	c 1496s |      17 |  4040041 |   290432 |    52996     10 |      821 |      712
1498.51/1499.00	c 1498s |      17 |  4041956 |   290832 |    52996     10 |      821 |      712
1501.72/1502.23	c 1501s |      17 |  4044397 |   291232 |    52996     10 |      821 |      712
1503.92/1504.40	c 1503s |      17 |  4045894 |   291632 |    52996     10 |      821 |      712
1506.42/1506.98	c 1506s |      17 |  4046701 |   291932 |    52996     10 |      821 |      712
1508.62/1509.12	c 1508s |      17 |  4047413 |   292132 |    52996     10 |      821 |      712
1510.71/1511.24	c 1510s |      17 |  4047540 |   292232 |    52996     10 |      821 |      712
1513.01/1513.59	c 1513s |      17 |  4048438 |   292432 |    52996     10 |      821 |      712
1516.01/1516.58	c 1516s |      17 |  4050158 |   292732 |    52996     10 |      821 |      712
1518.41/1518.92	c 1518s |      17 |  4050973 |   292932 |    52996     10 |      821 |      712
1521.51/1522.00	c 1521s |      17 |  4051485 |   293132 |    52996     10 |      821 |      712
1524.51/1525.00	c 1524s |      17 |  4052347 |   293332 |    52996     10 |      821 |      712
1526.71/1527.24	c 1526s |      17 |  4053567 |   293532 |    52996     10 |      821 |      712
1530.01/1530.55	c 1530s |      17 |  4054431 |   293732 |    52996     10 |      821 |      712
1534.30/1534.82	c 1534s |      17 |  4055323 |   293932 |    52996     10 |      821 |      712
1536.71/1537.27	c 1536s |      17 |  4055573 |   294032 |    52996     10 |      821 |      712
1539.31/1539.87	c 1539s |      17 |  4055850 |   294132 |    52996     10 |      821 |      712
1541.82/1542.34	c 1541s |      17 |  4056887 |   294332 |    58296     10 |      821 |      712
1544.71/1545.23	c 1544s |      17 |  4057690 |   294532 |    58296     10 |      821 |      712
1548.81/1549.34	c 1548s |      17 |  4058391 |   294732 |    58296     10 |      821 |      712
1551.71/1552.25	c 1551s |      17 |  4058577 |   294832 |    58296     10 |      821 |      712
1553.91/1554.47	c 1553s |      17 |  4059794 |   295032 |    58296     10 |      821 |      712
1556.70/1557.29	c 1556s |      17 |  4061596 |   295332 |    58296     10 |      821 |      712
1559.21/1559.79	c 1559s |      17 |  4063064 |   295632 |    58296     10 |      821 |      712
1562.81/1563.34	c 1562s |      17 |  4063851 |   295932 |    58296     10 |      821 |      712
1565.31/1565.88	c 1565s |      17 |  4064457 |   296132 |    58296     10 |      821 |      712
1566.41/1566.91	c 1566s |      18 |  4064797 |   296252 |    58296     10 |      821 |      712
1568.61/1569.16	c 1568s |      18 |  4073102 |   296552 |    58296     10 |      821 |      712
1570.91/1571.48	c 1570s |      18 |  4082629 |   297152 |    58296     10 |      821 |      712
1573.30/1573.85	c 1573s |      18 |  4093624 |   297752 |    58296     10 |      821 |      712
1575.50/1576.01	c 1575s |      18 |  4104286 |   298352 |    58296     10 |      821 |      712
1577.50/1578.07	c 1577s |      18 |  4111213 |   298852 |    58296     10 |      821 |      712
1579.70/1580.23	c 1579s |      18 |  4119331 |   299352 |    58296     10 |      821 |      712
1582.30/1582.84	c 1582s |      18 |  4123824 |   299952 |    58296     10 |      821 |      712
1584.30/1584.87	c 1584s |      18 |  4127137 |   300452 |    58296     10 |      821 |      712
1586.60/1587.13	c 1586s |      18 |  4129180 |   300952 |    58296     10 |      821 |      712
1588.60/1589.19	c 1588s |      18 |  4129975 |   301252 |    58296     10 |      821 |      712
1591.31/1591.88	c 1591s |      18 |  4131358 |   301652 |    58296     10 |      821 |      712
1594.30/1594.82	c 1594s |      18 |  4132581 |   301952 |    58296     10 |      821 |      712
1596.40/1596.95	c 1596s |      18 |  4136443 |   302452 |    58296     10 |      821 |      712
1598.70/1599.28	c 1598s |      18 |  4139137 |   302952 |    58296     10 |      821 |      712
1601.20/1601.74	c 1601s |      18 |  4142137 |   303452 |    58296     10 |      821 |      712
1603.40/1603.98	c 1603s |      18 |  4145238 |   303952 |    58296     10 |      821 |      712
1605.70/1606.27	c 1605s |      18 |  4147045 |   304352 |    58296     10 |      821 |      712
1608.50/1609.00	c 1608s |      18 |  4148854 |   304752 |    58296     10 |      821 |      712
1610.90/1611.44	c 1610s |      18 |  4149942 |   305052 |    58296     10 |      821 |      712
1614.09/1614.64	c 1614s |      18 |  4150968 |   305352 |    58296     10 |      821 |      712
1616.60/1617.19	c 1616s |      18 |  4151532 |   305552 |    58296     10 |      821 |      712
1618.89/1619.48	c 1618s |      18 |  4152310 |   305752 |    58296     10 |      821 |      712
1621.59/1622.16	c 1621s |      18 |  4153225 |   305952 |    58296     10 |      821 |      712
1624.09/1624.66	c 1624s |      18 |  4154066 |   306152 |    58296     10 |      821 |      712
1626.69/1627.25	c 1626s |      18 |  4154600 |   306352 |    58296     10 |      821 |      712
1628.71/1629.28	c 1628s |      18 |  4155250 |   306552 |    58296     10 |      821 |      712
1631.00/1631.50	c 1630s |      18 |  4155863 |   306752 |    58296     10 |      821 |      712
1633.70/1634.20	c 1633s |      18 |  4156578 |   306952 |    58296     10 |      821 |      712
1635.90/1636.46	c 1635s |      18 |  4157506 |   307152 |    58296     10 |      821 |      712
1641.30/1641.80	c 1641s |      18 |  4158215 |   307352 |    58296     10 |      821 |      712
1644.10/1644.63	c 1644s |      18 |  4159471 |   307652 |    58296     10 |      821 |      712
1647.59/1648.10	c 1647s |      18 |  4160049 |   307852 |    58296     10 |      821 |      712
1651.09/1651.63	c 1651s |      18 |  4160572 |   308052 |    58296     10 |      821 |      712
1653.49/1654.07	c 1653s |      18 |  4160790 |   308152 |    58296     10 |      821 |      712
1655.99/1656.51	c 1655s |      18 |  4160976 |   308252 |    58296     10 |      821 |      712
1658.30/1658.82	c 1658s |      18 |  4161742 |   308452 |    58296     10 |      821 |      712
1661.39/1661.93	c 1661s |      18 |  4162503 |   308652 |    58296     10 |      821 |      712
1665.39/1665.97	c 1665s |      18 |  4163907 |   308952 |    58296     10 |      821 |      712
1668.30/1668.86	c 1668s |      18 |  4165665 |   309252 |    58296     10 |      821 |      712
1670.69/1671.22	c 1670s |      18 |  4167192 |   309552 |    58296     10 |      821 |      712
1672.79/1673.38	c 1672s |      18 |  4167916 |   309752 |    58296     10 |      821 |      712
1675.49/1676.00	c 1675s |      18 |  4168538 |   309952 |    58296     10 |      821 |      712
1678.58/1679.14	c 1678s |      18 |  4169529 |   310152 |    58296     10 |      821 |      712
1681.49/1682.05	c 1681s |      18 |  4169776 |   310252 |    58296     10 |      821 |      712
1685.38/1685.91	c 1685s |      18 |  4169952 |   310352 |    58296     10 |      821 |      712
1687.78/1688.30	c 1687s |      18 |  4171204 |   310552 |    58296     10 |      821 |      712
1689.98/1690.52	c 1689s |      18 |  4172762 |   310852 |    58296     10 |      821 |      712
1692.58/1693.19	c 1692s |      18 |  4173891 |   311152 |    58296     10 |      821 |      712
1695.28/1695.85	c 1695s |      18 |  4175148 |   311452 |    58296     10 |      821 |      712
1698.29/1698.81	c 1698s |      18 |  4176685 |   311752 |    58296     10 |      821 |      712
1700.69/1701.28	c 1700s |      18 |  4177466 |   311952 |    58296     10 |      821 |      712
1702.99/1703.51	c 1702s |      18 |  4178257 |   312152 |    58296     10 |      821 |      712
1705.49/1706.08	c 1705s |      18 |  4178981 |   312352 |    58296     10 |      821 |      712
1707.69/1708.24	c 1707s |      18 |  4179550 |   312552 |    58296     10 |      821 |      712
1710.09/1710.67	c 1710s |      18 |  4180321 |   312752 |    58296     10 |      821 |      712
1713.58/1714.11	c 1713s |      18 |  4180778 |   312952 |    58296     10 |      821 |      712
1717.18/1717.73	c 1717s |      18 |  4181530 |   313152 |    58296     10 |      821 |      712
1720.08/1720.62	c 1720s |      18 |  4182021 |   313252 |    58296     10 |      821 |      712
1723.48/1724.03	c 1723s |      18 |  4183648 |   313552 |    58296     10 |      821 |      712
1726.88/1727.44	c 1726s |      18 |  4184253 |   313752 |    58296     10 |      821 |      712
1729.38/1729.98	c 1729s |      18 |  4184510 |   313852 |    58296     10 |      821 |      712
1732.58/1733.15	c 1732s |      18 |  4185173 |   314052 |    58296     10 |      821 |      712
1734.68/1735.29	c 1734s |      18 |  4185442 |   314152 |    58296     10 |      821 |      712
1736.88/1737.50	c 1736s |      18 |  4185657 |   314252 |    58296     10 |      821 |      712
1740.68/1741.21	c 1740s |      18 |  4186146 |   314452 |    58296     10 |      821 |      712
1743.38/1743.90	c 1743s |      18 |  4186305 |   314552 |    58296     10 |      821 |      712
1747.28/1747.90	c 1747s |      18 |  4186980 |   314752 |    58296     10 |      821 |      712
1749.59/1750.12	c 1749s |      18 |  4187233 |   314852 |    58296     10 |      821 |      712
1751.58/1752.18	c 1751s |      18 |  4187492 |   314952 |    58296     10 |      821 |      712
1754.38/1754.95	c 1754s |      18 |  4187775 |   315052 |    58296     10 |      821 |      712
1756.68/1757.21	c 1756s |      18 |  4188116 |   315152 |    58296     10 |      821 |      712
1758.88/1759.45	c 1758s |      18 |  4188819 |   315252 |    58296     10 |      821 |      712
1760.88/1761.46	c 1760s |      18 |  4189228 |   315352 |    58296     10 |      821 |      712
1763.88/1764.48	c 1763s |      18 |  4189527 |   315452 |    58296     10 |      821 |      712
1766.98/1767.51	c 1766s |      18 |  4189875 |   315552 |    58296     10 |      821 |      712
1769.18/1769.74	c 1769s |      18 |  4190260 |   315652 |    58296     10 |      821 |      712
1771.97/1772.52	c 1771s |      18 |  4190548 |   315752 |    58296     10 |      821 |      712
1776.57/1777.15	c 1776s |      18 |  4191219 |   315952 |    58296     10 |      821 |      712
1780.27/1780.90	c 1780s |      18 |  4191381 |   316052 |    58296     10 |      821 |      712
1782.47/1783.04	c 1782s |      18 |  4191666 |   316152 |    58296     10 |      821 |      712
1786.37/1786.94	c 1786s |      18 |  4192417 |   316352 |    58296     10 |      821 |      712
1789.77/1790.39	c 1789s |      18 |  4192835 |   316452 |    58296     10 |      821 |      712
1792.77/1793.35	c 1792s |      18 |  4193105 |   316552 |    58296     10 |      821 |      712
1796.17/1796.73	c 1796s |      18 |  4193294 |   316652 |    58296     10 |      821 |      712
1799.57/1800.10	c 1799s |      18 |  4193568 |   316752 |    58296     10 |      821 |      712

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

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.29 2.25 4/179 18742
/proc/meminfo: memFree=29254476/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=820668 CPUtime=0 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 3081 0 0 0 0 0 0 0 20 0 4 0 110436145 840364032 2931 33554432000 4194304 16246674 140733961908080 140733961907504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 205935 2939 441 2943 0 202829 0
[pid=18742/tid=18743] ppid=18739 vsize=838076 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 858189824 2999 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=843196 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 863432704 3018 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=847292 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436145 867627008 3034 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.26 2.29 2.25 4/179 18742
/proc/meminfo: memFree=29254476/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 29289 0 0 0 5 4 0 0 20 0 4 0 110436145 1333334016 29077 33554432000 4194304 16246674 140733961908080 140733961907392 8055408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 325521 29092 802 2943 0 322415 0
[pid=18742/tid=18743] ppid=18739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1333334016 29104 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1333334016 29116 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1333334016 29127 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200534 s]
/proc/loadavg: 2.26 2.29 2.25 4/179 18742
/proc/meminfo: memFree=29254476/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 47476 0 0 0 12 7 0 0 20 0 4 0 110436145 1344868352 47774 33554432000 4194304 16246674 140733961908080 140733961907392 7440250 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 328337 47774 802 2943 0 325231 0
[pid=18742/tid=18743] ppid=18739 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1344868352 47774 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1344868352 47774 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1344868352 47774 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300514 s]
/proc/loadavg: 2.26 2.29 2.25 4/179 18742
/proc/meminfo: memFree=29254476/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 47552 0 0 0 22 7 0 0 20 0 4 0 110436145 1344868352 47850 33554432000 4194304 16246674 140733961908080 140733961905920 5516112 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 328337 47850 834 2943 0 325231 0
[pid=18742/tid=18743] ppid=18739 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1344868352 47850 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1344868352 47850 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1344868352 47850 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700423 s]
/proc/loadavg: 2.26 2.29 2.25 4/179 18742
/proc/meminfo: memFree=29254476/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 113972 0 0 0 54 15 0 0 20 0 4 0 110436145 1344868352 114270 33554432000 4194304 16246674 140733961908080 140733961905920 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 328337 114272 877 2943 0 325231 0
[pid=18742/tid=18743] ppid=18739 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1344868352 114272 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1344868352 114273 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1344868352 114274 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.26 2.29 2.25 4/183 18746
/proc/meminfo: memFree=28648880/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=1.49 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 151418 0 0 0 129 20 0 0 20 0 4 0 110436145 1358499840 151716 33554432000 4194304 16246674 140733961908080 140733961889984 5675212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 151716 880 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 151716 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 151716 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 151716 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10037 s]
/proc/loadavg: 2.26 2.29 2.25 4/183 18746
/proc/meminfo: memFree=28225792/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=3.09 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272338 0 0 0 274 35 0 0 20 0 4 0 110436145 1358499840 272636 33554432000 4194304 16246674 140733961908080 140733961907392 13954494 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272636 883 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272636 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272636 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272636 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1326660

[startup+6.30042 s]
/proc/loadavg: 2.32 2.30 2.25 3/183 18746
/proc/meminfo: memFree=28163696/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=6.29 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272338 0 0 0 594 35 0 0 20 0 4 0 110436145 1358499840 272636 33554432000 4194304 16246674 140733961908080 140733961889984 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272636 883 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272636 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272636 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272636 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 2.30 2.29 2.25 3/183 18746
/proc/meminfo: memFree=28163580/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=12.69 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272340 0 0 0 1234 35 0 0 20 0 4 0 110436145 1358499840 272638 33554432000 4194304 16246674 140733961908080 140733961889984 5829552 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272638 885 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272638 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272638 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272638 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1326660

[startup+25.5005 s]
/proc/loadavg: 2.23 2.28 2.25 3/183 18746
/proc/meminfo: memFree=28163596/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=25.49 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272341 0 0 0 2514 35 0 0 20 0 4 0 110436145 1358499840 272639 33554432000 4194304 16246674 140733961908080 140733961889984 5754801 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272639 885 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272639 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272639 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272639 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1326660

[startup+51.1005 s]
/proc/loadavg: 2.23 2.27 2.25 3/183 18746
/proc/meminfo: memFree=28163728/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=51.09 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272342 0 0 0 5073 36 0 0 20 0 4 0 110436145 1358499840 272640 33554432000 4194304 16246674 140733961908080 140733961889984 5754796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272640 886 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272640 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272640 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272640 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1326660

[startup+102.301 s]
/proc/loadavg: 2.31 2.28 2.25 3/183 18748
/proc/meminfo: memFree=28163324/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=102.28 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272342 0 0 0 10191 37 0 0 20 0 4 0 110436145 1358499840 272640 33554432000 4194304 16246674 140733961908080 140733961889984 5722381 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272640 886 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272640 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272640 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272640 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1326660


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

/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1326660

[startup+1302.3 s]
/proc/loadavg: 2.13 2.19 2.19 3/182 18826
/proc/meminfo: memFree=28150420/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=1301.89 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272642 0 0 0 130134 55 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140733961889984 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272897 887 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1326660

[startup+1362.3 s]
/proc/loadavg: 2.27 2.21 2.19 3/184 18831
/proc/meminfo: memFree=28150224/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=1361.85 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272683 0 0 0 136129 56 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140733961889984 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272897 887 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1326660

[startup+1422.3 s]
/proc/loadavg: 2.30 2.23 2.20 4/184 18855
/proc/meminfo: memFree=28149356/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=1421.84 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272711 0 0 0 142126 58 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140733961889984 5722908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272897 887 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1326660

[startup+1482.3 s]
/proc/loadavg: 2.15 2.20 2.19 3/183 18856
/proc/meminfo: memFree=28149584/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=1481.81 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272711 0 0 0 148122 59 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140733961889984 13963975 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272897 887 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1326660

[startup+1542.31 s]
/proc/loadavg: 2.27 2.22 2.19 3/183 18857
/proc/meminfo: memFree=28149496/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=1541.82 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272711 0 0 0 154121 61 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140733961889984 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272897 887 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1326660

[startup+1602.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 18858
/proc/meminfo: memFree=28149408/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=1601.8 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272711 0 0 0 160118 62 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140733961889984 5674919 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272897 887 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1326660

[startup+1662.3 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 18860
/proc/meminfo: memFree=28149540/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=1661.79 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272711 0 0 0 166116 63 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140733961889984 13820864 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272897 887 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1326660

[startup+1722.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 18861
/proc/meminfo: memFree=28149672/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=1721.78 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272711 0 0 0 172114 64 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140733961889984 5829752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272897 887 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1326660

[startup+1782.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 18862
/proc/meminfo: memFree=28149300/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=1781.77 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272711 0 0 0 178112 65 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140733961889984 5722908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272897 887 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1326660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.21 2.18 3/183 18862
/proc/meminfo: memFree=28149144/32872528 swapFree=17452/1581112
[pid=18742] ppid=18739 vsize=1326660 CPUtime=1800.07 cores=1,3,5,7
/proc/18742/stat : 18742 (toysat) R 18739 18742 13546 0 -1 4202496 272711 0 0 0 179942 65 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140733961889984 12483212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18742/statm: 331665 272897 887 2943 0 328559 0
[pid=18742/tid=18743] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18743/stat : 18743 (toysat) S 18739 18742 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255477869808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18742/tid=18744] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18744/stat : 18744 (toysat) S 18739 18742 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255467379952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18742/tid=18745] ppid=18739 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/18742/task/18745/stat : 18745 (toysat) S 18739 18742 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436145 1358499840 272897 33554432000 4194304 16246674 140733961908080 140255456906416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1326660

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.43
CPU system time (s): 0.6569
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1326660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.6569
maximum resident set size= 1091588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272711
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= 386
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51331 second user time and 7.01093 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 09:37:22
IDJOB=4078895
IDBENCH=90158
IDSOLVER=2542
FILE ID=node139/4078895-1465285042
RUNJOBID= node139-1465254943-13563
PBS_JOBID= 19843273
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= e9be7f2de41339e64a2918d1bf7ead92
RANDOM SEED=1205333885

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
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.56
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.868
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.868
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.868
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.868
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.868
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:        29254376 kB
Buffers:           75520 kB
Cached:           143496 kB
SwapCached:         1412 kB
Active:          1164796 kB
Inactive:         137412 kB
Active(anon):    1082524 kB
Inactive(anon):     3552 kB
Active(file):      82272 kB
Inactive(file):   133860 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099812 kB
Dirty:             17484 kB
Writeback:             0 kB
AnonPages:       2745608 kB
Mapped:            10708 kB
Shmem:                 0 kB
Slab:             599272 kB
SReclaimable:      43384 kB
SUnreclaim:       555888 kB
KernelStack:        1520 kB
PageTables:         9272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2806520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2725888 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= 71700 MiB
End job on node139 at 2016-06-07 10:07:23