Trace number 4078777

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.07 1800.53

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
MD5SUMa4a494535709e59392e65403b829113d
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.083987
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6800
Total number of constraints165
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
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 86
Number of bits of the biggest sum of numbers7
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-06T21:08:52+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-4078777-1465240132.opb"]
0.00/0.01	c use --random-gen="3026933247 58868012 2381106428 1768737408 3050549324 2041643743 3490214727 3612133676 1606190081 2995609549 1955377305 2966466625 3376135134 1932740898 4189722441 2626363116 2898840909 1353282039 2146374906 1088902796 3890534162 3567177980 3916166547 1816488463 2326820444 2943435958 2730493328 2028326040 4079324859 767840752 2774558149 3468529152 158434699 3054687880 3637863187 3328781875 2249869588 3000873065 2648170485 4269568456 3008803305 746900823 4188206042 76778185 3407613908 4166143168 257192176 1798995632 268849149 4281338810 3192206301 3502047194 1530745131 3985846355 3489645232 3354976940 625741174 3102576579 682251568 251072635 2502166171 2012428709 2421846032 3903925824 53826872 3468224114 53117982 4082777297 1675031949 944483663 494091809 1238312466 1371132104 809038788 3556495548 1122575163 3307282516 3825233476 1695558201 3936960885 2528959536 167075220 2803131844 3968005858 491395267 2019695230 709620024 1231179779 1273746031 34796528 3571004994 4116942480 593784518 3494257968 746143240 2388347974 3894719941 1354148089 2900024509 2735372245 2191275789 3820327093 2701533010 3422436290 3607691186 2722782394 2914397895 1058318826 2678285308 386350848 1014371653 1376862922 1749544694 4123843926 4114982700 2348791987 2338053481 2393966313 1951769826 603335713 3340207139 1962806949 2100149843 3843562892 800501666 2212327797 904160478 1235984944 2868410697 1210551848 1196688865 1886796884 2228392284 4155827622 577095957 1546836507 78056938 170997205 1547162708 1020298880 329840349 3646366137 3965033765 3864486119 1532046892 3689525305 1724699203 4031587369 1942197407 1108250875 3684872724 2921631346 1212516645 3271258122 3763390695 823263004 2564273781 3624694079 4235470089 1669025035 819821090 2743463010 3358908829 10966130 1628508467 1385684376 3455995008 1267821711 2860359288 104773696 1254955577 3507200178 3958600871 620667379 3130755467 1114582710 3282996689 1346131819 4191067880 996313590 1111383412 394574700 2934695771 174246846 4206777697 278186014 1003671212 2594709428 687824541 1775089184 2589247849 1861896807 3900092397 648917051 4286345511 3592219450 3608650156 3850337370 4023888219 1830159657 262146782 670910239 714022095 680772596 2750400340 1448511759 3319792602 2624318218 2955310621 3604343364 485764425 4058609244 3693608837 749391623 4240690957 3664407358 2259563508 1057220195 1183341803 3157313998 189111265 1908624743 2843119339 453420042 2496318100 4212526839 1828891154 1285187620 1216422063 2190044121 436164945 2662620254 357095731 1990458628 811205125 1364735201 2546555347 2153050614 2257996108 1763266282 815939530 4088399639 2588112379 2398041776 1448652249 131215054 1202674965 2911662923 1118413173 1344179130 949811781 3611597377 3161487634 285677578 3257664198 157297196 255 362436" option to reproduce the execution
0.00/0.04	c #vars 6800
0.00/0.04	c #constraints 165
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.09	c  0.0s |       0 |        0 |        0 |     2321      0 |        0 |        0
0.09/0.15	c  0.1s |       1 |      197 |      100 |     2321      0 |        0 |        0
0.38/0.43	c  0.3s |       2 |     2824 |      250 |     2554      0 |        0 |        0
0.69/0.77	c  0.7s |       3 |     5973 |      475 |     2810      0 |        0 |        0
1.49/1.57	c  1.5s |       4 |     9675 |      813 |     3092      0 |        0 |        0
3.08/3.12	c  3.0s |       5 |    13729 |     1320 |     3402      0 |        0 |        0
4.49/4.55	c  4.5s |       6 |    18035 |     2081 |     4118      0 |        0 |        0
6.69/6.73	c  6.6s |       6 |    22419 |     3081 |     4118      0 |        0 |        0
7.08/7.13	c  7.0s |       7 |    22571 |     3223 |     4530      0 |        0 |        0
9.28/9.32	c  9.2s |       7 |    27427 |     4323 |     4530      0 |        0 |        0
10.69/10.77	c 10.7s |       8 |    28105 |     4936 |     4983      0 |        0 |        0
12.79/12.89	c 12.8s |       8 |    32581 |     5736 |     4983      0 |        0 |        0
14.89/14.96	c 14.9s |       8 |    33374 |     6436 |     4983      0 |        0 |        0
17.08/17.17	c 17.1s |       8 |    34041 |     7036 |     4983      0 |        0 |        0
18.88/18.91	c 18.8s |       9 |    34559 |     7506 |     5482      0 |        0 |        0
20.99/21.02	c 20.9s |       9 |    36737 |     8806 |     5482      1 |        0 |        0
22.98/23.10	c 23.0s |       9 |    38658 |    10506 |     5482      2 |        0 |        0
24.08/24.18	c 24.1s |      10 |    39587 |    11361 |     6031      2 |        0 |        0
26.28/26.38	c 26.3s |      10 |    44124 |    12361 |     6031      2 |        0 |        0
28.58/28.63	c 28.5s |      10 |    45012 |    13161 |     6031      2 |        0 |        0
30.59/30.69	c 30.6s |      10 |    45805 |    13861 |     6031      2 |        0 |        0
32.69/32.71	c 32.6s |      10 |    46578 |    14561 |     6031      2 |        0 |        0
34.68/34.79	c 34.7s |      10 |    47244 |    15161 |     6031      2 |        0 |        0
36.98/37.02	c 36.9s |      10 |    47895 |    15761 |     6031      2 |        0 |        0
38.98/39.07	c 39.0s |      10 |    48439 |    16261 |     6031      2 |        0 |        0
41.08/41.17	c 41.1s |      10 |    48962 |    16761 |     6031      2 |        0 |        0
42.78/42.84	c 42.8s |      11 |    49372 |    17144 |     6635      2 |        0 |        0
44.88/44.96	c 44.9s |      11 |    53634 |    17844 |     6635      3 |        0 |        0
47.18/47.29	c 47.2s |      11 |    54463 |    18544 |     6635      3 |        0 |        0
49.59/49.61	c 49.5s |      11 |    55170 |    19144 |     6635      3 |        0 |        0
51.88/51.94	c 51.8s |      11 |    55863 |    19744 |     6635      3 |        0 |        0
53.98/54.08	c 54.0s |      11 |    56555 |    20344 |     6635      3 |        0 |        0
56.38/56.41	c 56.3s |      11 |    57251 |    20944 |     6635      3 |        0 |        0
58.38/58.49	c 58.4s |      11 |    57826 |    21444 |     6635      3 |        0 |        0
60.58/60.66	c 60.6s |      11 |    58387 |    21944 |     6635      3 |        0 |        0
63.08/63.13	c 63.0s |      11 |    58942 |    22444 |     6635      3 |        0 |        0
65.58/65.63	c 65.5s |      11 |    59521 |    22944 |     6635      3 |        0 |        0
67.67/67.78	c 67.7s |      11 |    59957 |    23344 |     6635      3 |        0 |        0
69.97/70.07	c 70.0s |      11 |    60528 |    23844 |     6635      3 |        0 |        0
72.37/72.47	c 72.4s |      11 |    61091 |    24344 |     6635      3 |        0 |        0
74.97/75.00	c 74.9s |      11 |    61636 |    24844 |     6635      3 |        0 |        0
77.09/77.17	c 77.1s |      11 |    62080 |    25244 |     6635      3 |        0 |        0
79.18/79.24	c 79.2s |      11 |    62417 |    25544 |     6635      4 |        0 |        0
80.67/80.72	c 80.6s |      12 |    62733 |    25819 |     7299      4 |        0 |        0
82.78/82.82	c 82.7s |      12 |    67631 |    26319 |     7299      4 |        0 |        0
85.07/85.17	c 85.1s |      12 |    68326 |    26919 |     7299      4 |        0 |        0
87.37/87.44	c 87.4s |      12 |    68886 |    27419 |     7299      4 |        0 |        0
89.77/89.89	c 89.8s |      12 |    69427 |    27919 |     7299      4 |        0 |        0
91.97/92.02	c 91.9s |      12 |    69860 |    28319 |     7299      4 |        0 |        0
94.07/94.16	c 94.1s |      12 |    70291 |    28719 |     7299      4 |        0 |        0
96.37/96.40	c 96.3s |      12 |    70887 |    29219 |     7299      4 |        0 |        0
98.47/98.53	c 98.4s |      12 |    71356 |    29619 |     7299      4 |        0 |        0
100.57/100.70	c  100s |      12 |    71791 |    30019 |     7299      4 |        0 |        0
102.77/102.81	c  102s |      12 |    72234 |    30419 |     7299      4 |        0 |        0
104.77/104.83	c  104s |      12 |    72653 |    30819 |     7299      4 |        0 |        0
106.86/106.95	c  106s |      12 |    73100 |    31219 |     7299      4 |        0 |        0
109.47/109.53	c  109s |      12 |    73542 |    31619 |     7299      4 |        0 |        0
111.97/112.04	c  111s |      12 |    73985 |    32019 |     7299      4 |        0 |        0
113.96/114.06	c  113s |      12 |    74320 |    32319 |     7299      4 |        0 |        0
116.77/116.83	c  116s |      12 |    74632 |    32619 |     7299      5 |        0 |        0
118.78/118.83	c  118s |      12 |    74968 |    32919 |     7299      5 |        0 |        0
120.97/121.03	c  120s |      12 |    75296 |    33219 |     7299      5 |        0 |        0
123.07/123.11	c  123s |      12 |    75623 |    33519 |     7299      5 |        0 |        0
125.37/125.42	c  125s |      12 |    76066 |    33919 |     7299      5 |        0 |        0
127.58/127.63	c  127s |      12 |    76397 |    34219 |     7299      5 |        0 |        0
129.77/129.88	c  129s |      12 |    76725 |    34519 |     7299      5 |        0 |        0
132.16/132.23	c  132s |      12 |    77062 |    34819 |     7299      5 |        0 |        0
134.47/134.53	c  134s |      12 |    77403 |    35119 |     7299      5 |        0 |        0
136.96/137.08	c  136s |      12 |    77730 |    35419 |     7299      5 |        0 |        0
139.36/139.45	c  139s |      12 |    78070 |    35719 |     7299      5 |        0 |        0
141.77/141.89	c  141s |      12 |    78517 |    36119 |     7299      5 |        0 |        0
144.27/144.31	c  144s |      12 |    78955 |    36519 |     7299      5 |        0 |        0
146.66/146.77	c  146s |      12 |    79404 |    36919 |     7299      5 |        0 |        0
149.26/149.32	c  149s |      12 |    79833 |    37319 |     7299      5 |        0 |        0
151.67/151.73	c  151s |      12 |    80270 |    37719 |     7299      5 |        0 |        0
154.07/154.15	c  154s |      12 |    80720 |    38119 |     7299      5 |        0 |        0
156.56/156.63	c  156s |      12 |    81143 |    38519 |     7299      5 |        0 |        0
158.56/158.63	c  158s |      13 |    81503 |    38832 |     8029      5 |        0 |        0
161.06/161.11	c  161s |      13 |    85262 |    38932 |     8029      6 |        0 |        0
163.36/163.40	c  163s |      13 |    85978 |    39532 |     8029      6 |        0 |        0
165.46/165.56	c  165s |      13 |    86549 |    40032 |     8029      6 |        0 |        0
167.96/168.07	c  167s |      13 |    87105 |    40532 |     8029      6 |        0 |        0
170.16/170.29	c  170s |      13 |    87583 |    40932 |     8029      6 |        0 |        0
172.26/172.39	c  172s |      13 |    88045 |    41332 |     8029      6 |        0 |        0
174.66/174.78	c  174s |      13 |    88606 |    41832 |     8029      6 |        0 |        0
176.75/176.89	c  176s |      13 |    89067 |    42232 |     8029      6 |        0 |        0
179.16/179.21	c  179s |      13 |    89513 |    42632 |     8029      6 |        0 |        0
181.47/181.59	c  181s |      13 |    89959 |    43032 |     8029      6 |        0 |        0
183.77/183.85	c  183s |      13 |    90416 |    43432 |     8029      6 |        0 |        0
186.26/186.33	c  186s |      13 |    90849 |    43832 |     8029      6 |        0 |        0
188.45/188.58	c  188s |      13 |    91299 |    44232 |     8029      6 |        0 |        0
190.85/190.94	c  190s |      13 |    91736 |    44632 |     8029      6 |        0 |        0
193.15/193.28	c  193s |      13 |    92188 |    45032 |     8029      6 |        0 |        0
195.65/195.70	c  195s |      13 |    92773 |    45532 |     8029      6 |        0 |        0
197.76/197.85	c  197s |      13 |    93229 |    45932 |     8029      6 |        0 |        0
200.16/200.29	c  200s |      13 |    93782 |    46432 |     8029      6 |        0 |        0
203.56/203.67	c  203s |      13 |    94362 |    46932 |     8029      7 |        0 |        0
205.66/205.75	c  205s |      13 |    94814 |    47332 |     8029      7 |        0 |        0
207.96/208.01	c  207s |      13 |    95275 |    47732 |     8029      7 |        0 |        0
210.46/210.51	c  210s |      13 |    95733 |    48132 |     8029      7 |        0 |        0
212.85/212.93	c  212s |      13 |    96187 |    48532 |     8029      7 |        0 |        0
215.15/215.25	c  215s |      13 |    96617 |    48932 |     8029      7 |        0 |        0
217.15/217.29	c  217s |      13 |    96938 |    49232 |     8029      7 |        0 |        0
219.35/219.44	c  219s |      13 |    97259 |    49532 |     8029      7 |        0 |        0
221.55/221.62	c  221s |      13 |    97586 |    49832 |     8029      7 |        0 |        0
223.54/223.62	c  223s |      13 |    97904 |    50132 |     8029      7 |        0 |        0
226.15/226.25	c  226s |      13 |    98339 |    50532 |     8029      7 |        0 |        0
228.34/228.40	c  228s |      13 |    98669 |    50832 |     8029      7 |        0 |        0
230.96/231.03	c  230s |      13 |    99123 |    51232 |     8029      7 |        0 |        0
233.04/233.20	c  233s |      13 |    99471 |    51532 |     8029      7 |        0 |        0
235.44/235.51	c  235s |      13 |    99819 |    51832 |     8029      7 |        0 |        0
237.84/237.99	c  237s |      13 |   100142 |    52132 |     8029      7 |        0 |        0
240.24/240.36	c  240s |      13 |   100606 |    52532 |     8029      7 |        0 |        0
242.84/242.93	c  242s |      13 |   101069 |    52932 |     8029      7 |        0 |        0
244.93/245.03	c  244s |      13 |   101406 |    53232 |     8029      7 |        0 |        0
247.03/247.18	c  247s |      13 |   101735 |    53532 |     8029      7 |        0 |        0
249.14/249.24	c  249s |      13 |   102068 |    53832 |     8029      7 |        0 |        0
251.44/251.51	c  251s |      13 |   102408 |    54132 |     8029      7 |        0 |        0
253.93/254.01	c  253s |      13 |   102615 |    54332 |     8029      8 |        0 |        0
256.34/256.46	c  256s |      13 |   103067 |    54732 |     8029      8 |        0 |        0
258.74/258.82	c  258s |      13 |   103512 |    55132 |     8029      8 |        0 |        0
261.03/261.18	c  261s |      13 |   103973 |    55532 |     8029      8 |        0 |        0
263.23/263.34	c  263s |      13 |   104452 |    55932 |     8029      8 |        0 |        0
265.52/265.62	c  265s |      13 |   104898 |    56332 |     8029      8 |        0 |        0
267.83/267.90	c  267s |      13 |   105271 |    56632 |     8029      8 |        0 |        0
269.93/270.05	c  269s |      13 |   105764 |    57032 |     8029      8 |        0 |        0
272.33/272.40	c  272s |      13 |   106218 |    57432 |     8029      8 |        0 |        0
274.93/275.02	c  274s |      13 |   106679 |    57832 |     8029      8 |        0 |        0
277.03/277.12	c  277s |      13 |   107042 |    58132 |     8832      8 |        0 |        0
278.63/278.76	c  278s |      14 |   107287 |    58352 |     8832      8 |        0 |        0
280.62/280.79	c  280s |      14 |   111347 |    58452 |     8832      9 |        0 |        0
282.72/282.86	c  282s |      14 |   112287 |    59252 |     8832      9 |        0 |        0
285.02/285.15	c  285s |      14 |   113090 |    59952 |     8832      9 |        0 |        0
287.12/287.23	c  287s |      14 |   113760 |    60552 |     8832      9 |        0 |        0
289.33/289.43	c  289s |      14 |   114427 |    61152 |     8832      9 |        0 |        0
291.43/291.53	c  291s |      14 |   114973 |    61652 |     8832      9 |        0 |        0
293.62/293.77	c  293s |      14 |   115660 |    62252 |     8832      9 |        0 |        0
295.83/295.99	c  295s |      14 |   116330 |    62852 |     8832      9 |        0 |        0
297.91/298.05	c  297s |      14 |   116887 |    63352 |     8832      9 |        0 |        0
300.02/300.14	c  300s |      14 |   117451 |    63852 |     8832      9 |        0 |        0
302.22/302.31	c  302s |      14 |   118044 |    64352 |     8832      9 |        0 |        0
304.41/304.56	c  304s |      14 |   118631 |    64852 |     8832      9 |        0 |        0
306.91/307.03	c  306s |      14 |   119204 |    65352 |     8832      9 |        0 |        0
309.02/309.13	c  309s |      14 |   119652 |    65752 |     8832      9 |        0 |        0
311.11/311.22	c  311s |      14 |   120101 |    66152 |     8832      9 |        0 |        0
313.31/313.47	c  313s |      14 |   120543 |    66552 |     8832      9 |        0 |        0
315.50/315.60	c  315s |      14 |   120993 |    66952 |     8832      9 |        0 |        0
317.70/317.81	c  317s |      14 |   121444 |    67352 |     8832      9 |        0 |        0
320.20/320.36	c  320s |      14 |   122006 |    67852 |     8832      9 |        0 |        0
322.20/322.40	c  322s |      14 |   122225 |    68052 |     8832     10 |        0 |        0
324.51/324.60	c  324s |      14 |   122658 |    68452 |     8832     10 |        0 |        0
326.70/326.84	c  326s |      14 |   123098 |    68852 |     8832     10 |        0 |        0
328.90/329.02	c  328s |      14 |   123545 |    69252 |     8832     10 |        0 |        0
330.90/331.08	c  330s |      14 |   124004 |    69652 |     8832     10 |        0 |        0
333.20/333.32	c  333s |      14 |   124449 |    70052 |     8832     10 |        0 |        0
335.59/335.77	c  335s |      14 |   125029 |    70552 |     8832     10 |        0 |        0
337.89/338.05	c  337s |      14 |   125612 |    71052 |     8832     10 |        0 |        0
340.10/340.27	c  340s |      14 |   126066 |    71452 |     8832     10 |        0 |        0
342.30/342.49	c  342s |      14 |   126542 |    71852 |     8832     10 |        0 |        0
344.79/344.95	c  344s |      14 |   126992 |    72252 |     8832     10 |        0 |        0
347.19/347.30	c  347s |      14 |   127443 |    72652 |     8832     10 |        0 |        0
349.29/349.47	c  349s |      14 |   127894 |    73052 |     8832     10 |        0 |        0
351.70/351.80	c  351s |      14 |   128352 |    73452 |     8832     10 |        0 |        0
354.20/354.33	c  354s |      14 |   128837 |    73852 |     8832     10 |        0 |        0
356.30/356.42	c  356s |      14 |   129169 |    74152 |     8832     10 |        0 |        0
358.39/358.59	c  358s |      14 |   129502 |    74452 |     8832     10 |        0 |        0
360.70/360.88	c  360s |      14 |   129951 |    74852 |     8832     10 |        0 |        0
363.18/363.35	c  363s |      14 |   130422 |    75252 |     8832     10 |        0 |        0
366.99/367.19	c  367s |      14 |   130849 |    75652 |     8832     11 |        0 |        0
369.19/369.37	c  369s |      14 |   131410 |    76152 |     8832     11 |        0 |        0
371.58/371.79	c  371s |      14 |   131986 |    76652 |     8832     11 |        0 |        0
374.08/374.29	c  374s |      14 |   132538 |    77152 |     8832     11 |        0 |        0
376.48/376.67	c  376s |      14 |   133082 |    77652 |     8832     11 |        0 |        0
378.88/379.04	c  378s |      14 |   133621 |    78152 |     8832     11 |        0 |        0
380.98/381.12	c  381s |      14 |   134051 |    78552 |     8832     11 |        0 |        0
383.47/383.60	c  383s |      14 |   134626 |    79052 |     8832     11 |        0 |        0
385.67/385.88	c  385s |      14 |   135069 |    79452 |     8832     11 |        0 |        0
387.97/388.16	c  388s |      14 |   135531 |    79852 |     8832     11 |        0 |        0
390.27/390.45	c  390s |      14 |   135962 |    80252 |     8832     11 |        0 |        0
392.47/392.67	c  392s |      14 |   136412 |    80652 |     8832     11 |        0 |        0
394.87/395.01	c  394s |      14 |   136883 |    81052 |     8832     11 |        0 |        0
397.26/397.45	c  397s |      14 |   137337 |    81452 |     8832     11 |        0 |        0
399.77/399.91	c  399s |      14 |   137780 |    81852 |     8832     11 |        0 |        0
401.87/402.06	c  401s |      14 |   138121 |    82152 |     8832     11 |        0 |        0
403.96/404.11	c  404s |      14 |   138455 |    82452 |     8832     11 |        0 |        0
406.46/406.60	c  406s |      14 |   138926 |    82852 |     8832     11 |        0 |        0
408.66/408.82	c  408s |      14 |   139382 |    83252 |     8832     11 |        0 |        0
411.06/411.29	c  411s |      14 |   139717 |    83552 |     8832     12 |        0 |        0
413.16/413.38	c  413s |      14 |   140183 |    83952 |     8832     12 |        0 |        0
415.66/415.83	c  415s |      14 |   140750 |    84452 |     8832     12 |        0 |        0
417.96/418.19	c  418s |      14 |   141332 |    84952 |     8832     12 |        0 |        0
420.16/420.39	c  420s |      14 |   141757 |    85352 |     8832     12 |        0 |        0
422.54/422.71	c  422s |      14 |   142191 |    85752 |     8832     12 |        0 |        0
424.75/424.99	c  424s |      14 |   142620 |    86152 |     8832     12 |        0 |        0
427.35/427.50	c  427s |      14 |   143058 |    86552 |     8832     12 |        0 |        0
429.85/430.01	c  429s |      14 |   143490 |    86952 |     8832     12 |        0 |        0
432.34/432.59	c  432s |      14 |   143921 |    87352 |     9716     12 |        0 |        0
434.23/434.48	c  434s |      15 |   144229 |    87632 |     9716     12 |        0 |        0
436.33/436.51	c  436s |      15 |   147336 |    88032 |     9716     13 |        0 |        0
438.54/438.71	c  438s |      15 |   148615 |    89132 |     9716     13 |        0 |        0
440.74/440.95	c  440s |      15 |   149535 |    89932 |     9716     13 |        0 |        0
442.93/443.16	c  443s |      15 |   150459 |    90732 |     9716     13 |        0 |        0
445.13/445.31	c  445s |      15 |   151286 |    91432 |     9716     13 |        0 |        0
447.13/447.31	c  447s |      15 |   151994 |    92032 |     9716     13 |        0 |        0
449.33/449.56	c  449s |      15 |   152680 |    92632 |     9716     13 |        0 |        0
451.53/451.72	c  451s |      15 |   153206 |    93132 |     9716     13 |        0 |        0
453.73/453.94	c  453s |      15 |   153906 |    93732 |     9716     13 |        0 |        0
455.92/456.14	c  456s |      15 |   154587 |    94332 |     9716     13 |        0 |        0
458.12/458.39	c  458s |      15 |   155144 |    94832 |     9716     13 |        0 |        0
460.33/460.56	c  460s |      15 |   155700 |    95332 |     9716     13 |        0 |        0
462.42/462.64	c  462s |      15 |   156267 |    95832 |     9716     13 |        0 |        0
464.52/464.74	c  464s |      15 |   156833 |    96332 |     9716     13 |        0 |        0
466.72/466.98	c  466s |      15 |   157384 |    96832 |     9716     13 |        0 |        0
469.12/469.32	c  469s |      15 |   157927 |    97332 |     9716     13 |        0 |        0
472.32/472.58	c  472s |      15 |   158530 |    97832 |     9716     14 |        0 |        0
474.51/474.74	c  474s |      15 |   159125 |    98332 |     9716     14 |        0 |        0
476.72/476.90	c  476s |      15 |   159573 |    98732 |     9716     14 |        0 |        0
478.72/478.94	c  478s |      15 |   160015 |    99132 |     9716     14 |        0 |        0
480.92/481.13	c  481s |      15 |   160621 |    99632 |     9716     14 |        0 |        0
483.21/483.43	c  483s |      15 |   161172 |   100132 |     9716     14 |        0 |        0
485.51/485.73	c  485s |      15 |   161744 |   100632 |     9716     14 |        0 |        0
487.51/487.78	c  487s |      15 |   162205 |   101032 |     9716     14 |        0 |        0
489.61/489.88	c  489s |      15 |   162641 |   101432 |     9716     14 |        0 |        0
491.70/491.93	c  491s |      15 |   163095 |   101832 |     9716     14 |        0 |        0
493.82/494.02	c  493s |      15 |   163536 |   102232 |     9716     14 |        0 |        0
496.31/496.54	c  496s |      15 |   163987 |   102632 |     9716     14 |        0 |        0
498.80/499.00	c  498s |      15 |   164522 |   103132 |     9716     14 |        0 |        0
501.00/501.27	c  501s |      15 |   164948 |   103532 |     9716     14 |        0 |        0
503.40/503.66	c  503s |      15 |   165381 |   103932 |     9716     14 |        0 |        0
505.70/505.99	c  505s |      15 |   165812 |   104332 |     9716     14 |        0 |        0
508.30/508.52	c  508s |      15 |   166248 |   104732 |     9716     14 |        0 |        0
510.70/510.90	c  510s |      15 |   166691 |   105132 |     9716     14 |        0 |        0
512.89/513.11	c  513s |      15 |   167113 |   105532 |     9716     14 |        0 |        0
516.09/516.39	c  516s |      15 |   167543 |   105932 |     9716     15 |        0 |        0
518.30/518.57	c  518s |      15 |   167890 |   106232 |     9716     15 |        0 |        0
520.49/520.77	c  520s |      15 |   168319 |   106632 |     9716     15 |        0 |        0
522.59/522.84	c  522s |      15 |   168764 |   107032 |     9716     15 |        0 |        0
524.69/524.92	c  524s |      15 |   169200 |   107432 |     9716     15 |        0 |        0
526.89/527.15	c  527s |      15 |   169617 |   107832 |     9716     15 |        0 |        0
528.90/529.19	c  529s |      15 |   170064 |   108232 |     9716     15 |        0 |        0
531.39/531.69	c  531s |      15 |   170618 |   108732 |     9716     15 |        0 |        0
533.89/534.15	c  534s |      15 |   171079 |   109132 |     9716     15 |        0 |        0
536.28/536.53	c  536s |      15 |   171505 |   109532 |     9716     15 |        0 |        0
538.28/538.53	c  538s |      15 |   171830 |   109832 |     9716     15 |        0 |        0
540.49/540.75	c  540s |      15 |   172274 |   110232 |     9716     15 |        0 |        0
542.68/542.97	c  542s |      15 |   172706 |   110632 |     9716     15 |        0 |        0
545.39/545.61	c  545s |      15 |   173145 |   111032 |     9716     15 |        0 |        0
547.59/547.80	c  547s |      15 |   173574 |   111432 |     9716     15 |        0 |        0
549.79/550.06	c  549s |      15 |   174001 |   111832 |     9716     15 |        0 |        0
551.87/552.10	c  552s |      15 |   174321 |   112132 |     9716     15 |        0 |        0
554.07/554.40	c  554s |      15 |   174763 |   112532 |     9716     15 |        0 |        0
556.58/556.81	c  556s |      15 |   175313 |   113032 |     9716     15 |        0 |        0
559.17/559.40	c  559s |      15 |   175755 |   113432 |     9716     15 |        0 |        0
561.47/561.77	c  561s |      15 |   176189 |   113832 |     9716     15 |        0 |        0
564.18/564.48	c  564s |      15 |   176521 |   114132 |     9716     16 |        0 |        0
566.77/567.07	c  566s |      15 |   177084 |   114632 |     9716     16 |        0 |        0
568.87/569.17	c  569s |      15 |   177503 |   115032 |     9716     16 |        0 |        0
571.37/571.61	c  571s |      15 |   178063 |   115532 |     9716     16 |        0 |        0
573.46/573.77	c  573s |      15 |   178494 |   115932 |     9716     16 |        0 |        0
576.17/576.46	c  576s |      15 |   178931 |   116332 |     9716     16 |        0 |        0
578.47/578.77	c  578s |      15 |   179454 |   116832 |     9716     16 |        0 |        0
580.57/580.89	c  580s |      15 |   179889 |   117232 |     9716     16 |        0 |        0
582.87/583.17	c  583s |      15 |   180318 |   117632 |     9716     16 |        0 |        0
585.16/585.44	c  585s |      15 |   180765 |   118032 |     9716     16 |        0 |        0
587.66/587.94	c  587s |      15 |   181186 |   118432 |     9716     16 |        0 |        0
589.76/590.04	c  589s |      15 |   181526 |   118732 |     9716     16 |        0 |        0
591.86/592.18	c  592s |      15 |   181842 |   119032 |     9716     16 |        0 |        0
594.55/594.84	c  594s |      15 |   182281 |   119432 |     9716     16 |        0 |        0
597.16/597.41	c  597s |      15 |   182728 |   119832 |     9716     16 |        0 |        0
599.55/599.85	c  599s |      15 |   183145 |   120232 |     9716     16 |        0 |        0
602.16/602.42	c  602s |      15 |   183586 |   120632 |     9716     16 |        0 |        0
604.45/604.77	c  604s |      15 |   184018 |   121032 |     9716     16 |        0 |        0
606.55/606.83	c  606s |      15 |   184337 |   121332 |     9716     16 |        0 |        0
608.75/609.05	c  608s |      15 |   184651 |   121632 |     9716     16 |        0 |        0
610.95/611.22	c  611s |      15 |   184998 |   121932 |     9716     16 |        0 |        0
613.44/613.73	c  613s |      15 |   185203 |   122132 |     9716     17 |        0 |        0
615.65/616.00	c  615s |      15 |   185787 |   122632 |     9716     17 |        0 |        0
618.14/618.40	c  618s |      15 |   186232 |   123032 |     9716     17 |        0 |        0
620.15/620.44	c  620s |      15 |   186559 |   123332 |     9716     17 |        0 |        0
622.25/622.57	c  622s |      15 |   187110 |   123832 |     9716     17 |        0 |        0
624.44/624.79	c  624s |      15 |   187638 |   124332 |     9716     17 |        0 |        0
626.74/627.01	c  626s |      15 |   188191 |   124832 |     9716     17 |        0 |        0
628.94/629.23	c  629s |      15 |   188620 |   125232 |     9716     17 |        0 |        0
631.15/631.43	c  631s |      15 |   189054 |   125632 |     9716     17 |        0 |        0
633.34/633.70	c  633s |      15 |   189496 |   126032 |     9716     17 |        0 |        0
635.84/636.15	c  636s |      15 |   189923 |   126432 |     9716     17 |        0 |        0
638.33/638.67	c  638s |      15 |   190364 |   126832 |     9716     17 |        0 |        0
640.83/641.12	c  641s |      15 |   190798 |   127232 |     9716     17 |        0 |        0
643.34/643.65	c  643s |      15 |   191241 |   127632 |     9716     17 |        0 |        0
645.33/645.68	c  645s |      15 |   191561 |   127932 |     9716     17 |        0 |        0
648.03/648.36	c  648s |      15 |   191976 |   128332 |     9716     17 |        0 |        0
650.33/650.62	c  650s |      15 |   192294 |   128632 |     9716     17 |        0 |        0
652.92/653.29	c  653s |      15 |   192735 |   129032 |     9716     17 |        0 |        0
655.13/655.43	c  655s |      15 |   193065 |   129332 |     9716     17 |        0 |        0
657.12/657.45	c  657s |      15 |   193391 |   129632 |     9716     17 |        0 |        0
659.12/659.48	c  659s |      15 |   193715 |   129932 |     9716     17 |        0 |        0
662.72/663.04	c  662s |      15 |   194161 |   130332 |     9716     18 |        0 |        0
665.02/665.37	c  665s |      15 |   194722 |   130832 |    10688     18 |        0 |        0
667.32/667.67	c  667s |      15 |   195206 |   131232 |    10688     18 |        0 |        0
669.02/669.36	c  669s |      16 |   195634 |   131552 |    10688     18 |        0 |        0
671.22/671.56	c  671s |      16 |   199232 |   132152 |    10688     18 |        0 |        0
673.32/673.64	c  673s |      16 |   199981 |   132752 |    10688     18 |        0 |        0
675.61/675.97	c  675s |      16 |   200721 |   133352 |    10688     18 |        0 |        0
677.61/678.00	c  677s |      16 |   201309 |   133852 |    10688     18 |        0 |        0
679.82/680.11	c  680s |      16 |   201916 |   134352 |    10688     18 |        0 |        0
682.02/682.37	c  682s |      16 |   202505 |   134852 |    10688     18 |        0 |        0
684.12/684.48	c  684s |      16 |   202969 |   135252 |    10688     18 |        0 |        0
686.41/686.76	c  686s |      16 |   203412 |   135652 |    10688     18 |        0 |        0
688.52/688.88	c  688s |      16 |   203878 |   136052 |    10688     18 |        0 |        0
690.81/691.13	c  691s |      16 |   204326 |   136452 |    10688     18 |        0 |        0
693.11/693.42	c  693s |      16 |   204782 |   136852 |    10688     18 |        0 |        0
695.61/695.99	c  695s |      16 |   205226 |   137252 |    10688     18 |        0 |        0
697.81/698.11	c  698s |      16 |   205546 |   137552 |    10688     18 |        0 |        0
700.31/700.61	c  700s |      16 |   206033 |   137952 |    10688     18 |        0 |        0
702.81/703.10	c  703s |      16 |   206477 |   138352 |    10688     18 |        0 |        0
704.82/705.17	c  705s |      16 |   206987 |   138752 |    10688     18 |        0 |        0
707.12/707.42	c  707s |      16 |   207447 |   139152 |    10688     18 |        0 |        0
709.41/709.71	c  709s |      16 |   207660 |   139352 |    10688     19 |        0 |        0
712.00/712.36	c  712s |      16 |   208106 |   139752 |    10688     19 |        0 |        0
714.41/714.71	c  714s |      16 |   208563 |   140152 |    10688     19 |        0 |        0
716.50/716.83	c  716s |      16 |   209047 |   140552 |    10688     19 |        0 |        0
718.71/719.08	c  718s |      16 |   209530 |   140952 |    10688     19 |        0 |        0
721.11/721.46	c  721s |      16 |   209994 |   141352 |    10688     19 |        0 |        0
723.70/724.02	c  723s |      16 |   210452 |   141752 |    10688     19 |        0 |        0
726.41/726.74	c  726s |      16 |   210922 |   142152 |    10688     19 |        0 |        0
728.41/728.80	c  728s |      16 |   211251 |   142452 |    10688     19 |        0 |        0
731.10/731.47	c  731s |      16 |   211708 |   142852 |    10688     19 |        0 |        0
733.20/733.53	c  733s |      16 |   212043 |   143152 |    10688     19 |        0 |        0
735.41/735.72	c  735s |      16 |   212373 |   143452 |    10688     19 |        0 |        0
737.81/738.15	c  738s |      16 |   212697 |   143752 |    10688     19 |        0 |        0
740.20/740.52	c  740s |      16 |   213304 |   144252 |    10688     19 |        0 |        0
742.31/742.69	c  742s |      16 |   213756 |   144652 |    10688     19 |        0 |        0
744.71/745.04	c  744s |      16 |   214213 |   145052 |    10688     19 |        0 |        0
747.20/747.50	c  747s |      16 |   214664 |   145452 |    10688     19 |        0 |        0
749.60/749.97	c  749s |      16 |   215115 |   145852 |    10688     19 |        0 |        0
752.30/752.69	c  752s |      16 |   215562 |   146252 |    10688     19 |        0 |        0
754.41/754.72	c  754s |      16 |   215900 |   146552 |    10688     19 |        0 |        0
756.41/756.78	c  756s |      16 |   216243 |   146852 |    10688     19 |        0 |        0
759.00/759.35	c  759s |      16 |   216700 |   147252 |    10688     19 |        0 |        0
761.20/761.57	c  761s |      16 |   217171 |   147652 |    10688     19 |        0 |        0
763.21/763.58	c  763s |      16 |   217300 |   147752 |    10688     20 |        0 |        0
765.41/765.73	c  765s |      16 |   217754 |   148152 |    10688     20 |        0 |        0
767.51/767.81	c  767s |      16 |   218192 |   148552 |    10688     20 |        0 |        0
769.90/770.20	c  770s |      16 |   218615 |   148952 |    10688     20 |        0 |        0
772.29/772.60	c  772s |      16 |   219175 |   149452 |    10688     20 |        0 |        0
774.40/774.76	c  774s |      16 |   219656 |   149852 |    10688     20 |        0 |        0
776.50/776.81	c  776s |      16 |   220091 |   150252 |    10688     20 |        0 |        0
778.80/779.11	c  779s |      16 |   220535 |   150652 |    10688     20 |        0 |        0
781.10/781.49	c  781s |      16 |   220988 |   151052 |    10688     20 |        0 |        0
783.30/783.66	c  783s |      16 |   221420 |   151452 |    10688     20 |        0 |        0
785.79/786.18	c  786s |      16 |   221854 |   151852 |    10688     20 |        0 |        0
788.50/788.83	c  788s |      16 |   222301 |   152252 |    10688     20 |        0 |        0
790.89/791.23	c  791s |      16 |   222639 |   152552 |    10688     20 |        0 |        0
792.99/793.34	c  793s |      16 |   222989 |   152852 |    10688     20 |        0 |        0
795.11/795.47	c  795s |      16 |   223308 |   153152 |    10688     20 |        0 |        0
797.80/798.14	c  798s |      16 |   223775 |   153552 |    10688     20 |        0 |        0
800.30/800.60	c  800s |      16 |   224096 |   153852 |    10688     20 |        0 |        0
802.59/803.00	c  802s |      16 |   224415 |   154152 |    10688     20 |        0 |        0
805.09/805.40	c  805s |      16 |   224745 |   154452 |    10688     20 |        0 |        0
807.40/807.73	c  807s |      16 |   225086 |   154752 |    10688     20 |        0 |        0
809.89/810.20	c  810s |      16 |   225401 |   155052 |    10688     20 |        0 |        0
812.19/812.55	c  812s |      16 |   225745 |   155352 |    10688     20 |        0 |        0
814.19/814.56	c  814s |      16 |   226074 |   155652 |    10688     20 |        0 |        0
816.29/816.68	c  816s |      16 |   226559 |   156052 |    10688     20 |        0 |        0
818.49/818.81	c  818s |      16 |   226822 |   156252 |    10688     21 |        0 |        0
820.69/821.04	c  820s |      16 |   227449 |   156752 |    10688     21 |        0 |        0
822.99/823.31	c  823s |      16 |   228052 |   157252 |    10688     21 |        0 |        0
825.39/825.75	c  825s |      16 |   228590 |   157752 |    10688     21 |        0 |        0
828.00/828.39	c  828s |      16 |   229206 |   158252 |    10688     21 |        0 |        0
830.59/830.94	c  830s |      16 |   229698 |   158652 |    10688     21 |        0 |        0
832.99/833.34	c  833s |      16 |   230171 |   159052 |    10688     21 |        0 |        0
835.59/835.94	c  835s |      16 |   230749 |   159552 |    10688     21 |        0 |        0
837.79/838.15	c  838s |      16 |   231206 |   159952 |    10688     21 |        0 |        0
840.09/840.46	c  840s |      16 |   231669 |   160352 |    10688     21 |        0 |        0
842.19/842.50	c  842s |      16 |   231999 |   160652 |    10688     21 |        0 |        0
844.69/845.02	c  844s |      16 |   232476 |   161052 |    10688     21 |        0 |        0
846.99/847.32	c  847s |      16 |   232976 |   161452 |    10688     21 |        0 |        0
849.49/849.85	c  849s |      16 |   233416 |   161852 |    10688     21 |        0 |        0
851.59/851.94	c  851s |      16 |   233747 |   162152 |    10688     21 |        0 |        0
853.69/854.09	c  853s |      16 |   234089 |   162452 |    10688     21 |        0 |        0
855.88/856.22	c  856s |      16 |   234436 |   162752 |    10688     21 |        0 |        0
857.98/858.38	c  858s |      16 |   234767 |   163052 |    10688     21 |        0 |        0
860.08/860.45	c  860s |      16 |   235234 |   163452 |    10688     21 |        0 |        0
862.59/862.93	c  862s |      16 |   235682 |   163852 |    10688     21 |        0 |        0
865.19/865.54	c  865s |      16 |   236161 |   164252 |    10688     21 |        0 |        0
867.39/867.78	c  867s |      16 |   236629 |   164652 |    10688     21 |        0 |        0
869.89/870.26	c  870s |      16 |   236847 |   164852 |    10688     22 |        0 |        0
872.18/872.58	c  872s |      16 |   237313 |   165252 |    10688     22 |        0 |        0
874.48/874.87	c  874s |      16 |   237770 |   165652 |    10688     22 |        0 |        0
876.78/877.14	c  877s |      16 |   238252 |   166052 |    10688     22 |        0 |        0
879.38/879.73	c  879s |      16 |   238700 |   166452 |    10688     22 |        0 |        0
881.48/881.88	c  881s |      16 |   239158 |   166852 |    10688     22 |        0 |        0
883.88/884.25	c  884s |      16 |   239613 |   167252 |    10688     22 |        0 |        0
886.39/886.73	c  886s |      16 |   240069 |   167652 |    10688     22 |        0 |        0
888.68/889.02	c  888s |      16 |   240547 |   168052 |    10688     22 |        0 |        0
890.88/891.24	c  891s |      16 |   240990 |   168452 |    10688     22 |        0 |        0
893.38/893.79	c  893s |      16 |   241423 |   168852 |    10688     22 |        0 |        0
896.19/896.52	c  896s |      16 |   241849 |   169252 |    10688     22 |        0 |        0
898.28/898.63	c  898s |      16 |   242095 |   169452 |    10688     22 |        0 |        0
900.38/900.78	c  900s |      16 |   242535 |   169852 |    10688     22 |        0 |        0
902.79/903.14	c  903s |      16 |   242993 |   170252 |    10688     22 |        0 |        0
905.09/905.43	c  905s |      16 |   243452 |   170652 |    10688     22 |        0 |        0
907.68/908.06	c  907s |      16 |   243898 |   171052 |    10688     22 |        0 |        0
910.17/910.53	c  910s |      16 |   244388 |   171452 |    10688     22 |        0 |        0
912.69/913.08	c  912s |      16 |   244865 |   171852 |    10688     22 |        0 |        0
915.28/915.67	c  915s |      16 |   245318 |   172252 |    10688     22 |        0 |        0
917.37/917.70	c  917s |      16 |   245642 |   172552 |    10688     22 |        0 |        0
919.58/919.94	c  919s |      16 |   245968 |   172852 |    10688     22 |        0 |        0
922.08/922.40	c  922s |      16 |   246308 |   173152 |    10688     22 |        0 |        0
924.98/925.36	c  925s |      16 |   246521 |   173352 |    10688     23 |        0 |        0
926.98/927.39	c  927s |      16 |   246853 |   173652 |    10688     23 |        0 |        0
929.18/929.55	c  929s |      16 |   247185 |   173952 |    10688     23 |        0 |        0
931.97/932.35	c  932s |      16 |   247447 |   174152 |    10688     23 |        0 |        0
933.97/934.37	c  934s |      16 |   248065 |   174652 |    10688     23 |        0 |        0
936.07/936.47	c  936s |      16 |   248523 |   175052 |    10688     23 |        0 |        0
938.57/938.96	c  938s |      16 |   249140 |   175552 |    10688     23 |        0 |        0
940.78/941.12	c  941s |      16 |   249589 |   175952 |    10688     23 |        0 |        0
943.17/943.57	c  943s |      16 |   250088 |   176352 |    10688     23 |        0 |        0
945.27/945.63	c  945s |      16 |   250409 |   176652 |    10688     23 |        0 |        0
947.27/947.65	c  947s |      16 |   250752 |   176952 |    10688     23 |        0 |        0
949.87/950.28	c  950s |      16 |   251214 |   177352 |    10688     23 |        0 |        0
951.87/952.29	c  952s |      16 |   251563 |   177652 |    10688     23 |        0 |        0
954.17/954.50	c  954s |      16 |   251903 |   177952 |    10688     23 |        0 |        0
956.67/957.01	c  956s |      16 |   252359 |   178352 |    10688     23 |        0 |        0
958.88/959.24	c  959s |      16 |   252684 |   178652 |    10688     23 |        0 |        0
960.97/961.37	c  961s |      16 |   253022 |   178952 |    10688     23 |        0 |        0
963.57/963.96	c  963s |      16 |   253482 |   179352 |    10688     23 |        0 |        0
966.27/966.61	c  966s |      16 |   253973 |   179752 |    10688     23 |        0 |        0
968.56/968.90	c  968s |      16 |   254278 |   180052 |    10688     23 |        0 |        0
970.87/971.22	c  971s |      16 |   254609 |   180352 |    10688     23 |        0 |        0
973.07/973.46	c  973s |      16 |   254956 |   180652 |    10688     23 |        0 |        0
975.57/975.94	c  975s |      16 |   255286 |   180952 |    10688     23 |        0 |        0
978.06/978.46	c  978s |      16 |   255612 |   181252 |    10688     23 |        0 |        0
980.47/980.89	c  980s |      16 |   255945 |   181552 |    10688     23 |        0 |        0
984.46/984.84	c  984s |      16 |   256283 |   181852 |    10688     24 |        0 |        0
986.48/986.89	c  986s |      16 |   256613 |   182152 |    10688     24 |        0 |        0
988.87/989.24	c  989s |      16 |   256958 |   182452 |    10688     24 |        0 |        0
991.06/991.44	c  991s |      16 |   257398 |   182852 |    10688     24 |        0 |        0
993.66/994.01	c  993s |      16 |   257862 |   183252 |    10688     24 |        0 |        0
995.76/996.15	c  996s |      16 |   258196 |   183552 |    10688     24 |        0 |        0
997.87/998.27	c  998s |      16 |   258517 |   183852 |    10688     24 |        0 |        0
999.97/1000.38	c 1000s |      16 |   258848 |   184152 |    10688     24 |        0 |        0
1002.27/1002.64	c 1002s |      16 |   259172 |   184452 |    10688     24 |        0 |        0
1004.46/1004.86	c 1004s |      16 |   259492 |   184752 |    10688     24 |        0 |        0
1006.66/1007.07	c 1006s |      16 |   259867 |   185052 |    10688     24 |        0 |        0
1008.96/1009.40	c 1009s |      16 |   260348 |   185452 |    10688     24 |        0 |        0
1011.36/1011.76	c 1011s |      16 |   260803 |   185852 |    10688     24 |        0 |        0
1013.66/1014.07	c 1013s |      16 |   261258 |   186252 |    10688     24 |        0 |        0
1015.96/1016.35	c 1016s |      16 |   261711 |   186652 |    10688     24 |        0 |        0
1018.37/1018.73	c 1018s |      16 |   262146 |   187052 |    10688     24 |        0 |        0
1020.36/1020.75	c 1020s |      16 |   262484 |   187352 |    10688     24 |        0 |        0
1022.96/1023.31	c 1023s |      16 |   262911 |   187752 |    10688     24 |        0 |        0
1024.96/1025.33	c 1025s |      16 |   263233 |   188052 |    10688     24 |        0 |        0
1027.07/1027.42	c 1027s |      16 |   263554 |   188352 |    10688     24 |        0 |        0
1029.06/1029.47	c 1029s |      16 |   263883 |   188652 |    10688     24 |        0 |        0
1031.66/1032.01	c 1031s |      16 |   264322 |   189052 |    10688     24 |        0 |        0
1033.95/1034.36	c 1034s |      16 |   264771 |   189452 |    10688     24 |        0 |        0
1036.35/1036.74	c 1036s |      16 |   265206 |   189852 |    10688     24 |        0 |        0
1038.66/1039.09	c 1038s |      16 |   265645 |   190252 |    10688     24 |        0 |        0
1041.37/1041.75	c 1041s |      16 |   265872 |   190452 |    10688     25 |        0 |        0
1043.86/1044.24	c 1044s |      16 |   266340 |   190852 |    10688     25 |        0 |        0
1046.46/1046.80	c 1046s |      16 |   266768 |   191252 |    10688     25 |        0 |        0
1048.85/1049.28	c 1049s |      16 |   267194 |   191652 |    10688     25 |        0 |        0
1051.26/1051.62	c 1051s |      16 |   267642 |   192052 |    10688     25 |        0 |        0
1053.76/1054.14	c 1054s |      16 |   268098 |   192452 |    10688     25 |        0 |        0
1056.36/1056.79	c 1056s |      16 |   268553 |   192852 |    10688     25 |        0 |        0
1058.96/1059.38	c 1059s |      16 |   269005 |   193252 |    10688     25 |        0 |        0
1061.66/1062.05	c 1061s |      16 |   269473 |   193652 |    10688     25 |        0 |        0
1063.85/1064.27	c 1064s |      16 |   269805 |   193952 |    10688     25 |        0 |        0
1066.35/1066.72	c 1066s |      16 |   270239 |   194352 |    10688     25 |        0 |        0
1068.75/1069.13	c 1069s |      16 |   270562 |   194652 |    10688     25 |        0 |        0
1071.06/1071.45	c 1071s |      16 |   270919 |   194952 |    10688     25 |        0 |        0
1073.36/1073.77	c 1073s |      16 |   271400 |   195352 |    10688     25 |        0 |        0
1075.85/1076.21	c 1076s |      16 |   271848 |   195752 |    10688     25 |        0 |        0
1078.05/1078.49	c 1078s |      16 |   272331 |   196152 |    11757     25 |        0 |        0
1080.55/1080.97	c 1080s |      16 |   272762 |   196552 |    11757     25 |        0 |        0
1083.06/1083.50	c 1083s |      16 |   273214 |   196952 |    11757     25 |        0 |        0
1085.55/1085.93	c 1085s |      16 |   273669 |   197352 |    11757     25 |        0 |        0
1086.05/1086.47	c 1086s |      17 |   273760 |   197432 |    11757     25 |        0 |        0
1089.05/1089.49	c 1089s |      17 |   277098 |   197532 |    11757     26 |        0 |        0
1091.45/1091.89	c 1091s |      17 |   277817 |   198132 |    11757     26 |        0 |        0
1093.55/1093.95	c 1093s |      17 |   278610 |   198632 |    11757     26 |        0 |        0
1095.75/1096.17	c 1096s |      17 |   279168 |   199132 |    11757     26 |        0 |        0
1098.05/1098.46	c 1098s |      17 |   279771 |   199632 |    11757     26 |        0 |        0
1100.55/1100.92	c 1100s |      17 |   280340 |   200132 |    11757     26 |        0 |        0
1102.84/1103.22	c 1103s |      17 |   280785 |   200532 |    11757     26 |        0 |        0
1104.95/1105.30	c 1105s |      17 |   281277 |   200932 |    11757     26 |        0 |        0
1107.05/1107.42	c 1107s |      17 |   281798 |   201332 |    11757     26 |        0 |        0
1109.66/1110.02	c 1109s |      17 |   282235 |   201732 |    11757     26 |        0 |        0
1112.15/1112.59	c 1112s |      17 |   282714 |   202132 |    11757     26 |        0 |        0
1114.54/1114.91	c 1114s |      17 |   283220 |   202532 |    11757     26 |        0 |        0
1116.64/1117.04	c 1116s |      17 |   283754 |   202932 |    11757     26 |        0 |        0
1118.85/1119.30	c 1119s |      17 |   284207 |   203332 |    11757     26 |        0 |        0
1121.25/1121.66	c 1121s |      17 |   284722 |   203732 |    11757     26 |        0 |        0
1123.64/1124.09	c 1124s |      17 |   285163 |   204132 |    11757     26 |        0 |        0
1125.74/1126.11	c 1126s |      17 |   285511 |   204432 |    11757     26 |        0 |        0
1128.36/1128.72	c 1128s |      17 |   285954 |   204832 |    11757     26 |        0 |        0
1130.85/1131.25	c 1131s |      17 |   286400 |   205232 |    11757     26 |        0 |        0
1132.94/1133.32	c 1133s |      17 |   286740 |   205532 |    11757     26 |        0 |        0
1135.04/1135.41	c 1135s |      17 |   287065 |   205832 |    11757     26 |        0 |        0
1137.45/1137.81	c 1137s |      17 |   287562 |   206232 |    11757     26 |        0 |        0
1139.94/1140.39	c 1140s |      17 |   288006 |   206632 |    11757     26 |        0 |        0
1142.34/1142.76	c 1142s |      17 |   288501 |   207032 |    11757     26 |        0 |        0
1145.04/1145.49	c 1145s |      17 |   288956 |   207432 |    11757     26 |        0 |        0
1147.25/1147.62	c 1147s |      17 |   289302 |   207732 |    11757     26 |        0 |        0
1149.34/1149.74	c 1149s |      17 |   289568 |   207932 |    11757     27 |        0 |        0
1151.45/1151.84	c 1151s |      17 |   289903 |   208232 |    11757     27 |        0 |        0
1153.55/1153.93	c 1153s |      17 |   290267 |   208532 |    11757     27 |        0 |        0
1156.34/1156.70	c 1156s |      17 |   290729 |   208932 |    11757     27 |        0 |        0
1158.54/1158.98	c 1158s |      17 |   291065 |   209232 |    11757     27 |        0 |        0
1160.94/1161.35	c 1161s |      17 |   291419 |   209532 |    11757     27 |        0 |        0
1163.45/1163.84	c 1163s |      17 |   291795 |   209832 |    11757     27 |        0 |        0
1166.03/1166.45	c 1166s |      17 |   292140 |   210132 |    11757     27 |        0 |        0
1168.64/1169.03	c 1168s |      17 |   292491 |   210432 |    11757     27 |        0 |        0
1170.64/1171.09	c 1171s |      17 |   292832 |   210732 |    11757     27 |        0 |        0
1172.93/1173.32	c 1173s |      17 |   293306 |   211132 |    11757     27 |        0 |        0
1175.23/1175.64	c 1175s |      17 |   293772 |   211532 |    11757     27 |        0 |        0
1177.54/1177.96	c 1177s |      17 |   294291 |   211932 |    11757     27 |        0 |        0
1180.14/1180.55	c 1180s |      17 |   294760 |   212332 |    11757     27 |        0 |        0
1182.74/1183.15	c 1183s |      17 |   295222 |   212732 |    11757     27 |        0 |        0
1184.83/1185.20	c 1185s |      17 |   295578 |   213032 |    11757     27 |        0 |        0
1187.04/1187.44	c 1187s |      17 |   295919 |   213332 |    11757     27 |        0 |        0
1189.34/1189.73	c 1189s |      17 |   296291 |   213632 |    11757     27 |        0 |        0
1191.43/1191.89	c 1191s |      17 |   296639 |   213932 |    11757     27 |        0 |        0
1194.04/1194.43	c 1194s |      17 |   297108 |   214332 |    11757     27 |        0 |        0
1196.34/1196.74	c 1196s |      17 |   297617 |   214732 |    11757     27 |        0 |        0
1198.93/1199.36	c 1199s |      17 |   298084 |   215132 |    11757     27 |        0 |        0
1201.33/1201.72	c 1201s |      17 |   298426 |   215432 |    11757     27 |        0 |        0
1203.84/1204.29	c 1204s |      17 |   298767 |   215732 |    11757     27 |        0 |        0
1206.44/1206.85	c 1206s |      17 |   299095 |   216032 |    11757     27 |        0 |        0
1208.83/1209.22	c 1209s |      17 |   299434 |   216332 |    11757     27 |        0 |        0
1211.33/1211.74	c 1211s |      17 |   299773 |   216632 |    11757     27 |        0 |        0
1213.93/1214.31	c 1214s |      17 |   300134 |   216932 |    11757     27 |        0 |        0
1216.34/1216.78	c 1216s |      17 |   300238 |   217032 |    11757     28 |        0 |        0
1218.44/1218.85	c 1218s |      17 |   300595 |   217332 |    11757     28 |        0 |        0
1220.64/1221.05	c 1220s |      17 |   300939 |   217632 |    11757     28 |        0 |        0
1222.73/1223.12	c 1223s |      17 |   301271 |   217932 |    11757     28 |        0 |        0
1225.33/1225.70	c 1225s |      17 |   301711 |   218332 |    11757     28 |        0 |        0
1227.34/1227.78	c 1227s |      17 |   302028 |   218632 |    11757     28 |        0 |        0
1230.03/1230.48	c 1230s |      17 |   302473 |   219032 |    11757     28 |        0 |        0
1232.12/1232.56	c 1232s |      17 |   302808 |   219332 |    11757     28 |        0 |        0
1234.33/1234.75	c 1234s |      17 |   303144 |   219632 |    11757     28 |        0 |        0
1236.43/1236.85	c 1236s |      17 |   303468 |   219932 |    11757     28 |        0 |        0
1238.53/1238.97	c 1238s |      17 |   303827 |   220232 |    11757     28 |        0 |        0
1240.63/1241.05	c 1240s |      17 |   304164 |   220532 |    11757     28 |        0 |        0
1242.82/1243.25	c 1243s |      17 |   304490 |   220832 |    11757     28 |        0 |        0
1245.03/1245.43	c 1245s |      17 |   304836 |   221132 |    11757     28 |        0 |        0
1247.13/1247.59	c 1247s |      17 |   305182 |   221432 |    11757     28 |        0 |        0
1249.62/1250.07	c 1249s |      17 |   305529 |   221732 |    11757     28 |        0 |        0
1252.02/1252.40	c 1252s |      17 |   305915 |   222032 |    11757     28 |        0 |        0
1254.43/1254.86	c 1254s |      17 |   306248 |   222332 |    11757     28 |        0 |        0
1256.62/1257.00	c 1256s |      17 |   306626 |   222632 |    11757     28 |        0 |        0
1258.92/1259.35	c 1259s |      17 |   306973 |   222932 |    11757     28 |        0 |        0
1261.12/1261.56	c 1261s |      17 |   307316 |   223232 |    11757     28 |        0 |        0
1263.33/1263.72	c 1263s |      17 |   307698 |   223532 |    11757     28 |        0 |        0
1265.62/1266.08	c 1265s |      17 |   308030 |   223832 |    11757     28 |        0 |        0
1267.82/1268.28	c 1268s |      17 |   308383 |   224132 |    11757     28 |        0 |        0
1270.03/1270.49	c 1270s |      17 |   308720 |   224432 |    11757     28 |        0 |        0
1272.43/1272.84	c 1272s |      17 |   309056 |   224732 |    11757     28 |        0 |        0
1274.92/1275.35	c 1275s |      17 |   309392 |   225032 |    11757     28 |        0 |        0
1277.02/1277.48	c 1277s |      17 |   309751 |   225332 |    11757     28 |        0 |        0
1279.72/1280.17	c 1280s |      17 |   310228 |   225732 |    11757     28 |        0 |        0
1282.12/1282.57	c 1282s |      17 |   310549 |   226032 |    11757     28 |        0 |        0
1284.32/1284.75	c 1284s |      17 |   310664 |   226132 |    11757     29 |        0 |        0
1286.52/1286.98	c 1286s |      17 |   311012 |   226432 |    11757     29 |        0 |        0
1289.12/1289.50	c 1289s |      17 |   311486 |   226832 |    11757     29 |        0 |        0
1291.62/1292.07	c 1291s |      17 |   311967 |   227232 |    11757     29 |        0 |        0
1294.02/1294.44	c 1294s |      17 |   312301 |   227532 |    11757     29 |        0 |        0
1296.12/1296.51	c 1296s |      17 |   312653 |   227832 |    11757     29 |        0 |        0
1298.22/1298.64	c 1298s |      17 |   312991 |   228132 |    11757     29 |        0 |        0
1300.72/1301.20	c 1301s |      17 |   313434 |   228532 |    11757     29 |        0 |        0
1303.22/1303.67	c 1303s |      17 |   313876 |   228932 |    11757     29 |        0 |        0
1305.21/1305.68	c 1305s |      17 |   314215 |   229232 |    11757     29 |        0 |        0
1307.42/1307.82	c 1307s |      17 |   314576 |   229532 |    11757     29 |        0 |        0
1309.42/1309.89	c 1309s |      17 |   314904 |   229832 |    11757     29 |        0 |        0
1312.12/1312.58	c 1312s |      17 |   315360 |   230232 |    11757     29 |        0 |        0
1314.12/1314.59	c 1314s |      17 |   315720 |   230532 |    11757     29 |        0 |        0
1316.61/1317.02	c 1316s |      17 |   316179 |   230932 |    11757     29 |        0 |        0
1319.02/1319.45	c 1319s |      17 |   316639 |   231332 |    11757     29 |        0 |        0
1321.61/1322.05	c 1321s |      17 |   317094 |   231732 |    11757     29 |        0 |        0
1324.31/1324.71	c 1324s |      17 |   317557 |   232132 |    11757     29 |        0 |        0
1326.42/1326.83	c 1326s |      17 |   317890 |   232432 |    11757     29 |        0 |        0
1328.42/1328.84	c 1328s |      17 |   318240 |   232732 |    11757     29 |        0 |        0
1330.62/1331.08	c 1330s |      17 |   318564 |   233032 |    11757     29 |        0 |        0
1333.01/1333.43	c 1333s |      17 |   318912 |   233332 |    11757     29 |        0 |        0
1335.61/1336.09	c 1335s |      17 |   319386 |   233732 |    11757     29 |        0 |        0
1338.21/1338.65	c 1338s |      17 |   319854 |   234132 |    11757     29 |        0 |        0
1340.31/1340.75	c 1340s |      17 |   320183 |   234432 |    11757     29 |        0 |        0
1342.31/1342.78	c 1342s |      17 |   320502 |   234732 |    11757     29 |        0 |        0
1344.41/1344.83	c 1344s |      17 |   320854 |   235032 |    11757     29 |        0 |        0
1347.11/1347.55	c 1347s |      17 |   321065 |   235232 |    11757     30 |        0 |        0
1349.32/1349.77	c 1349s |      17 |   321407 |   235532 |    11757     30 |        0 |        0
1351.41/1351.82	c 1351s |      17 |   321733 |   235832 |    11757     30 |        0 |        0
1354.51/1354.91	c 1354s |      17 |   322064 |   236132 |    11757     30 |        0 |        0
1356.61/1357.02	c 1356s |      17 |   322538 |   236532 |    11757     30 |        0 |        0
1358.81/1359.24	c 1359s |      17 |   322975 |   236932 |    11757     30 |        0 |        0
1361.11/1361.52	c 1361s |      17 |   323430 |   237332 |    11757     30 |        0 |        0
1363.51/1363.99	c 1363s |      17 |   323860 |   237732 |    11757     30 |        0 |        0
1366.11/1366.52	c 1366s |      17 |   324333 |   238132 |    11757     30 |        0 |        0
1368.61/1369.09	c 1369s |      17 |   324774 |   238532 |    11757     30 |        0 |        0
1370.70/1371.10	c 1371s |      17 |   325117 |   238832 |    11757     30 |        0 |        0
1372.91/1373.31	c 1373s |      17 |   325419 |   239132 |    11757     30 |        0 |        0
1374.91/1375.34	c 1375s |      17 |   325746 |   239432 |    11757     30 |        0 |        0
1377.00/1377.45	c 1377s |      17 |   326090 |   239732 |    11757     30 |        0 |        0
1379.40/1379.80	c 1379s |      17 |   326568 |   240132 |    11757     30 |        0 |        0
1382.00/1382.41	c 1382s |      17 |   326980 |   240532 |    11757     30 |        0 |        0
1384.51/1384.98	c 1384s |      17 |   327415 |   240932 |    11757     30 |        0 |        0
1386.60/1387.07	c 1386s |      17 |   327754 |   241232 |    11757     30 |        0 |        0
1388.71/1389.11	c 1389s |      17 |   328089 |   241532 |    11757     30 |        0 |        0
1390.71/1391.17	c 1391s |      17 |   328438 |   241832 |    11757     30 |        0 |        0
1392.90/1393.33	c 1393s |      17 |   328776 |   242132 |    11757     30 |        0 |        0
1395.10/1395.58	c 1395s |      17 |   329108 |   242432 |    11757     30 |        0 |        0
1397.51/1397.92	c 1397s |      17 |   329438 |   242732 |    11757     30 |        0 |        0
1399.71/1400.13	c 1400s |      17 |   329779 |   243032 |    11757     30 |        0 |        0
1402.11/1402.59	c 1402s |      17 |   330097 |   243332 |    11757     30 |        0 |        0
1404.31/1404.79	c 1404s |      17 |   330452 |   243632 |    11757     30 |        0 |        0
1406.70/1407.18	c 1407s |      17 |   330781 |   243932 |    11757     30 |        0 |        0
1408.90/1409.32	c 1409s |      17 |   331114 |   244232 |    11757     30 |        0 |        0
1411.40/1411.88	c 1411s |      17 |   331348 |   244432 |    11757     31 |        0 |        0
1413.90/1414.39	c 1414s |      17 |   331795 |   244832 |    11757     31 |        0 |        0
1416.01/1416.47	c 1416s |      17 |   332169 |   245132 |    11757     31 |        0 |        0
1418.20/1418.62	c 1418s |      17 |   332638 |   245532 |    11757     31 |        0 |        0
1420.50/1420.98	c 1420s |      17 |   333083 |   245932 |    11757     31 |        0 |        0
1422.90/1423.36	c 1423s |      17 |   333608 |   246332 |    11757     31 |        0 |        0
1425.60/1426.04	c 1425s |      17 |   334061 |   246732 |    11757     31 |        0 |        0
1427.70/1428.10	c 1428s |      17 |   334418 |   247032 |    11757     31 |        0 |        0
1429.80/1430.21	c 1430s |      17 |   334735 |   247332 |    11757     31 |        0 |        0
1432.20/1432.61	c 1432s |      17 |   335172 |   247732 |    11757     31 |        0 |        0
1434.70/1435.15	c 1435s |      17 |   335594 |   248132 |    11757     31 |        0 |        0
1437.30/1437.74	c 1437s |      17 |   336023 |   248532 |    11757     31 |        0 |        0
1439.39/1439.80	c 1439s |      17 |   336369 |   248832 |    11757     31 |        0 |        0
1441.90/1442.36	c 1442s |      17 |   336857 |   249232 |    11757     31 |        0 |        0
1444.00/1444.42	c 1444s |      17 |   337176 |   249532 |    11757     31 |        0 |        0
1446.10/1446.53	c 1446s |      17 |   337492 |   249832 |    11757     31 |        0 |        0
1448.31/1448.75	c 1448s |      17 |   337825 |   250132 |    11757     31 |        0 |        0
1450.51/1450.95	c 1450s |      17 |   338172 |   250432 |    11757     31 |        0 |        0
1453.19/1453.60	c 1453s |      17 |   338604 |   250832 |    11757     31 |        0 |        0
1455.19/1455.61	c 1455s |      17 |   338926 |   251132 |    11757     31 |        0 |        0
1457.70/1458.12	c 1458s |      17 |   339393 |   251532 |    11757     31 |        0 |        0
1459.79/1460.29	c 1460s |      17 |   339885 |   251932 |    11757     31 |        0 |        0
1462.39/1462.86	c 1462s |      17 |   340347 |   252332 |    11757     31 |        0 |        0
1464.49/1464.96	c 1464s |      17 |   340703 |   252632 |    11757     31 |        0 |        0
1466.69/1467.16	c 1467s |      17 |   341033 |   252932 |    11757     31 |        0 |        0
1468.90/1469.30	c 1469s |      17 |   341392 |   253232 |    11757     31 |        0 |        0
1471.19/1471.67	c 1471s |      17 |   341629 |   253432 |    11757     32 |        0 |        0
1473.39/1473.80	c 1473s |      17 |   342079 |   253832 |    11757     32 |        0 |        0
1475.59/1476.05	c 1475s |      17 |   342539 |   254232 |    11757     32 |        0 |        0
1477.99/1478.48	c 1478s |      17 |   342982 |   254632 |    11757     32 |        0 |        0
1480.59/1481.02	c 1480s |      17 |   343365 |   254932 |    11757     32 |        0 |        0
1483.19/1483.62	c 1483s |      17 |   343809 |   255332 |    11757     32 |        0 |        0
1485.39/1485.85	c 1485s |      17 |   344123 |   255632 |    11757     32 |        0 |        0
1487.90/1488.32	c 1488s |      17 |   344616 |   256032 |    11757     32 |        0 |        0
1490.38/1490.82	c 1490s |      17 |   345075 |   256432 |    11757     32 |        0 |        0
1492.79/1493.21	c 1493s |      17 |   345586 |   256832 |    11757     32 |        0 |        0
1494.79/1495.23	c 1495s |      17 |   345908 |   257132 |    11757     32 |        0 |        0
1497.29/1497.77	c 1497s |      17 |   346371 |   257532 |    11757     32 |        0 |        0
1499.59/1500.07	c 1499s |      17 |   346835 |   257932 |    11757     32 |        0 |        0
1502.19/1502.63	c 1502s |      17 |   347275 |   258332 |    11757     32 |        0 |        0
1504.68/1505.16	c 1505s |      17 |   347730 |   258732 |    11757     32 |        0 |        0
1507.09/1507.52	c 1507s |      17 |   348072 |   259032 |    11757     32 |        0 |        0
1509.18/1509.63	c 1509s |      17 |   348424 |   259332 |    11757     32 |        0 |        0
1511.78/1512.26	c 1512s |      17 |   348900 |   259732 |    11757     32 |        0 |        0
1513.89/1514.38	c 1514s |      17 |   349267 |   260032 |    11757     32 |        0 |        0
1515.98/1516.43	c 1516s |      17 |   349660 |   260332 |    11757     32 |        0 |        0
1518.18/1518.69	c 1518s |      17 |   350073 |   260632 |    11757     32 |        0 |        0
1520.29/1520.75	c 1520s |      17 |   350399 |   260932 |    11757     32 |        0 |        0
1522.49/1522.99	c 1522s |      17 |   350748 |   261232 |    11757     32 |        0 |        0
1524.89/1525.32	c 1525s |      17 |   351081 |   261532 |    11757     32 |        0 |        0
1527.18/1527.62	c 1527s |      17 |   351419 |   261832 |    11757     32 |        0 |        0
1529.48/1529.99	c 1529s |      17 |   351741 |   262132 |    11757     32 |        0 |        0
1533.09/1533.55	c 1533s |      17 |   352094 |   262432 |    11757     33 |        0 |        0
1535.58/1536.08	c 1535s |      17 |   352427 |   262732 |    11757     33 |        0 |        0
1538.19/1538.68	c 1538s |      17 |   352912 |   263132 |    11757     33 |        0 |        0
1540.79/1541.21	c 1541s |      17 |   353402 |   263532 |    11757     33 |        0 |        0
1542.78/1543.23	c 1543s |      17 |   353776 |   263832 |    11757     33 |        0 |        0
1544.88/1545.40	c 1545s |      17 |   354095 |   264132 |    11757     33 |        0 |        0
1547.08/1547.54	c 1547s |      17 |   354420 |   264432 |    11757     33 |        0 |        0
1549.18/1549.62	c 1549s |      17 |   354759 |   264732 |    11757     33 |        0 |        0
1551.18/1551.69	c 1551s |      17 |   355089 |   265032 |    11757     33 |        0 |        0
1553.48/1553.95	c 1553s |      17 |   355416 |   265332 |    11757     33 |        0 |        0
1555.68/1556.18	c 1556s |      17 |   355749 |   265632 |    11757     33 |        0 |        0
1557.88/1558.38	c 1558s |      17 |   356103 |   265932 |    11757     33 |        0 |        0
1560.28/1560.75	c 1560s |      17 |   356429 |   266232 |    11757     33 |        0 |        0
1562.37/1562.88	c 1562s |      17 |   356769 |   266532 |    11757     33 |        0 |        0
1564.68/1565.14	c 1565s |      17 |   357141 |   266832 |    11757     33 |        0 |        0
1566.88/1567.33	c 1567s |      17 |   357522 |   267132 |    11757     33 |        0 |        0
1569.38/1569.88	c 1569s |      17 |   357957 |   267532 |    11757     33 |        0 |        0
1571.48/1571.92	c 1571s |      17 |   358270 |   267832 |    11757     33 |        0 |        0
1573.58/1574.05	c 1573s |      17 |   358609 |   268132 |    11757     33 |        0 |        0
1575.78/1576.24	c 1576s |      17 |   358921 |   268432 |    11757     33 |        0 |        0
1578.47/1578.91	c 1578s |      17 |   359394 |   268832 |    11757     33 |        0 |        0
1580.78/1581.25	c 1581s |      17 |   359722 |   269132 |    11757     33 |        0 |        0
1583.17/1583.64	c 1583s |      17 |   360044 |   269432 |    11757     33 |        0 |        0
1585.78/1586.21	c 1586s |      17 |   360360 |   269732 |    11757     33 |        0 |        0
1587.88/1588.34	c 1588s |      17 |   360703 |   270032 |    11757     33 |        0 |        0
1590.07/1590.58	c 1590s |      17 |   361029 |   270332 |    11757     33 |        0 |        0
1592.27/1592.77	c 1592s |      17 |   361339 |   270632 |    11757     33 |        0 |        0
1594.58/1595.05	c 1594s |      17 |   361669 |   270932 |    11757     33 |        0 |        0
1596.88/1597.36	c 1597s |      17 |   362003 |   271232 |    11757     33 |        0 |        0
1599.47/1599.97	c 1599s |      17 |   362328 |   271532 |    11757     33 |        0 |        0
1601.87/1602.31	c 1602s |      17 |   362443 |   271632 |    11757     34 |        0 |        0
1603.97/1604.48	c 1604s |      17 |   362769 |   271932 |    11757     34 |        0 |        0
1606.27/1606.74	c 1606s |      17 |   363093 |   272232 |    11757     34 |        0 |        0
1608.67/1609.17	c 1609s |      17 |   363510 |   272632 |    11757     34 |        0 |        0
1610.87/1611.33	c 1611s |      17 |   363868 |   272932 |    11757     34 |        0 |        0
1613.38/1613.82	c 1613s |      17 |   364312 |   273332 |    11757     34 |        0 |        0
1615.87/1616.38	c 1616s |      17 |   364801 |   273732 |    11757     34 |        0 |        0
1618.27/1618.73	c 1618s |      17 |   365145 |   274032 |    11757     34 |        0 |        0
1620.37/1620.86	c 1620s |      17 |   365512 |   274332 |    11757     34 |        0 |        0
1622.96/1623.48	c 1623s |      17 |   366033 |   274732 |    11757     34 |        0 |        0
1625.38/1625.81	c 1625s |      17 |   366374 |   275032 |    11757     34 |        0 |        0
1627.67/1628.19	c 1628s |      17 |   366698 |   275332 |    11757     34 |        0 |        0
1630.07/1630.56	c 1630s |      17 |   367033 |   275632 |    11757     34 |        0 |        0
1632.36/1632.83	c 1632s |      17 |   367345 |   275932 |    11757     34 |        0 |        0
1634.97/1635.50	c 1635s |      17 |   367671 |   276232 |    11757     34 |        0 |        0
1637.37/1637.87	c 1637s |      17 |   367995 |   276532 |    11757     34 |        0 |        0
1639.78/1640.23	c 1640s |      17 |   368314 |   276832 |    11757     34 |        0 |        0
1642.06/1642.51	c 1642s |      17 |   368669 |   277132 |    11757     34 |        0 |        0
1644.46/1644.93	c 1644s |      17 |   369126 |   277532 |    11757     34 |        0 |        0
1647.06/1647.53	c 1647s |      17 |   369574 |   277932 |    11757     34 |        0 |        0
1649.47/1650.00	c 1649s |      17 |   370035 |   278332 |    11757     34 |        0 |        0
1651.96/1652.45	c 1652s |      17 |   370484 |   278732 |    11757     34 |        0 |        0
1654.36/1654.87	c 1654s |      17 |   370942 |   279132 |    11757     34 |        0 |        0
1656.46/1656.95	c 1656s |      17 |   371295 |   279432 |    11757     34 |        0 |        0
1658.47/1658.99	c 1658s |      17 |   371641 |   279732 |    11757     34 |        0 |        0
1660.57/1661.01	c 1660s |      17 |   371992 |   280032 |    11757     34 |        0 |        0
1662.67/1663.18	c 1663s |      17 |   372326 |   280332 |    11757     34 |        0 |        0
1666.46/1666.93	c 1666s |      17 |   372650 |   280632 |    11757     35 |        0 |        0
1669.06/1669.54	c 1669s |      17 |   373109 |   281032 |    11757     35 |        0 |        0
1671.57/1672.07	c 1671s |      17 |   373563 |   281432 |    11757     35 |        0 |        0
1673.77/1674.23	c 1674s |      17 |   374014 |   281832 |    11757     35 |        0 |        0
1675.96/1676.50	c 1676s |      17 |   374508 |   282232 |    11757     35 |        0 |        0
1678.66/1679.15	c 1679s |      17 |   374951 |   282632 |    11757     35 |        0 |        0
1680.76/1681.24	c 1681s |      17 |   375282 |   282932 |    11757     35 |        0 |        0
1683.26/1683.72	c 1683s |      17 |   375750 |   283332 |    11757     35 |        0 |        0
1685.66/1686.14	c 1686s |      17 |   376217 |   283732 |    11757     35 |        0 |        0
1688.16/1688.65	c 1688s |      17 |   376670 |   284132 |    11757     35 |        0 |        0
1690.76/1691.20	c 1691s |      17 |   377131 |   284532 |    11757     35 |        0 |        0
1692.76/1693.26	c 1693s |      17 |   377461 |   284832 |    11757     35 |        0 |        0
1694.86/1695.37	c 1695s |      17 |   377799 |   285132 |    11757     35 |        0 |        0
1697.06/1697.51	c 1697s |      17 |   378138 |   285432 |    11757     35 |        0 |        0
1699.06/1699.56	c 1699s |      17 |   378461 |   285732 |    11757     35 |        0 |        0
1701.26/1701.71	c 1701s |      17 |   378798 |   286032 |    11757     35 |        0 |        0
1703.47/1703.94	c 1703s |      17 |   379121 |   286332 |    11757     35 |        0 |        0
1705.66/1706.11	c 1706s |      17 |   379456 |   286632 |    11757     35 |        0 |        0
1707.65/1708.17	c 1708s |      17 |   379794 |   286932 |    11757     35 |        0 |        0
1709.85/1710.37	c 1710s |      17 |   380140 |   287232 |    11757     35 |        0 |        0
1711.95/1712.43	c 1712s |      17 |   380476 |   287532 |    11757     35 |        0 |        0
1714.16/1714.64	c 1714s |      17 |   380820 |   287832 |    11757     35 |        0 |        0
1716.25/1716.77	c 1716s |      17 |   381153 |   288132 |    11757     35 |        0 |        0
1718.75/1719.20	c 1719s |      17 |   381626 |   288532 |    11757     35 |        0 |        0
1721.36/1721.85	c 1721s |      17 |   382075 |   288932 |    11757     35 |        0 |        0
1723.45/1723.98	c 1723s |      17 |   382405 |   289232 |    11757     35 |        0 |        0
1725.46/1725.99	c 1725s |      17 |   382725 |   289532 |    11757     35 |        0 |        0
1728.35/1728.81	c 1728s |      17 |   382956 |   289732 |    11757     36 |        0 |        0
1731.36/1731.82	c 1731s |      17 |   383410 |   290132 |    11757     36 |        0 |        0
1733.45/1733.95	c 1733s |      17 |   383735 |   290432 |    11757     36 |        0 |        0
1735.85/1736.31	c 1736s |      17 |   384165 |   290832 |    11757     36 |        0 |        0
1738.15/1738.65	c 1738s |      17 |   384595 |   291232 |    11757     36 |        0 |        0
1740.65/1741.10	c 1741s |      17 |   385021 |   291632 |    11757     36 |        0 |        0
1742.95/1743.49	c 1743s |      17 |   385523 |   292032 |    11757     36 |        0 |        0
1745.06/1745.50	c 1745s |      17 |   385859 |   292332 |    11757     36 |        0 |        0
1747.05/1747.55	c 1747s |      17 |   386203 |   292632 |    11757     36 |        0 |        0
1749.25/1749.71	c 1749s |      17 |   386521 |   292932 |    11757     36 |        0 |        0
1751.25/1751.74	c 1751s |      17 |   386840 |   293232 |    11757     36 |        0 |        0
1753.35/1753.86	c 1753s |      17 |   387182 |   293532 |    11757     36 |        0 |        0
1755.55/1756.07	c 1755s |      17 |   387546 |   293832 |    11757     36 |        0 |        0
1757.65/1758.19	c 1758s |      17 |   387895 |   294132 |    11757     36 |        0 |        0
1760.45/1760.94	c 1760s |      17 |   388332 |   294532 |    12933     36 |        0 |        0
1762.75/1763.30	c 1763s |      17 |   388661 |   294832 |    12933     36 |        0 |        0
1765.35/1765.83	c 1765s |      17 |   388994 |   295132 |    12933     36 |        0 |        0
1767.75/1768.25	c 1768s |      17 |   389319 |   295432 |    12933     36 |        0 |        0
1770.55/1771.07	c 1770s |      17 |   389643 |   295732 |    12933     36 |        0 |        0
1773.44/1773.94	c 1773s |      17 |   389949 |   296032 |    12933     36 |        0 |        0
1775.05/1775.56	c 1775s |      18 |   390207 |   296252 |    12933     36 |        0 |        0
1777.85/1778.30	c 1778s |      18 |   393327 |   296352 |    12933     37 |        0 |        0
1780.04/1780.51	c 1780s |      18 |   394262 |   297152 |    12933     37 |        0 |        0
1782.14/1782.67	c 1782s |      18 |   394938 |   297752 |    12933     37 |        0 |        0
1784.45/1784.94	c 1784s |      18 |   395599 |   298352 |    12933     37 |        0 |        0
1786.44/1786.96	c 1786s |      18 |   396354 |   298952 |    12933     37 |        0 |        0
1788.74/1789.28	c 1789s |      18 |   397029 |   299552 |    12933     37 |        0 |        0
1790.84/1791.38	c 1791s |      18 |   397598 |   300052 |    12933     37 |        0 |        0
1792.95/1793.47	c 1793s |      18 |   398171 |   300552 |    12933     37 |        0 |        0
1795.04/1795.54	c 1795s |      18 |   398753 |   301052 |    12933     37 |        0 |        0
1797.14/1797.65	c 1797s |      18 |   399328 |   301552 |    12933     37 |        0 |        0
1799.25/1799.78	c 1799s |      18 |   399934 |   302052 |    12933     37 |        0 |        0

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

pid=5356
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.05 2.09 2.08 3/177 5359
/proc/meminfo: memFree=31368072/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 787 0 0 0 0 0 0 0 20 0 4 0 105948201 246870016 636 33554432000 4194304 16246674 140735688902512 140735688901936 13589401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 60271 643 431 2943 0 57165 0
[pid=5359/tid=5360] ppid=5356 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 246870016 659 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 246870016 668 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=245180 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105948202 251064320 682 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100137 s]
/proc/loadavg: 2.05 2.09 2.08 3/177 5359
/proc/meminfo: memFree=31368072/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 27668 0 0 0 5 4 0 0 20 0 4 0 105948201 1251545088 27486 33554432000 4194304 16246674 140735688902512 140735688901824 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 305553 27486 777 2943 0 302447 0
[pid=5359/tid=5360] ppid=5356 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1251545088 27486 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1251545088 27486 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1251545088 27486 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200468 s]
/proc/loadavg: 2.05 2.09 2.08 3/177 5359
/proc/meminfo: memFree=31368072/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1222212 CPUtime=0.18 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 41060 0 0 0 13 5 0 0 20 0 4 0 105948201 1251545088 40878 33554432000 4194304 16246674 140735688902512 140735688884416 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 305553 40900 777 2943 0 302447 0
[pid=5359/tid=5360] ppid=5356 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1251545088 40916 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1251545088 40930 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1251545088 40945 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1222212

[startup+0.300477 s]
/proc/loadavg: 2.05 2.09 2.08 3/177 5359
/proc/meminfo: memFree=31368072/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1306180 CPUtime=0.28 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 62569 0 0 0 20 8 0 0 20 0 4 0 105948201 1337528320 62387 33554432000 4194304 16246674 140735688902512 140735688901608 5523371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 326545 62387 784 2943 0 323439 0
[pid=5359/tid=5360] ppid=5356 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1337528320 62387 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1337528320 62387 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1337528320 62387 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1306180

[startup+0.700348 s]
/proc/loadavg: 2.05 2.09 2.08 3/177 5359
/proc/meminfo: memFree=31368072/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 65966 0 0 0 60 9 0 0 20 0 4 0 105948201 1338576896 65784 33554432000 4194304 16246674 140735688902512 140735688901688 5553796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 326801 65784 784 2943 0 323695 0
[pid=5359/tid=5360] ppid=5356 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1338576896 65784 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1338576896 65784 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1338576896 65784 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50034 s]
/proc/loadavg: 2.05 2.09 2.08 3/183 5412
/proc/meminfo: memFree=30846896/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 66178 0 0 0 140 9 0 0 20 0 4 0 105948201 1338576896 65996 33554432000 4194304 16246674 140735688902512 140735688901688 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 326801 65996 784 2943 0 323695 0
[pid=5359/tid=5360] ppid=5356 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1338576896 65996 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1338576896 65996 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1338576896 65996 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10038 s]
/proc/loadavg: 2.05 2.09 2.08 3/183 5412
/proc/meminfo: memFree=30217844/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 70324 0 0 0 299 9 0 0 20 0 4 0 105948201 1338576896 70142 33554432000 4194304 16246674 140735688902512 140735688901688 13927222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 326801 70142 784 2943 0 323695 0
[pid=5359/tid=5360] ppid=5356 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1338576896 70142 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1338576896 70142 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1338576896 70142 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30037 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 5412
/proc/meminfo: memFree=29558004/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 202613 0 0 0 602 27 0 0 20 0 4 0 105948201 1338576896 202431 33554432000 4194304 16246674 140735688902512 140735688901688 13966736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 326801 202431 784 2943 0 323695 0
[pid=5359/tid=5360] ppid=5356 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1338576896 202431 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1338576896 202431 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1338576896 202431 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 5412
/proc/meminfo: memFree=29557592/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 202657 0 0 0 1241 28 0 0 20 0 4 0 105948201 1339625472 202475 33554432000 4194304 16246674 140735688902512 140735688901688 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 327057 202475 786 2943 0 323951 0
[pid=5359/tid=5360] ppid=5356 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1339625472 202475 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1339625472 202475 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1339625472 202475 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 5412
/proc/meminfo: memFree=29292692/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 268934 0 0 0 2512 36 0 0 20 0 4 0 105948201 1343819776 268752 33554432000 4194304 16246674 140735688902512 140735688884416 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 328081 268752 792 2943 0 324975 0
[pid=5359/tid=5360] ppid=5356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1343819776 268752 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1343819776 268752 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1343819776 268752 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.21 2.12 2.09 3/183 5412
/proc/meminfo: memFree=29275520/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 269114 0 0 0 5069 39 0 0 20 0 4 0 105948201 1343819776 268932 33554432000 4194304 16246674 140735688902512 140735688901688 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 328081 268932 792 2943 0 324975 0
[pid=5359/tid=5360] ppid=5356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1343819776 268932 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1343819776 268932 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1343819776 268932 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.16 2.11 2.09 3/184 5416
/proc/meminfo: memFree=29249224/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1337924 CPUtime=102.28 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 275514 0 0 0 10181 47 0 0 20 0 4 0 105948201 1370034176 275332 33554432000 4194304 16246674 140735688902512 140735688901688 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 334481 275332 792 2943 0 331375 0
[pid=5359/tid=5360] ppid=5356 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1370034176 275332 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1370034176 275332 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1370034176 275332 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1337924


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

/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309500 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1475140

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.02 3/183 5447
/proc/meminfo: memFree=29099216/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1475140 CPUtime=1361.91 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 310101 0 0 0 136000 191 0 0 20 0 4 0 105948201 1510543360 309637 33554432000 4194304 16246674 140735688902512 140735688884416 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 368785 309637 793 2943 0 365679 0
[pid=5359/tid=5360] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1475140

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/183 5449
/proc/meminfo: memFree=29099128/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1475140 CPUtime=1421.91 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 310101 0 0 0 141993 198 0 0 20 0 4 0 105948201 1510543360 309637 33554432000 4194304 16246674 140735688902512 140735688884416 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 368785 309637 793 2943 0 365679 0
[pid=5359/tid=5360] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1475140

[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.02 3/183 5450
/proc/meminfo: memFree=29099104/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1475140 CPUtime=1481.89 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 310101 0 0 0 147983 206 0 0 20 0 4 0 105948201 1510543360 309637 33554432000 4194304 16246674 140735688902512 140735688901688 5546023 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 368785 309637 793 2943 0 365679 0
[pid=5359/tid=5360] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1475140

[startup+1542.31 s]
/proc/loadavg: 2.08 2.04 2.02 3/183 5451
/proc/meminfo: memFree=29099188/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1475140 CPUtime=1541.89 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 310101 0 0 0 153974 215 0 0 20 0 4 0 105948201 1510543360 309637 33554432000 4194304 16246674 140735688902512 140735688901688 6020488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 368785 309637 793 2943 0 365679 0
[pid=5359/tid=5360] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1475140

[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/183 5452
/proc/meminfo: memFree=29098832/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1475140 CPUtime=1601.87 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 310101 0 0 0 159965 222 0 0 20 0 4 0 105948201 1510543360 309637 33554432000 4194304 16246674 140735688902512 140735688901688 5677299 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 368785 309637 793 2943 0 365679 0
[pid=5359/tid=5360] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1475140 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1510543360 309637 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1475140

[startup+1662.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 5453
/proc/meminfo: memFree=29060608/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1514052 CPUtime=1661.87 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 319658 0 0 0 165954 233 0 0 20 0 4 0 105948201 1550389248 319194 33554432000 4194304 16246674 140735688902512 140735688901688 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 378513 319194 793 2943 0 375407 0
[pid=5359/tid=5360] ppid=5356 vsize=1514052 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1550389248 319194 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1514052 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1550389248 319194 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1514052 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1550389248 319194 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1514052

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 5454
/proc/meminfo: memFree=29060204/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1514052 CPUtime=1721.86 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 319829 0 0 0 171945 241 0 0 20 0 4 0 105948201 1550389248 319365 33554432000 4194304 16246674 140735688902512 140735688901688 5545903 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 378513 319365 793 2943 0 375407 0
[pid=5359/tid=5360] ppid=5356 vsize=1514052 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1550389248 319365 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1514052 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1550389248 319365 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1514052 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1550389248 319365 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1514052

[startup+1782.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/183 5456
/proc/meminfo: memFree=28972484/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1600068 CPUtime=1781.84 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 341333 0 0 0 177929 255 0 0 20 0 4 0 105948201 1638469632 341125 33554432000 4194304 16246674 140735688902512 140735688901688 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 400017 341125 793 2943 0 396911 0
[pid=5359/tid=5360] ppid=5356 vsize=1600068 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1638469632 341125 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1600068 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1638469632 341125 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1600068 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1638469632 341125 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1600068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.35 2.10 2.02 3/183 5456
/proc/meminfo: memFree=28973016/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1600068 CPUtime=1800.05 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 341333 0 0 0 179747 258 0 0 20 0 4 0 105948201 1638469632 341125 33554432000 4194304 16246674 140735688902512 140735688884416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 400017 341125 793 2943 0 396911 0
[pid=5359/tid=5360] ppid=5356 vsize=1600068 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1638469632 341125 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1600068 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1638469632 341125 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1600068 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1638469632 341125 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1600068

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

[startup+1800.5 s]
/proc/loadavg: 2.35 2.10 2.02 3/183 5456
/proc/meminfo: memFree=28973016/32872528 swapFree=13600/559348
[pid=5359] ppid=5356 vsize=1600068 CPUtime=1800.05 cores=1,3,5,7
/proc/5359/stat : 5359 (toysat) R 5356 5359 1842 0 -1 4202496 341333 0 0 0 179747 258 0 0 20 0 4 0 105948201 1638469632 341125 33554432000 4194304 16246674 140735688902512 140735688884416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5359/statm: 400017 341125 793 2943 0 396911 0
[pid=5359/tid=5360] ppid=5356 vsize=1600068 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5360/stat : 5360 (toysat) S 5356 5359 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105948202 1638469632 341125 33554432000 4194304 16246674 140735688902512 140075963755760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5359/tid=5361] ppid=5356 vsize=1600068 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5361/stat : 5361 (toysat) S 5356 5359 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948202 1638469632 341125 33554432000 4194304 16246674 140735688902512 140075953265904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5359/tid=5362] ppid=5356 vsize=1600068 CPUtime=0 cores=1,3,5,7
/proc/5359/task/5362/stat : 5362 (toysat) S 5356 5359 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948202 1638469632 341125 33554432000 4194304 16246674 140735688902512 140075942792368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1600068

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.07
CPU user time (s): 1797.48
CPU system time (s): 2.59161
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 1600068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.48
system time used= 2.59161
maximum resident set size= 1364500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341333
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= 297
involuntary context switches= 2073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42233 second user time and 7.08092 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-06 21:08:52
IDJOB=4078777
IDBENCH=2580
IDSOLVER=2542
FILE ID=node106/4078777-1465240132
RUNJOBID= node106-1465219870-1859
PBS_JOBID= 19843217
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078777-1465240132/watcher-4078777-1465240132 -o /tmp/evaluation-result-4078777-1465240132/solver-4078777-1465240132 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078777-1465240132.opb

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

MD5SUM BENCH= a4a494535709e59392e65403b829113d
RANDOM SEED=1475478237

node106.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.775
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.55
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.775
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.775
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.775
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.775
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.64
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.775
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.56
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.775
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.775
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:        31030924 kB
Buffers:           39256 kB
Cached:           129520 kB
SwapCached:         1852 kB
Active:           489764 kB
Inactive:          88664 kB
Active(anon):     410616 kB
Inactive(anon):     1280 kB
Active(file):      79148 kB
Inactive(file):    87384 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098528 kB
Dirty:             16384 kB
Writeback:             0 kB
AnonPages:        966968 kB
Mapped:             7272 kB
Shmem:                 0 kB
Slab:             568008 kB
SReclaimable:      12220 kB
SUnreclaim:       555788 kB
KernelStack:        1472 kB
PageTables:         8104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2131148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    546816 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= 71708 MiB
End job on node106 at 2016-06-06 21:38:53