Trace number 4106475

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=107-P1=89-P2=97-P3=41-P4=137-P5=181-P6=11-B.opb
MD5SUM931666055852afe6f909d62fafedf38c
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.100984
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables144
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)384
Sum of products size (including duplicates)768
Number of different products384
Sum of products size768

Solver Data 

0.00/0.00	c 2016-06-18T19:49:37+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-4106475-1466272176.opb"]
0.00/0.01	c use --random-gen="268679711 3504370616 1436534540 3761488736 3143804580 598759905 1054723589 3819727168 1355348283 1603169203 3153934682 3563802058 2766663731 1293226227 571396088 2854208691 1787054857 253810965 2267314641 3027163094 4211189187 2951955672 2093977132 4014410652 312222841 546336542 1617034413 4267911887 558960739 1613604440 883317135 573492798 67944420 1789475800 3276088815 3399776406 2159311361 1310019942 3877600035 199508609 1131091822 1287076015 3781704106 2113072707 330362550 797806852 446706009 2326212956 4254144170 1669696909 1618592245 92445411 3418288207 1877635190 3996969236 3645510394 136526820 4005011284 3407605656 2951280900 364773371 1771446595 1735247345 3800155149 1268207432 1247175416 3742332396 2466668608 3933744645 227126051 2757332176 2801950853 4088470940 2724466579 3530798986 1092670000 3564573331 129437492 3456032497 3786053345 2600586296 2024859315 1640277034 1807162371 3348382988 60745390 810376229 3403111909 2971060861 3158898037 1444898270 2225689135 706495340 1821019931 3441266345 4215582118 2883974227 3603913841 1882042822 2503224292 965370076 2042925846 2275584745 1236835968 489579754 3729000973 2591428998 1841074366 325027488 3336373896 543299194 1276721994 187493200 2131542612 1217873969 2067308189 815166866 2236142565 3214169654 2864971599 4170669233 1775033354 294139042 1280292909 1153288637 1134042833 3804862310 488323555 2919639002 372317171 1599820806 1772016736 743210095 3871651321 2232334462 2113456839 3693558917 664538891 1708089592 2858398565 1741208236 1214811475 94147536 3949502828 528141367 1138325227 2806518940 1238379255 2036417430 1082376324 2837556264 3046861787 3684390301 1279869681 2087390821 2651966472 1719360960 52166865 2381120393 2534901517 461247230 2532360029 436976572 3034100767 1608010956 4049999112 162271229 4279970955 3454905201 1985805993 1376656079 3616023254 4015270365 2505976081 2112861924 1872180587 3976391231 175640809 1343475542 165565135 163546479 1338874534 1395208541 3137490667 971381098 467116733 1009758291 2884828806 151700467 2863195380 3415124093 2117067119 1553990683 3992702203 2582141877 2367171044 2558935602 198375921 3159064260 382853973 931662046 4117405534 95051911 3857486140 2012461663 500158986 908970795 3148719508 1407818409 2312733592 3851567566 1246361165 3973652153 624935907 2824884515 1999457162 827885687 4096075369 3651858167 257903395 2279514461 1028401904 2140771486 1049902150 1344652622 2355066390 1624711527 1496499698 2907147276 2264967905 31854224 521505674 2112108347 1488967835 3059056833 2787896188 898845012 3432254100 3325548105 1083901759 4073776127 1044808950 23209321 3125539940 2645931003 3164557094 2599271198 3416482599 3586325627 1740314735 3352044586 1008920618 1185975175 3237289991 3132223245 1129067245 255 362436" option to reproduce the execution
0.00/0.01	c #vars 144
0.00/0.01	c #constraints 13
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      566      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      133 |      100 |      566      0 |        0 |        0
0.09/0.11	c  0.1s |       2 |      355 |      250 |      623      0 |        0 |        0
0.19/0.24	c  0.2s |       3 |      723 |      475 |      686      0 |        0 |        0
0.29/0.31	c  0.3s |       4 |     1090 |      813 |      755      0 |        0 |        0
0.49/0.52	c  0.5s |       5 |     1656 |     1320 |      831      1 |        0 |        0
0.69/0.79	c  0.8s |       6 |     2508 |     2081 |     1007      3 |        0 |        0
0.69/0.88	c  0.9s |       6 |     2911 |     2419 |     1007      3 |        0 |        0
0.69/0.88	c #cpu_time = 0.856s
0.69/0.88	c #wall_clock_time = 0.858s
0.69/0.88	c #decision = 2911
0.69/0.88	c #random_decision = 10
0.69/0.88	c #conflict = 2419
0.69/0.88	c #restart = 6
0.69/0.88	o 233
0.69/0.88	c BCD2: updating upper bound: 255 -> 232
0.69/0.88	c BCD2: 0 <= obj <= 232
0.69/0.88	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
0.69/0.88	c BCD2: #sat=1 #unsat=1 bias=1/2
0.69/0.88	c Solving starts ...
0.69/0.88	c ============================[ Search Statistics ]============================
0.69/0.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.88	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.88	c =============================================================================
0.69/0.88	c  0.0s |       0 |        0 |        0 |     1007      0 |        0 |        0
0.88/0.89	c  0.0s |       0 |        6 |        0 |     1007      0 |        0 |        0
0.88/0.89	c #cpu_time = 0.005s
0.88/0.89	c #wall_clock_time = 0.005s
0.88/0.89	c #decision = 6
0.88/0.89	c #random_decision = 0
0.88/0.89	c #conflict = 0
0.88/0.89	c #restart = 0
0.88/0.89	c BCD2: found a new core of size 7: cost of the new core is >=2
0.88/0.89	c lower bound updated to 2
0.88/0.89	c BCD2: 2 <= obj <= 232
0.88/0.89	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
0.88/0.89	c BCD2: #sat=1 #unsat=2 bias=2/3
0.88/0.89	c Solving starts ...
0.88/0.89	c ============================[ Search Statistics ]============================
0.88/0.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.88/0.89	c       |         |          |          |    Limit     GC | Var      | Constra 
0.88/0.89	c =============================================================================
0.88/0.89	c  0.0s |       0 |        0 |        0 |     1007      0 |        0 |        0
0.99/1.02	c  0.1s |       1 |      226 |      100 |     1007      0 |        0 |        0
1.09/1.11	c  0.2s |       2 |      487 |      250 |     1007      1 |        0 |        0
1.29/1.35	c  0.5s |       3 |      809 |      475 |     1007      1 |        0 |        0
1.39/1.44	c  0.5s |       4 |     1227 |      813 |     1108      1 |        0 |        0
1.59/1.66	c  0.8s |       5 |     1810 |     1320 |     1108      2 |        0 |        0
1.79/1.81	c  0.9s |       6 |     2720 |     2081 |     1108      3 |        0 |        0
2.59/2.63	c  1.7s |       7 |     4053 |     3223 |     1219      5 |        0 |        0
3.09/3.13	c  2.2s |       8 |     5910 |     4936 |     1219      7 |        0 |        0
4.08/4.13	c  3.2s |       9 |     8700 |     7506 |     1341     10 |        0 |        0
4.88/4.94	c  4.0s |      10 |    12743 |    11361 |     1476     14 |        0 |        0
6.78/6.89	c  6.0s |      11 |    18863 |    17144 |     1624     20 |        0 |        0
8.79/8.90	c  8.0s |      11 |    26360 |    24044 |     1787     28 |        0 |        0
9.48/9.57	c  8.7s |      12 |    28175 |    25819 |     1787     29 |        0 |        0
11.48/11.59	c 10.7s |      12 |    35399 |    32719 |     1787     36 |        0 |        0
13.38/13.47	c 12.6s |      13 |    41779 |    38832 |     1966     42 |        0 |        0
15.39/15.47	c 14.6s |      13 |    50167 |    46732 |     1966     48 |        0 |        0
17.38/17.47	c 16.6s |      13 |    57924 |    54032 |     1966     55 |        0 |        0
18.69/18.80	c 17.9s |      14 |    62538 |    58352 |     2163     58 |        0 |        0
20.78/20.82	c 19.9s |      14 |    70808 |    65952 |     2163     64 |        0 |        0
22.78/22.86	c 22.0s |      14 |    78986 |    73752 |     2163     70 |        0 |        0
24.78/24.88	c 24.0s |      14 |    85568 |    79852 |     2163     74 |        0 |        0
26.78/26.89	c 26.0s |      14 |    92578 |    86552 |     2380     79 |        0 |        0
27.18/27.27	c 26.4s |      15 |    93718 |    87632 |     2380     80 |        0 |        0
29.18/29.28	c 28.4s |      15 |    99810 |    93232 |     2380     84 |        0 |        0
31.28/31.30	c 30.4s |      15 |   105963 |    99132 |     2380     88 |        0 |        0
33.27/33.32	c 32.4s |      15 |   112229 |   105132 |     2380     93 |        0 |        0
35.28/35.37	c 34.5s |      15 |   119071 |   111632 |     2380     97 |        0 |        0
37.27/37.39	c 36.5s |      15 |   124903 |   117332 |     2380    101 |        0 |        0
39.37/39.42	c 38.5s |      15 |   130854 |   123132 |     2380    106 |        0 |        0
41.37/41.45	c 40.6s |      15 |   136567 |   128632 |     2618    109 |        0 |        0
42.57/42.67	c 41.8s |      16 |   139632 |   131552 |     2618    111 |        0 |        0
44.57/44.68	c 43.8s |      16 |   147215 |   138752 |     2618    116 |        0 |        0
46.57/46.69	c 45.8s |      16 |   154825 |   146152 |     2618    121 |        0 |        0
48.67/48.70	c 47.8s |      16 |   162486 |   153552 |     2618    126 |        0 |        0
50.68/50.73	c 49.8s |      16 |   170028 |   160852 |     2618    131 |        0 |        0
52.67/52.75	c 51.9s |      16 |   177436 |   168052 |     2618    136 |        0 |        0
54.67/54.77	c 53.9s |      16 |   184883 |   175352 |     2618    141 |        0 |        0
56.77/56.80	c 55.9s |      16 |   192295 |   182452 |     2618    146 |        0 |        0
58.77/58.81	c 57.9s |      16 |   199871 |   189752 |     2618    151 |        0 |        0
60.77/60.82	c 59.9s |      16 |   207283 |   196952 |     2880    156 |        0 |        0
60.87/60.94	c 60.1s |      17 |   207789 |   197432 |     2880    156 |        0 |        0
62.86/62.96	c 62.1s |      17 |   214602 |   203632 |     2880    160 |        0 |        0
64.87/65.00	c 64.1s |      17 |   221503 |   209832 |     2880    163 |        0 |        0
66.96/67.00	c 66.1s |      17 |   226227 |   214232 |     2880    166 |        0 |        0
68.96/69.04	c 68.1s |      17 |   230661 |   218532 |     2880    168 |        0 |        0
70.96/71.06	c 70.2s |      17 |   235130 |   222832 |     2880    171 |        0 |        0
72.96/73.06	c 72.2s |      17 |   241735 |   229232 |     2880    175 |        0 |        0
74.97/75.09	c 74.2s |      17 |   248506 |   235832 |     2880    179 |        0 |        0
76.98/77.10	c 76.2s |      17 |   255186 |   242332 |     2880    183 |        0 |        0
79.07/79.13	c 78.2s |      17 |   262702 |   249532 |     2880    187 |        0 |        0
81.07/81.13	c 80.2s |      17 |   270828 |   257132 |     2880    192 |        0 |        0
83.07/83.14	c 82.3s |      17 |   277789 |   263732 |     2880    196 |        0 |        0
85.07/85.15	c 84.3s |      17 |   285904 |   271532 |     2880    201 |        0 |        0
87.07/87.15	c 86.3s |      17 |   293886 |   279332 |     2880    205 |        0 |        0
89.07/89.17	c 88.3s |      17 |   301340 |   286532 |     2880    210 |        0 |        0
91.17/91.21	c 90.3s |      17 |   308735 |   293532 |     3169    214 |        0 |        0
92.27/92.32	c 91.4s |      18 |   311579 |   296252 |     3169    215 |        0 |        0
94.26/94.32	c 93.4s |      18 |   319559 |   303852 |     3169    220 |        0 |        0
96.26/96.32	c 95.4s |      18 |   326508 |   310452 |     3169    223 |        0 |        0
98.26/98.34	c 97.4s |      18 |   333642 |   317252 |     3169    227 |        0 |        0
100.26/100.37	c 99.5s |      18 |   340868 |   324252 |     3169    231 |        0 |        0
102.27/102.37	c  101s |      18 |   346148 |   329352 |     3169    234 |        0 |        0
104.26/104.39	c  103s |      18 |   352008 |   334952 |     3169    237 |        0 |        0
106.26/106.39	c  105s |      18 |   359474 |   342252 |     3169    241 |        0 |        0
108.36/108.41	c  107s |      18 |   366800 |   349452 |     3169    245 |        0 |        0
110.36/110.43	c  109s |      18 |   373083 |   355652 |     3169    248 |        0 |        0
112.36/112.43	c  111s |      18 |   380001 |   362452 |     3169    252 |        0 |        0
114.37/114.44	c  113s |      18 |   387312 |   369552 |     3169    256 |        0 |        0
116.36/116.46	c  115s |      18 |   394779 |   376852 |     3169    260 |        0 |        0
118.36/118.49	c  117s |      18 |   402345 |   384252 |     3169    264 |        0 |        0
120.36/120.49	c  119s |      18 |   408951 |   390652 |     3169    268 |        0 |        0
122.46/122.50	c  121s |      18 |   414948 |   396552 |     3169    271 |        0 |        0
124.46/124.52	c  123s |      18 |   422500 |   403752 |     3169    275 |        0 |        0
126.46/126.53	c  125s |      18 |   430037 |   411152 |     3169    279 |        0 |        0
128.46/128.55	c  127s |      18 |   437030 |   418052 |     3169    283 |        0 |        0
130.46/130.57	c  129s |      18 |   443975 |   424852 |     3169    287 |        0 |        0
132.46/132.58	c  131s |      18 |   451662 |   432352 |     3169    291 |        0 |        0
134.56/134.60	c  133s |      18 |   459403 |   439952 |     3486    295 |        0 |        0
135.76/135.86	c  134s |      19 |   464015 |   444482 |     3486    297 |        0 |        0
137.76/137.87	c  136s |      19 |   468729 |   448482 |     3486    300 |        0 |        0
139.76/139.90	c  139s |      19 |   473780 |   453082 |     3486    302 |        0 |        0
141.86/141.95	c  141s |      19 |   479584 |   458582 |     3486    305 |        0 |        0
143.85/143.97	c  143s |      19 |   483694 |   462282 |     3486    307 |        0 |        0
145.85/145.99	c  145s |      19 |   489084 |   467482 |     3486    309 |        0 |        0
147.95/148.03	c  147s |      19 |   493446 |   471382 |     3486    311 |        0 |        0
149.95/150.06	c  149s |      19 |   499644 |   477082 |     3486    314 |        0 |        0
151.95/152.09	c  151s |      19 |   504858 |   482082 |     3486    317 |        0 |        0
154.06/154.13	c  153s |      19 |   510415 |   487282 |     3486    320 |        0 |        0
156.05/156.20	c  155s |      19 |   516598 |   493182 |     3486    323 |        0 |        0
158.15/158.22	c  157s |      19 |   522529 |   498582 |     3486    325 |        0 |        0
160.15/160.23	c  159s |      19 |   527125 |   502782 |     3486    327 |        0 |        0
162.15/162.26	c  161s |      19 |   533770 |   508982 |     3486    331 |        0 |        0
164.15/164.27	c  163s |      19 |   539021 |   513682 |     3486    333 |        0 |        0
166.16/166.28	c  165s |      19 |   543223 |   517382 |     3486    335 |        0 |        0
168.15/168.29	c  167s |      19 |   550410 |   524382 |     3486    338 |        0 |        0
170.25/170.33	c  169s |      19 |   557909 |   531482 |     3486    342 |        0 |        0
172.25/172.34	c  171s |      19 |   564336 |   537782 |     3486    345 |        0 |        0
174.25/174.36	c  173s |      19 |   572377 |   545482 |     3486    349 |        0 |        0
176.25/176.36	c  175s |      19 |   578956 |   551882 |     3486    353 |        0 |        0
178.25/178.38	c  177s |      19 |   585879 |   558382 |     3486    356 |        0 |        0
180.24/180.39	c  179s |      19 |   593195 |   565382 |     3486    359 |        0 |        0
182.34/182.41	c  181s |      19 |   601181 |   573082 |     3486    363 |        0 |        0
184.34/184.43	c  183s |      19 |   609041 |   580682 |     3486    367 |        0 |        0
186.34/186.44	c  185s |      19 |   616990 |   588082 |     3486    371 |        0 |        0
188.34/188.44	c  187s |      19 |   624615 |   595482 |     3486    375 |        0 |        0
190.35/190.48	c  189s |      19 |   631979 |   602682 |     3486    379 |        0 |        0
192.34/192.50	c  191s |      19 |   639740 |   610282 |     3486    382 |        0 |        0
194.44/194.51	c  193s |      19 |   647265 |   617582 |     3486    386 |        0 |        0
196.44/196.53	c  195s |      19 |   655016 |   625182 |     3486    390 |        0 |        0
198.44/198.54	c  197s |      19 |   661715 |   631682 |     3486    393 |        0 |        0
200.44/200.55	c  199s |      19 |   669207 |   638882 |     3486    397 |        0 |        0
202.44/202.57	c  201s |      19 |   677148 |   646382 |     3486    401 |        0 |        0
204.44/204.58	c  203s |      19 |   685009 |   653982 |     3486    405 |        0 |        0
206.54/206.60	c  205s |      19 |   692830 |   661582 |     3835    408 |        0 |        0
207.84/208.00	c  207s |      20 |   698308 |   666827 |     3835    411 |        0 |        0
209.94/210.03	c  209s |      20 |   705886 |   673927 |     3835    414 |        0 |        0
211.93/212.04	c  211s |      20 |   712523 |   680227 |     3835    417 |        0 |        0
213.93/214.04	c  213s |      20 |   719375 |   686727 |     3835    421 |        0 |        0
215.93/216.06	c  215s |      20 |   726256 |   693227 |     3835    424 |        0 |        0
217.93/218.07	c  217s |      20 |   732953 |   699527 |     3835    427 |        0 |        0
219.94/220.08	c  219s |      20 |   739444 |   705727 |     3835    430 |        0 |        0
221.93/222.08	c  221s |      20 |   746111 |   712127 |     3835    433 |        0 |        0
224.03/224.12	c  223s |      20 |   752416 |   718127 |     3835    436 |        0 |        0
226.03/226.14	c  225s |      20 |   758995 |   724327 |     3835    439 |        0 |        0
228.03/228.16	c  227s |      20 |   765895 |   730927 |     3835    442 |        0 |        0
230.03/230.18	c  229s |      20 |   772828 |   737727 |     3835    445 |        0 |        0
232.04/232.20	c  231s |      20 |   779941 |   744727 |     3835    449 |        0 |        0
234.13/234.21	c  233s |      20 |   786538 |   751127 |     3835    452 |        0 |        0
236.13/236.22	c  235s |      20 |   794347 |   758727 |     3835    455 |        0 |        0
238.13/238.22	c  237s |      20 |   801639 |   765827 |     3835    458 |        0 |        0
240.13/240.26	c  239s |      20 |   807223 |   771227 |     3835    461 |        0 |        0
242.13/242.27	c  241s |      20 |   813709 |   777527 |     3835    464 |        0 |        0
244.13/244.27	c  243s |      20 |   820889 |   784327 |     3835    467 |        0 |        0
246.13/246.28	c  245s |      20 |   827875 |   790927 |     3835    470 |        0 |        0
248.13/248.29	c  247s |      20 |   835054 |   797427 |     3835    473 |        0 |        0
250.23/250.30	c  249s |      20 |   842813 |   804827 |     3835    477 |        0 |        0
252.23/252.31	c  251s |      20 |   849782 |   811427 |     3835    480 |        0 |        0
254.24/254.32	c  253s |      20 |   856790 |   817927 |     3835    483 |        0 |        0
256.24/256.32	c  255s |      20 |   864121 |   824727 |     3835    486 |        0 |        0
258.23/258.33	c  257s |      20 |   871678 |   831827 |     3835    490 |        0 |        0
260.23/260.35	c  259s |      20 |   878815 |   838427 |     3835    493 |        0 |        0
262.23/262.37	c  261s |      20 |   885427 |   844827 |     3835    496 |        0 |        0
264.23/264.39	c  263s |      20 |   892433 |   851527 |     3835    499 |        0 |        0
266.24/266.40	c  265s |      20 |   898938 |   857827 |     3835    502 |        0 |        0
268.23/268.40	c  267s |      20 |   906477 |   865027 |     3835    505 |        0 |        0
270.33/270.41	c  269s |      20 |   913487 |   871627 |     3835    508 |        0 |        0
272.33/272.42	c  271s |      20 |   920515 |   878327 |     3835    511 |        0 |        0
274.33/274.42	c  273s |      20 |   927769 |   885227 |     3835    515 |        0 |        0
276.33/276.42	c  275s |      20 |   935037 |   892027 |     3835    518 |        0 |        0
278.34/278.45	c  277s |      20 |   942191 |   898827 |     3835    521 |        0 |        0
280.33/280.45	c  279s |      20 |   949800 |   906027 |     3835    524 |        0 |        0
282.33/282.45	c  281s |      20 |   956746 |   912627 |     3835    528 |        0 |        0
284.33/284.47	c  283s |      20 |   963833 |   919227 |     3835    531 |        0 |        0
286.33/286.49	c  285s |      20 |   971301 |   926127 |     3835    534 |        0 |        0
288.33/288.49	c  287s |      20 |   978573 |   932927 |     3835    537 |        0 |        0
290.33/290.50	c  289s |      20 |   985892 |   939927 |     3835    540 |        0 |        0
292.42/292.51	c  291s |      20 |   992624 |   946127 |     3835    543 |        0 |        0
294.42/294.53	c  293s |      20 |   999429 |   952427 |     3835    546 |        0 |        0
296.42/296.55	c  295s |      20 |  1006040 |   958627 |     3835    549 |        0 |        0
298.42/298.55	c  297s |      20 |  1012773 |   965027 |     3835    552 |        0 |        0
300.42/300.56	c  299s |      20 |  1019452 |   971427 |     3835    555 |        0 |        0
302.43/302.56	c  301s |      20 |  1026354 |   977927 |     3835    558 |        0 |        0
304.42/304.58	c  303s |      20 |  1033219 |   984427 |     3835    561 |        0 |        0
306.42/306.59	c  305s |      20 |  1040286 |   991127 |     4219    564 |        0 |        0
308.52/308.63	c  307s |      20 |  1047463 |   998027 |     4219    567 |        0 |        0
309.22/309.35	c  308s |      21 |  1049913 |  1000345 |     4219    568 |        0 |        0
311.22/311.35	c  310s |      21 |  1055508 |  1004745 |     4219    570 |        0 |        0
313.22/313.39	c  312s |      21 |  1060582 |  1009245 |     4219    572 |        0 |        0
315.32/315.45	c  314s |      21 |  1064970 |  1013145 |     4219    574 |        0 |        0
317.32/317.47	c  316s |      21 |  1069888 |  1017545 |     4219    576 |        0 |        0
319.42/319.50	c  318s |      21 |  1075149 |  1022345 |     4219    578 |        0 |        0
321.42/321.52	c  320s |      21 |  1080677 |  1027545 |     4219    580 |        0 |        0
323.43/323.56	c  322s |      21 |  1085520 |  1031945 |     4219    582 |        0 |        0
325.53/325.61	c  324s |      21 |  1091703 |  1037745 |     4219    585 |        0 |        0
327.52/327.63	c  326s |      21 |  1097864 |  1043645 |     4219    587 |        0 |        0
329.52/329.67	c  328s |      21 |  1104023 |  1049445 |     4219    590 |        0 |        0
331.52/331.69	c  330s |      21 |  1110681 |  1055745 |     4219    592 |        0 |        0
333.62/333.72	c  332s |      21 |  1116521 |  1061345 |     4219    595 |        0 |        0
335.62/335.75	c  334s |      21 |  1123257 |  1067645 |     4219    597 |        0 |        0
337.62/337.77	c  336s |      21 |  1129236 |  1073145 |     4219    600 |        0 |        0
339.62/339.79	c  338s |      21 |  1135104 |  1078845 |     4219    602 |        0 |        0
341.72/341.80	c  340s |      21 |  1141439 |  1084945 |     4219    605 |        0 |        0
343.72/343.81	c  342s |      21 |  1147322 |  1090445 |     4219    607 |        0 |        0
345.72/345.82	c  344s |      21 |  1153494 |  1096245 |     4219    610 |        0 |        0
347.72/347.84	c  346s |      21 |  1158874 |  1101445 |     4219    612 |        0 |        0
349.72/349.86	c  348s |      21 |  1164459 |  1106745 |     4219    614 |        0 |        0
351.71/351.88	c  350s |      21 |  1169413 |  1111445 |     4219    616 |        0 |        0
353.71/353.89	c  352s |      21 |  1174050 |  1115945 |     4219    618 |        0 |        0
355.81/355.98	c  355s |      21 |  1179035 |  1120445 |     4219    620 |        0 |        0
357.91/358.03	c  357s |      21 |  1183736 |  1124845 |     4219    622 |        0 |        0
359.91/360.05	c  359s |      21 |  1188456 |  1129345 |     4219    624 |        0 |        0
361.92/362.05	c  361s |      21 |  1192895 |  1133445 |     4219    626 |        0 |        0
363.91/364.09	c  363s |      21 |  1197420 |  1137745 |     4219    627 |        0 |        0
366.01/366.13	c  365s |      21 |  1202269 |  1142345 |     4219    629 |        0 |        0
368.01/368.19	c  367s |      21 |  1207111 |  1146945 |     4219    631 |        0 |        0
370.11/370.20	c  369s |      21 |  1211797 |  1151445 |     4219    633 |        0 |        0
372.11/372.23	c  371s |      21 |  1215889 |  1155345 |     4219    635 |        0 |        0
374.11/374.23	c  373s |      21 |  1219793 |  1158945 |     4219    637 |        0 |        0
376.12/376.28	c  375s |      21 |  1223955 |  1162945 |     4219    638 |        0 |        0
378.11/378.29	c  377s |      21 |  1229454 |  1168045 |     4219    640 |        0 |        0
380.21/380.31	c  379s |      21 |  1235350 |  1173645 |     4219    643 |        0 |        0
382.21/382.32	c  381s |      21 |  1241133 |  1179045 |     4219    645 |        0 |        0
384.21/384.34	c  383s |      21 |  1247369 |  1184845 |     4219    648 |        0 |        0
386.21/386.39	c  385s |      21 |  1252819 |  1189945 |     4219    650 |        0 |        0
388.31/388.41	c  387s |      21 |  1258419 |  1195245 |     4219    652 |        0 |        0
390.31/390.46	c  389s |      21 |  1264519 |  1200745 |     4219    655 |        0 |        0
392.31/392.48	c  391s |      21 |  1269614 |  1205645 |     4219    657 |        0 |        0
394.31/394.48	c  393s |      21 |  1274880 |  1210645 |     4219    659 |        0 |        0
396.30/396.49	c  395s |      21 |  1280972 |  1216245 |     4219    661 |        0 |        0
398.40/398.51	c  397s |      21 |  1287227 |  1222245 |     4219    664 |        0 |        0
400.41/400.52	c  399s |      21 |  1293376 |  1228045 |     4219    666 |        0 |        0
402.40/402.53	c  401s |      21 |  1298425 |  1232845 |     4219    668 |        0 |        0
404.40/404.54	c  403s |      21 |  1303490 |  1237645 |     4219    670 |        0 |        0
406.40/406.56	c  405s |      21 |  1309101 |  1243045 |     4219    673 |        0 |        0
408.40/408.58	c  407s |      21 |  1314502 |  1248145 |     4219    675 |        0 |        0
410.40/410.58	c  409s |      21 |  1319024 |  1252445 |     4219    677 |        0 |        0
412.40/412.59	c  411s |      21 |  1323670 |  1256845 |     4219    679 |        0 |        0
414.50/414.61	c  413s |      21 |  1329584 |  1262545 |     4219    681 |        0 |        0
416.49/416.62	c  415s |      21 |  1335254 |  1268045 |     4219    683 |        0 |        0
418.49/418.69	c  417s |      21 |  1339790 |  1272445 |     4219    685 |        0 |        0
420.60/420.70	c  419s |      21 |  1344379 |  1276845 |     4219    687 |        0 |        0
422.59/422.73	c  421s |      21 |  1349608 |  1281845 |     4219    689 |        0 |        0
424.60/424.76	c  423s |      21 |  1354832 |  1286545 |     4219    691 |        0 |        0
426.59/426.76	c  425s |      21 |  1360302 |  1291745 |     4219    694 |        0 |        0
428.59/428.78	c  427s |      21 |  1365898 |  1296945 |     4219    696 |        0 |        0
430.59/430.78	c  429s |      21 |  1371677 |  1302345 |     4219    698 |        0 |        0
432.69/432.83	c  431s |      21 |  1377036 |  1307245 |     4219    700 |        0 |        0
434.69/434.84	c  433s |      21 |  1383813 |  1313445 |     4219    703 |        0 |        0
436.70/436.86	c  435s |      21 |  1390050 |  1318945 |     4219    705 |        0 |        0
438.69/438.87	c  437s |      21 |  1396930 |  1325045 |     4219    708 |        0 |        0
440.69/440.89	c  440s |      21 |  1404384 |  1332145 |     4219    711 |        0 |        0
442.69/442.89	c  442s |      21 |  1411312 |  1338845 |     4219    714 |        0 |        0
444.79/444.91	c  444s |      21 |  1417780 |  1344845 |     4219    716 |        0 |        0
446.78/446.92	c  446s |      21 |  1425274 |  1351545 |     4219    719 |        0 |        0
448.79/448.94	c  448s |      21 |  1431945 |  1357845 |     4219    722 |        0 |        0
450.78/450.97	c  450s |      21 |  1438424 |  1363645 |     4219    725 |        0 |        0
452.78/452.99	c  452s |      21 |  1445336 |  1369945 |     4219    727 |        0 |        0
454.88/455.00	c  454s |      21 |  1450609 |  1374545 |     4219    729 |        0 |        0
456.88/457.03	c  456s |      21 |  1456268 |  1379645 |     4219    731 |        0 |        0
458.88/459.06	c  458s |      21 |  1462114 |  1385045 |     4219    734 |        0 |        0
460.88/461.09	c  460s |      21 |  1467271 |  1389945 |     4219    736 |        0 |        0
462.98/463.12	c  462s |      21 |  1472510 |  1395045 |     4219    738 |        0 |        0
464.98/465.12	c  464s |      21 |  1476224 |  1398545 |     4219    740 |        0 |        0
466.99/467.14	c  466s |      21 |  1480833 |  1402945 |     4219    741 |        0 |        0
468.98/469.18	c  468s |      21 |  1486776 |  1408645 |     4219    744 |        0 |        0
471.08/471.20	c  470s |      21 |  1490375 |  1411945 |     4219    745 |        0 |        0
473.08/473.21	c  472s |      21 |  1496146 |  1417645 |     4219    748 |        0 |        0
475.09/475.21	c  474s |      21 |  1501828 |  1423245 |     4219    750 |        0 |        0
477.08/477.23	c  476s |      21 |  1506722 |  1427845 |     4219    752 |        0 |        0
479.18/479.30	c  478s |      21 |  1511681 |  1432545 |     4219    754 |        0 |        0
481.18/481.31	c  480s |      21 |  1516066 |  1436545 |     4219    756 |        0 |        0
483.18/483.35	c  482s |      21 |  1520269 |  1440345 |     4219    758 |        0 |        0
485.18/485.36	c  484s |      21 |  1525642 |  1445345 |     4219    760 |        0 |        0
487.18/487.39	c  486s |      21 |  1530861 |  1450245 |     4219    762 |        0 |        0
489.27/489.40	c  488s |      21 |  1536948 |  1455945 |     4219    764 |        0 |        0
491.27/491.45	c  490s |      21 |  1542038 |  1460545 |     4219    766 |        0 |        0
493.27/493.46	c  492s |      21 |  1548082 |  1466145 |     4219    769 |        0 |        0
495.27/495.48	c  494s |      21 |  1553869 |  1471445 |     4219    771 |        0 |        0
497.37/497.50	c  496s |      21 |  1558974 |  1475945 |     4219    773 |        0 |        0
499.38/499.51	c  498s |      21 |  1565188 |  1481745 |     4219    775 |        0 |        0
501.37/501.59	c  500s |      21 |  1570609 |  1486745 |     4219    778 |        0 |        0
503.47/503.60	c  502s |      21 |  1575803 |  1491445 |     4641    779 |        0 |        0
505.46/505.64	c  504s |      21 |  1579894 |  1495145 |     4641    781 |        0 |        0
507.46/507.69	c  506s |      21 |  1584166 |  1499045 |     4641    782 |        0 |        0
508.26/508.47	c  507s |      22 |  1586261 |  1500622 |     4641    783 |        0 |        0
510.27/510.49	c  509s |      22 |  1594356 |  1508322 |     4641    786 |        0 |        0
512.36/512.51	c  511s |      22 |  1600181 |  1513622 |     4641    788 |        0 |        0
514.36/514.54	c  513s |      22 |  1606736 |  1519922 |     4641    791 |        0 |        0
516.36/516.55	c  515s |      22 |  1613561 |  1526422 |     4641    793 |        0 |        0
518.36/518.55	c  517s |      22 |  1619522 |  1531822 |     4641    795 |        0 |        0
520.36/520.59	c  519s |      22 |  1625646 |  1537322 |     4641    798 |        0 |        0
522.47/522.62	c  521s |      22 |  1632333 |  1543322 |     4641    800 |        0 |        0
524.46/524.65	c  523s |      22 |  1637775 |  1548422 |     4641    802 |        0 |        0
526.45/526.66	c  525s |      22 |  1644101 |  1554322 |     4641    804 |        0 |        0
528.45/528.67	c  527s |      22 |  1649769 |  1559422 |     4641    806 |        0 |        0
530.55/530.72	c  529s |      22 |  1655473 |  1564822 |     4641    809 |        0 |        0
532.55/532.74	c  531s |      22 |  1661804 |  1570622 |     4641    811 |        0 |        0
534.56/534.75	c  533s |      22 |  1668549 |  1576622 |     4641    813 |        0 |        0
536.54/536.75	c  535s |      22 |  1674741 |  1582422 |     4641    816 |        0 |        0
538.54/538.78	c  537s |      22 |  1680092 |  1587422 |     4641    818 |        0 |        0
540.64/540.82	c  539s |      22 |  1685720 |  1592822 |     4641    820 |        0 |        0
542.64/542.82	c  541s |      22 |  1692058 |  1598622 |     4641    822 |        0 |        0
544.64/544.88	c  543s |      22 |  1698086 |  1604222 |     4641    824 |        0 |        0
546.74/546.90	c  546s |      22 |  1704815 |  1610522 |     4641    827 |        0 |        0
548.74/548.92	c  548s |      22 |  1710845 |  1616222 |     4641    829 |        0 |        0
550.74/550.93	c  550s |      22 |  1716746 |  1621522 |     4641    831 |        0 |        0
552.74/552.96	c  552s |      22 |  1722889 |  1627222 |     4641    833 |        0 |        0
554.73/554.99	c  554s |      22 |  1728611 |  1632622 |     4641    835 |        0 |        0
556.83/557.00	c  556s |      22 |  1734575 |  1638022 |     4641    838 |        0 |        0
558.83/559.03	c  558s |      22 |  1740451 |  1643522 |     4641    840 |        0 |        0
560.83/561.06	c  560s |      22 |  1747149 |  1649722 |     4641    842 |        0 |        0
562.83/563.06	c  562s |      22 |  1753453 |  1655622 |     4641    845 |        0 |        0
564.82/565.07	c  564s |      22 |  1760365 |  1662022 |     4641    847 |        0 |        0
566.82/567.07	c  566s |      22 |  1766563 |  1667822 |     4641    850 |        0 |        0
568.82/569.07	c  568s |      22 |  1772922 |  1673722 |     4641    852 |        0 |        0
570.83/571.09	c  570s |      22 |  1779607 |  1679922 |     4641    854 |        0 |        0
572.93/573.11	c  572s |      22 |  1786165 |  1686122 |     4641    857 |        0 |        0
574.92/575.14	c  574s |      22 |  1792580 |  1691822 |     4641    859 |        0 |        0
576.92/577.16	c  576s |      22 |  1798977 |  1697422 |     4641    861 |        0 |        0
579.02/579.21	c  578s |      22 |  1804623 |  1702822 |     4641    864 |        0 |        0
581.02/581.22	c  580s |      22 |  1810569 |  1708322 |     4641    866 |        0 |        0
583.02/583.22	c  582s |      22 |  1816870 |  1714222 |     4641    868 |        0 |        0
585.02/585.22	c  584s |      22 |  1823002 |  1720122 |     4641    870 |        0 |        0
587.01/587.26	c  586s |      22 |  1828589 |  1725322 |     4641    873 |        0 |        0
589.01/589.27	c  588s |      22 |  1833971 |  1730422 |     4641    875 |        0 |        0
591.01/591.29	c  590s |      22 |  1839589 |  1735622 |     4641    877 |        0 |        0
593.11/593.30	c  592s |      22 |  1845993 |  1741522 |     4641    879 |        0 |        0
595.11/595.34	c  594s |      22 |  1852182 |  1747222 |     4641    881 |        0 |        0
597.12/597.37	c  596s |      22 |  1858262 |  1752922 |     4641    884 |        0 |        0
599.11/599.39	c  598s |      22 |  1864692 |  1759122 |     4641    886 |        0 |        0
601.21/601.40	c  600s |      22 |  1871026 |  1765122 |     4641    888 |        0 |        0
603.21/603.42	c  602s |      22 |  1877383 |  1771022 |     4641    891 |        0 |        0
605.21/605.43	c  604s |      22 |  1883488 |  1776522 |     4641    893 |        0 |        0
607.20/607.44	c  606s |      22 |  1889532 |  1782222 |     4641    895 |        0 |        0
609.21/609.46	c  608s |      22 |  1895828 |  1788122 |     4641    898 |        0 |        0
611.20/611.49	c  610s |      22 |  1901814 |  1793422 |     4641    900 |        0 |        0
613.21/613.49	c  612s |      22 |  1908144 |  1799122 |     4641    902 |        0 |        0
615.31/615.52	c  614s |      22 |  1914860 |  1805422 |     4641    905 |        0 |        0
617.31/617.54	c  616s |      22 |  1921148 |  1811122 |     4641    907 |        0 |        0
619.31/619.54	c  618s |      22 |  1926823 |  1816422 |     4641    909 |        0 |        0
621.31/621.55	c  620s |      22 |  1933741 |  1822822 |     4641    911 |        0 |        0
623.31/623.57	c  622s |      22 |  1940364 |  1829122 |     4641    914 |        0 |        0
625.40/625.60	c  624s |      22 |  1946601 |  1835022 |     4641    916 |        0 |        0
627.40/627.62	c  626s |      22 |  1952952 |  1841022 |     4641    919 |        0 |        0
629.40/629.64	c  628s |      22 |  1959160 |  1846922 |     4641    921 |        0 |        0
631.40/631.65	c  630s |      22 |  1965410 |  1852722 |     4641    923 |        0 |        0
633.41/633.67	c  632s |      22 |  1971493 |  1858422 |     4641    926 |        0 |        0
635.40/635.68	c  634s |      22 |  1977850 |  1864222 |     4641    928 |        0 |        0
637.40/637.69	c  636s |      22 |  1983809 |  1869722 |     4641    930 |        0 |        0
639.39/639.69	c  638s |      22 |  1989442 |  1875022 |     4641    932 |        0 |        0
641.49/641.72	c  640s |      22 |  1995212 |  1880322 |     4641    934 |        0 |        0
643.49/643.73	c  642s |      22 |  2001292 |  1886022 |     4641    937 |        0 |        0
645.50/645.76	c  644s |      22 |  2007362 |  1891622 |     4641    939 |        0 |        0
647.49/647.76	c  646s |      22 |  2013028 |  1896922 |     4641    941 |        0 |        0
649.49/649.79	c  648s |      22 |  2018813 |  1902422 |     4641    943 |        0 |        0
651.59/651.80	c  650s |      22 |  2024719 |  1908022 |     4641    945 |        0 |        0
653.59/653.82	c  652s |      22 |  2030242 |  1913222 |     4641    947 |        0 |        0
655.58/655.82	c  654s |      22 |  2036437 |  1919222 |     4641    950 |        0 |        0
657.59/657.84	c  656s |      22 |  2042160 |  1924622 |     4641    952 |        0 |        0
659.58/659.87	c  658s |      22 |  2048491 |  1930522 |     4641    954 |        0 |        0
661.68/661.90	c  661s |      22 |  2054363 |  1936022 |     4641    957 |        0 |        0
663.68/663.91	c  663s |      22 |  2060399 |  1941622 |     4641    959 |        0 |        0
665.68/665.93	c  665s |      22 |  2066708 |  1947522 |     4641    961 |        0 |        0
667.68/667.94	c  667s |      22 |  2072807 |  1953222 |     4641    963 |        0 |        0
669.68/669.96	c  669s |      22 |  2078818 |  1958922 |     4641    966 |        0 |        0
671.68/671.98	c  671s |      22 |  2085184 |  1964922 |     4641    968 |        0 |        0
673.78/674.03	c  673s |      22 |  2091102 |  1970322 |     4641    970 |        0 |        0
675.77/676.05	c  675s |      22 |  2097157 |  1975722 |     4641    972 |        0 |        0
677.77/678.05	c  677s |      22 |  2103092 |  1981222 |     4641    975 |        0 |        0
679.77/680.05	c  679s |      22 |  2108888 |  1986622 |     4641    977 |        0 |        0
681.78/682.06	c  681s |      22 |  2115031 |  1992422 |     4641    979 |        0 |        0
683.77/684.07	c  683s |      22 |  2121279 |  1998222 |     4641    981 |        0 |        0
685.76/686.09	c  685s |      22 |  2126617 |  2003222 |     4641    983 |        0 |        0
687.86/688.12	c  687s |      22 |  2132411 |  2008622 |     4641    985 |        0 |        0
689.86/690.15	c  689s |      22 |  2138270 |  2014022 |     4641    988 |        0 |        0
691.86/692.19	c  691s |      22 |  2144432 |  2019722 |     4641    990 |        0 |        0
693.87/694.19	c  693s |      22 |  2150111 |  2024822 |     4641    992 |        0 |        0
695.96/696.22	c  695s |      22 |  2155791 |  2030122 |     4641    994 |        0 |        0
697.96/698.24	c  697s |      22 |  2161768 |  2036022 |     4641    996 |        0 |        0
699.96/700.28	c  699s |      22 |  2168053 |  2041822 |     4641    999 |        0 |        0
702.06/702.31	c  701s |      22 |  2173636 |  2047022 |     4641   1001 |        0 |        0
704.06/704.31	c  703s |      22 |  2179938 |  2053022 |     4641   1003 |        0 |        0
706.06/706.31	c  705s |      22 |  2186019 |  2058722 |     4641   1005 |        0 |        0
708.05/708.34	c  707s |      22 |  2192609 |  2064922 |     4641   1008 |        0 |        0
710.05/710.37	c  709s |      22 |  2198895 |  2070922 |     4641   1010 |        0 |        0
712.05/712.38	c  711s |      22 |  2205309 |  2076922 |     4641   1013 |        0 |        0
714.15/714.42	c  713s |      22 |  2211453 |  2082822 |     4641   1015 |        0 |        0
716.15/716.42	c  715s |      22 |  2217539 |  2088622 |     4641   1017 |        0 |        0
718.15/718.45	c  717s |      22 |  2223985 |  2094622 |     4641   1020 |        0 |        0
720.15/720.45	c  719s |      22 |  2230007 |  2100322 |     4641   1022 |        0 |        0
722.15/722.46	c  721s |      22 |  2236081 |  2106022 |     4641   1024 |        0 |        0
724.15/724.47	c  723s |      22 |  2241870 |  2111622 |     4641   1026 |        0 |        0
726.14/726.47	c  725s |      22 |  2247780 |  2117322 |     4641   1029 |        0 |        0
728.14/728.48	c  727s |      22 |  2254138 |  2123122 |     4641   1031 |        0 |        0
730.25/730.52	c  729s |      22 |  2260473 |  2129122 |     4641   1034 |        0 |        0
732.24/732.52	c  731s |      22 |  2266703 |  2134922 |     4641   1036 |        0 |        0
734.24/734.54	c  733s |      22 |  2272381 |  2140222 |     4641   1038 |        0 |        0
736.23/736.55	c  735s |      22 |  2278251 |  2145722 |     4641   1040 |        0 |        0
738.23/738.56	c  737s |      22 |  2283618 |  2150822 |     4641   1042 |        0 |        0
740.23/740.57	c  739s |      22 |  2289061 |  2156022 |     4641   1044 |        0 |        0
742.24/742.59	c  741s |      22 |  2294507 |  2161222 |     4641   1046 |        0 |        0
744.33/744.60	c  743s |      22 |  2300204 |  2166622 |     4641   1048 |        0 |        0
746.33/746.62	c  745s |      22 |  2305649 |  2171822 |     4641   1050 |        0 |        0
748.33/748.64	c  747s |      22 |  2311457 |  2177222 |     4641   1052 |        0 |        0
750.33/750.67	c  749s |      22 |  2317050 |  2182522 |     4641   1055 |        0 |        0
752.33/752.67	c  751s |      22 |  2322966 |  2188022 |     4641   1057 |        0 |        0
754.33/754.68	c  753s |      22 |  2329034 |  2193522 |     4641   1059 |        0 |        0
756.32/756.69	c  755s |      22 |  2334775 |  2199022 |     4641   1061 |        0 |        0
758.42/758.71	c  757s |      22 |  2340163 |  2204022 |     4641   1063 |        0 |        0
760.42/760.71	c  759s |      22 |  2345308 |  2208722 |     4641   1065 |        0 |        0
762.42/762.72	c  761s |      22 |  2350718 |  2213622 |     4641   1067 |        0 |        0
764.42/764.74	c  763s |      22 |  2355299 |  2217822 |     4641   1069 |        0 |        0
766.42/766.76	c  765s |      22 |  2360442 |  2222722 |     4641   1071 |        0 |        0
768.41/768.78	c  767s |      22 |  2366517 |  2228522 |     4641   1073 |        0 |        0
770.41/770.79	c  769s |      22 |  2372027 |  2233722 |     5106   1075 |        0 |        0
772.51/772.83	c  771s |      22 |  2377625 |  2238922 |     5106   1077 |        0 |        0
774.51/774.85	c  773s |      22 |  2383813 |  2244722 |     5106   1079 |        0 |        0
776.51/776.86	c  775s |      22 |  2389746 |  2250222 |     5106   1081 |        0 |        0
776.81/777.14	c  776s |      23 |  2390605 |  2251038 |     5106   1081 |        0 |        0
778.80/779.16	c  778s |      23 |  2398441 |  2258638 |     5106   1084 |        0 |        0
780.81/781.18	c  780s |      23 |  2404921 |  2265038 |     5106   1086 |        0 |        0
782.91/783.21	c  782s |      23 |  2411778 |  2271738 |     5106   1089 |        0 |        0
784.90/785.23	c  784s |      23 |  2417969 |  2277838 |     5106   1091 |        0 |        0
786.90/787.25	c  786s |      23 |  2424326 |  2284038 |     5106   1093 |        0 |        0
788.90/789.27	c  788s |      23 |  2431697 |  2291138 |     5106   1096 |        0 |        0
790.90/791.28	c  790s |      23 |  2438390 |  2297638 |     5106   1099 |        0 |        0
793.01/793.30	c  792s |      23 |  2445282 |  2304438 |     5106   1101 |        0 |        0
794.90/795.30	c  794s |      23 |  2452096 |  2311138 |     5106   1104 |        0 |        0
797.00/797.31	c  796s |      23 |  2458816 |  2317638 |     5106   1106 |        0 |        0
799.00/799.34	c  798s |      23 |  2465704 |  2324238 |     5106   1109 |        0 |        0
801.00/801.34	c  800s |      23 |  2472167 |  2330238 |     5106   1111 |        0 |        0
803.00/803.35	c  802s |      23 |  2478234 |  2335738 |     5106   1113 |        0 |        0
805.00/805.36	c  804s |      23 |  2483746 |  2340738 |     5106   1115 |        0 |        0
807.00/807.37	c  806s |      23 |  2489411 |  2346138 |     5106   1117 |        0 |        0
809.00/809.37	c  808s |      23 |  2494974 |  2351238 |     5106   1119 |        0 |        0
810.99/811.40	c  810s |      23 |  2501153 |  2357038 |     5106   1121 |        0 |        0
813.09/813.41	c  812s |      23 |  2507467 |  2362738 |     5106   1123 |        0 |        0
815.09/815.43	c  814s |      23 |  2512518 |  2367538 |     5106   1125 |        0 |        0
817.09/817.45	c  816s |      23 |  2519071 |  2373738 |     5106   1127 |        0 |        0
819.09/819.46	c  818s |      23 |  2524940 |  2379238 |     5106   1129 |        0 |        0
821.09/821.47	c  820s |      23 |  2530832 |  2384638 |     5106   1131 |        0 |        0
823.19/823.51	c  822s |      23 |  2536885 |  2390138 |     5106   1133 |        0 |        0
825.18/825.51	c  824s |      23 |  2542724 |  2395738 |     5106   1136 |        0 |        0
827.18/827.53	c  826s |      23 |  2548525 |  2401038 |     5106   1138 |        0 |        0
829.19/829.57	c  828s |      23 |  2554514 |  2406438 |     5106   1140 |        0 |        0
831.18/831.58	c  830s |      23 |  2560302 |  2411838 |     5106   1142 |        0 |        0
833.18/833.58	c  832s |      23 |  2566375 |  2417538 |     5106   1144 |        0 |        0
835.28/835.63	c  834s |      23 |  2571519 |  2422438 |     5106   1146 |        0 |        0
837.27/837.64	c  836s |      23 |  2576496 |  2427238 |     5106   1147 |        0 |        0
839.27/839.66	c  838s |      23 |  2582160 |  2432638 |     5106   1149 |        0 |        0
841.28/841.69	c  840s |      23 |  2588030 |  2438138 |     5106   1152 |        0 |        0
843.38/843.72	c  842s |      23 |  2593694 |  2443338 |     5106   1153 |        0 |        0
845.37/845.73	c  844s |      23 |  2600071 |  2449538 |     5106   1156 |        0 |        0
847.37/847.76	c  846s |      23 |  2605752 |  2454938 |     5106   1158 |        0 |        0
849.36/849.77	c  848s |      23 |  2611721 |  2460538 |     5106   1160 |        0 |        0
851.46/851.82	c  850s |      23 |  2617508 |  2465938 |     5106   1162 |        0 |        0
853.46/853.83	c  852s |      23 |  2622419 |  2470438 |     5106   1164 |        0 |        0
855.47/855.83	c  854s |      23 |  2628578 |  2476138 |     5106   1166 |        0 |        0
857.47/857.85	c  856s |      23 |  2633686 |  2480838 |     5106   1168 |        0 |        0
859.47/859.86	c  858s |      23 |  2639212 |  2485838 |     5106   1169 |        0 |        0
861.47/861.88	c  860s |      23 |  2645670 |  2491838 |     5106   1172 |        0 |        0
863.46/863.89	c  862s |      23 |  2651465 |  2497238 |     5106   1174 |        0 |        0
865.56/865.91	c  865s |      23 |  2657376 |  2502838 |     5106   1176 |        0 |        0
867.57/867.92	c  867s |      23 |  2662874 |  2508038 |     5106   1178 |        0 |        0
869.56/869.92	c  869s |      23 |  2669030 |  2513638 |     5106   1180 |        0 |        0
871.56/871.94	c  871s |      23 |  2674898 |  2519138 |     5106   1182 |        0 |        0
873.56/873.94	c  873s |      23 |  2681338 |  2525238 |     5106   1184 |        0 |        0
875.55/875.95	c  875s |      23 |  2687438 |  2530938 |     5106   1186 |        0 |        0
877.65/878.00	c  877s |      23 |  2693366 |  2536338 |     5106   1189 |        0 |        0
879.66/880.03	c  879s |      23 |  2699250 |  2541738 |     5106   1191 |        0 |        0
881.65/882.04	c  881s |      23 |  2705114 |  2547038 |     5106   1193 |        0 |        0
883.65/884.06	c  883s |      23 |  2711171 |  2552738 |     5106   1195 |        0 |        0
885.64/886.09	c  885s |      23 |  2716917 |  2558038 |     5106   1197 |        0 |        0
887.64/888.09	c  887s |      23 |  2721597 |  2562438 |     5106   1198 |        0 |        0
889.74/890.10	c  889s |      23 |  2726733 |  2567338 |     5106   1200 |        0 |        0
891.75/892.12	c  891s |      23 |  2732364 |  2572638 |     5106   1202 |        0 |        0
893.74/894.16	c  893s |      23 |  2738773 |  2578538 |     5106   1204 |        0 |        0
895.74/896.19	c  895s |      23 |  2744665 |  2584038 |     5106   1206 |        0 |        0
897.74/898.19	c  897s |      23 |  2750467 |  2589438 |     5106   1209 |        0 |        0
899.84/900.20	c  899s |      23 |  2756350 |  2594938 |     5106   1211 |        0 |        0
901.84/902.21	c  901s |      23 |  2762017 |  2600138 |     5106   1213 |        0 |        0
903.84/904.22	c  903s |      23 |  2767790 |  2605538 |     5106   1215 |        0 |        0
905.83/906.28	c  905s |      23 |  2773550 |  2610738 |     5106   1217 |        0 |        0
907.83/908.29	c  907s |      23 |  2779463 |  2616238 |     5106   1219 |        0 |        0
909.93/910.30	c  909s |      23 |  2785274 |  2621438 |     5106   1221 |        0 |        0
911.93/912.31	c  911s |      23 |  2791007 |  2626838 |     5106   1223 |        0 |        0
913.93/914.32	c  913s |      23 |  2797021 |  2632438 |     5106   1225 |        0 |        0
915.93/916.33	c  915s |      23 |  2802865 |  2637938 |     5106   1227 |        0 |        0
917.93/918.35	c  917s |      23 |  2808856 |  2643438 |     5106   1229 |        0 |        0
919.92/920.35	c  919s |      23 |  2814769 |  2649038 |     5106   1231 |        0 |        0
921.92/922.36	c  921s |      23 |  2820610 |  2654538 |     5106   1233 |        0 |        0
923.92/924.39	c  923s |      23 |  2826764 |  2660338 |     5106   1235 |        0 |        0
926.02/926.41	c  925s |      23 |  2832477 |  2665638 |     5106   1237 |        0 |        0
928.02/928.47	c  927s |      23 |  2838219 |  2671038 |     5106   1239 |        0 |        0
930.02/930.49	c  929s |      23 |  2844218 |  2676738 |     5106   1241 |        0 |        0
932.12/932.51	c  931s |      23 |  2849925 |  2682138 |     5106   1243 |        0 |        0
934.12/934.54	c  933s |      23 |  2855769 |  2687538 |     5106   1245 |        0 |        0
936.11/936.58	c  935s |      23 |  2861423 |  2692738 |     5106   1247 |        0 |        0
938.21/938.61	c  937s |      23 |  2867462 |  2698438 |     5106   1250 |        0 |        0
940.22/940.61	c  939s |      23 |  2873294 |  2703838 |     5106   1252 |        0 |        0
942.21/942.67	c  941s |      23 |  2878837 |  2709038 |     5106   1254 |        0 |        0
944.31/944.70	c  943s |      23 |  2884773 |  2714538 |     5106   1256 |        0 |        0
946.31/946.72	c  945s |      23 |  2890162 |  2719538 |     5106   1258 |        0 |        0
948.31/948.73	c  947s |      23 |  2896115 |  2725038 |     5106   1260 |        0 |        0
950.30/950.73	c  949s |      23 |  2901861 |  2730438 |     5106   1262 |        0 |        0
952.31/952.74	c  951s |      23 |  2907543 |  2735738 |     5106   1264 |        0 |        0
954.30/954.77	c  953s |      23 |  2913075 |  2740738 |     5106   1266 |        0 |        0
956.40/956.80	c  955s |      23 |  2918651 |  2745938 |     5106   1267 |        0 |        0
958.40/958.81	c  957s |      23 |  2924407 |  2751338 |     5106   1269 |        0 |        0
960.40/960.82	c  959s |      23 |  2930144 |  2756738 |     5106   1272 |        0 |        0
962.40/962.85	c  961s |      23 |  2936052 |  2762238 |     5106   1274 |        0 |        0
964.41/964.86	c  963s |      23 |  2942218 |  2767938 |     5106   1276 |        0 |        0
966.39/966.89	c  965s |      23 |  2948085 |  2773238 |     5106   1278 |        0 |        0
968.49/968.91	c  968s |      23 |  2954353 |  2779038 |     5106   1280 |        0 |        0
970.49/970.92	c  970s |      23 |  2960303 |  2784638 |     5106   1282 |        0 |        0
972.49/972.96	c  972s |      23 |  2966683 |  2790538 |     5106   1284 |        0 |        0
974.49/974.98	c  974s |      23 |  2972926 |  2796438 |     5106   1286 |        0 |        0
976.49/976.99	c  976s |      23 |  2978728 |  2801938 |     5106   1289 |        0 |        0
978.59/979.02	c  978s |      23 |  2984865 |  2807738 |     5106   1291 |        0 |        0
980.59/981.02	c  980s |      23 |  2990865 |  2813238 |     5106   1293 |        0 |        0
982.59/983.06	c  982s |      23 |  2996777 |  2818838 |     5106   1295 |        0 |        0
984.59/985.07	c  984s |      23 |  3002405 |  2824138 |     5106   1297 |        0 |        0
986.59/987.09	c  986s |      23 |  3008098 |  2829438 |     5106   1299 |        0 |        0
988.69/989.12	c  988s |      23 |  3013961 |  2835038 |     5106   1301 |        0 |        0
990.70/991.13	c  990s |      23 |  3019579 |  2840438 |     5106   1303 |        0 |        0
992.69/993.16	c  992s |      23 |  3025402 |  2845938 |     5106   1305 |        0 |        0
994.69/995.16	c  994s |      23 |  3031415 |  2851538 |     5106   1307 |        0 |        0
996.68/997.20	c  996s |      23 |  3037100 |  2856838 |     5106   1309 |        0 |        0
998.78/999.24	c  998s |      23 |  3042847 |  2862138 |     5106   1311 |        0 |        0
1000.78/1001.27	c 1000s |      23 |  3048399 |  2867138 |     5106   1313 |        0 |        0
1002.79/1003.28	c 1002s |      23 |  3054869 |  2871738 |     5106   1315 |        0 |        0
1004.78/1005.28	c 1004s |      23 |  3060126 |  2876338 |     5106   1316 |        0 |        0
1006.88/1007.31	c 1006s |      23 |  3065572 |  2881038 |     5106   1318 |        0 |        0
1008.88/1009.32	c 1008s |      23 |  3071101 |  2886138 |     5106   1320 |        0 |        0
1010.88/1011.34	c 1010s |      23 |  3076431 |  2891038 |     5106   1322 |        0 |        0
1012.88/1013.37	c 1012s |      23 |  3081969 |  2896138 |     5106   1324 |        0 |        0
1014.88/1015.38	c 1014s |      23 |  3087419 |  2900638 |     5106   1325 |        0 |        0
1016.97/1017.44	c 1016s |      23 |  3093194 |  2906038 |     5106   1328 |        0 |        0
1018.97/1019.46	c 1018s |      23 |  3098416 |  2910838 |     5106   1329 |        0 |        0
1020.97/1021.49	c 1020s |      23 |  3104020 |  2915938 |     5106   1331 |        0 |        0
1023.07/1023.50	c 1022s |      23 |  3109080 |  2920738 |     5106   1333 |        0 |        0
1025.07/1025.51	c 1024s |      23 |  3113992 |  2925338 |     5106   1335 |        0 |        0
1027.08/1027.52	c 1026s |      23 |  3119332 |  2930138 |     5106   1336 |        0 |        0
1029.07/1029.55	c 1028s |      23 |  3124723 |  2934938 |     5106   1338 |        0 |        0
1031.07/1031.57	c 1030s |      23 |  3129996 |  2939738 |     5106   1340 |        0 |        0
1033.17/1033.63	c 1032s |      23 |  3134702 |  2944138 |     5106   1342 |        0 |        0
1035.17/1035.67	c 1034s |      23 |  3139375 |  2948538 |     5106   1343 |        0 |        0
1037.16/1037.67	c 1036s |      23 |  3144138 |  2952938 |     5106   1345 |        0 |        0
1039.26/1039.70	c 1038s |      23 |  3149093 |  2957538 |     5106   1347 |        0 |        0
1041.27/1041.74	c 1040s |      23 |  3154373 |  2962338 |     5106   1349 |        0 |        0
1043.26/1043.77	c 1042s |      23 |  3160077 |  2967638 |     5106   1350 |        0 |        0
1045.26/1045.78	c 1044s |      23 |  3166226 |  2973338 |     5106   1353 |        0 |        0
1047.36/1047.80	c 1046s |      23 |  3172489 |  2979238 |     5106   1355 |        0 |        0
1049.36/1049.83	c 1048s |      23 |  3178699 |  2984838 |     5106   1357 |        0 |        0
1051.36/1051.85	c 1050s |      23 |  3184075 |  2989938 |     5106   1359 |        0 |        0
1053.36/1053.88	c 1052s |      23 |  3190167 |  2995738 |     5106   1361 |        0 |        0
1055.45/1055.91	c 1055s |      23 |  3196568 |  3001638 |     5106   1363 |        0 |        0
1057.45/1057.91	c 1057s |      23 |  3203037 |  3007838 |     5106   1366 |        0 |        0
1059.45/1059.94	c 1059s |      23 |  3209395 |  3013738 |     5106   1368 |        0 |        0
1061.45/1061.94	c 1061s |      23 |  3215778 |  3019738 |     5106   1370 |        0 |        0
1063.45/1063.97	c 1063s |      23 |  3222320 |  3025838 |     5106   1372 |        0 |        0
1065.46/1065.97	c 1065s |      23 |  3227369 |  3030538 |     5106   1374 |        0 |        0
1067.55/1068.00	c 1067s |      23 |  3233730 |  3036238 |     5106   1376 |        0 |        0
1069.55/1070.04	c 1069s |      23 |  3239682 |  3041838 |     5106   1378 |        0 |        0
1071.55/1072.05	c 1071s |      23 |  3245723 |  3047538 |     5106   1380 |        0 |        0
1073.55/1074.05	c 1073s |      23 |  3251767 |  3053138 |     5106   1382 |        0 |        0
1075.55/1076.07	c 1075s |      23 |  3257560 |  3058438 |     5106   1384 |        0 |        0
1077.66/1078.11	c 1077s |      23 |  3263394 |  3063638 |     5106   1386 |        0 |        0
1079.65/1080.15	c 1079s |      23 |  3269092 |  3068938 |     5106   1388 |        0 |        0
1081.65/1082.18	c 1081s |      23 |  3274758 |  3074238 |     5106   1390 |        0 |        0
1083.75/1084.20	c 1083s |      23 |  3280415 |  3079338 |     5106   1392 |        0 |        0
1085.75/1086.23	c 1085s |      23 |  3285658 |  3084038 |     5106   1394 |        0 |        0
1087.75/1088.26	c 1087s |      23 |  3291462 |  3089438 |     5106   1396 |        0 |        0
1089.75/1090.28	c 1089s |      23 |  3298018 |  3095438 |     5106   1398 |        0 |        0
1091.85/1092.31	c 1091s |      23 |  3304396 |  3101538 |     5106   1400 |        0 |        0
1093.84/1094.31	c 1093s |      23 |  3310572 |  3107338 |     5106   1403 |        0 |        0
1095.84/1096.33	c 1095s |      23 |  3316773 |  3113238 |     5106   1405 |        0 |        0
1097.85/1098.38	c 1097s |      23 |  3322859 |  3118938 |     5106   1407 |        0 |        0
1099.84/1100.38	c 1099s |      23 |  3328821 |  3124638 |     5106   1409 |        0 |        0
1101.85/1102.38	c 1101s |      23 |  3334764 |  3130138 |     5106   1411 |        0 |        0
1103.95/1104.41	c 1103s |      23 |  3341090 |  3136138 |     5106   1413 |        0 |        0
1105.94/1106.43	c 1105s |      23 |  3347398 |  3141938 |     5106   1416 |        0 |        0
1107.94/1108.46	c 1107s |      23 |  3352817 |  3147038 |     5106   1417 |        0 |        0
1109.94/1110.48	c 1109s |      23 |  3358402 |  3152238 |     5106   1419 |        0 |        0
1111.94/1112.49	c 1111s |      23 |  3363707 |  3157238 |     5106   1421 |        0 |        0
1114.04/1114.51	c 1113s |      23 |  3369785 |  3162938 |     5106   1423 |        0 |        0
1116.05/1116.53	c 1115s |      23 |  3376020 |  3168738 |     5106   1426 |        0 |        0
1118.04/1118.55	c 1117s |      23 |  3381603 |  3174138 |     5106   1428 |        0 |        0
1120.04/1120.60	c 1119s |      23 |  3386877 |  3179338 |     5106   1430 |        0 |        0
1122.14/1122.60	c 1121s |      23 |  3391951 |  3184338 |     5106   1431 |        0 |        0
1124.14/1124.63	c 1123s |      23 |  3396623 |  3188938 |     5106   1433 |        0 |        0
1126.14/1126.63	c 1125s |      23 |  3402157 |  3194338 |     5106   1435 |        0 |        0
1128.14/1128.63	c 1127s |      23 |  3408602 |  3200538 |     5106   1437 |        0 |        0
1130.14/1130.65	c 1129s |      23 |  3414711 |  3206438 |     5106   1440 |        0 |        0
1132.14/1132.68	c 1131s |      23 |  3421396 |  3212738 |     5106   1442 |        0 |        0
1134.24/1134.70	c 1133s |      23 |  3427034 |  3218138 |     5106   1444 |        0 |        0
1136.24/1136.74	c 1135s |      23 |  3433018 |  3223838 |     5106   1446 |        0 |        0
1138.24/1138.75	c 1137s |      23 |  3439143 |  3229538 |     5106   1448 |        0 |        0
1140.24/1140.76	c 1139s |      23 |  3445508 |  3235538 |     5106   1450 |        0 |        0
1142.24/1142.77	c 1141s |      23 |  3451319 |  3241038 |     5106   1453 |        0 |        0
1144.34/1144.80	c 1143s |      23 |  3457106 |  3246538 |     5106   1455 |        0 |        0
1146.33/1146.81	c 1145s |      23 |  3463210 |  3252338 |     5106   1457 |        0 |        0
1148.33/1148.83	c 1147s |      23 |  3469559 |  3258438 |     5106   1459 |        0 |        0
1150.33/1150.88	c 1149s |      23 |  3475574 |  3264038 |     5106   1461 |        0 |        0
1152.34/1152.88	c 1151s |      23 |  3481435 |  3269538 |     5106   1463 |        0 |        0
1154.43/1154.93	c 1154s |      23 |  3487624 |  3275438 |     5106   1465 |        0 |        0
1156.43/1156.95	c 1156s |      23 |  3493807 |  3281238 |     5106   1468 |        0 |        0
1158.43/1158.98	c 1158s |      23 |  3500247 |  3287038 |     5106   1470 |        0 |        0
1160.53/1161.01	c 1160s |      23 |  3506282 |  3292838 |     5106   1472 |        0 |        0
1162.53/1163.04	c 1162s |      23 |  3512165 |  3298338 |     5106   1474 |        0 |        0
1164.54/1165.05	c 1164s |      23 |  3518058 |  3303638 |     5106   1476 |        0 |        0
1166.53/1167.05	c 1166s |      23 |  3523658 |  3309038 |     5106   1478 |        0 |        0
1168.53/1169.06	c 1168s |      23 |  3529373 |  3314438 |     5106   1480 |        0 |        0
1170.53/1171.09	c 1170s |      23 |  3534584 |  3319438 |     5106   1482 |        0 |        0
1172.53/1173.10	c 1172s |      23 |  3539912 |  3324538 |     5106   1484 |        0 |        0
1174.63/1175.11	c 1174s |      23 |  3545423 |  3329738 |     5106   1486 |        0 |        0
1176.64/1177.12	c 1176s |      23 |  3550889 |  3334838 |     5106   1488 |        0 |        0
1178.63/1179.18	c 1178s |      23 |  3556466 |  3340038 |     5106   1490 |        0 |        0
1180.73/1181.20	c 1180s |      23 |  3562629 |  3345738 |     5106   1492 |        0 |        0
1182.73/1183.22	c 1182s |      23 |  3568221 |  3350838 |     5617   1493 |        0 |        0
1184.73/1185.24	c 1184s |      23 |  3573788 |  3355938 |     5617   1495 |        0 |        0
1186.73/1187.26	c 1186s |      23 |  3579883 |  3361238 |     5617   1497 |        0 |        0
1188.73/1189.27	c 1188s |      23 |  3586271 |  3367238 |     5617   1499 |        0 |        0
1190.73/1191.28	c 1190s |      23 |  3591548 |  3372138 |     5617   1501 |        0 |        0
1192.42/1192.96	c 1192s |      24 |  3596284 |  3376662 |     5617   1502 |        0 |        0
1194.43/1194.98	c 1194s |      24 |  3602923 |  3383062 |     5617   1504 |        0 |        0
1196.44/1196.98	c 1196s |      24 |  3607306 |  3387262 |     5617   1506 |        0 |        0
1198.54/1199.02	c 1198s |      24 |  3611750 |  3391262 |     5617   1507 |        0 |        0
1200.53/1201.05	c 1200s |      24 |  3615443 |  3394762 |     5617   1508 |        0 |        0
1202.53/1203.08	c 1202s |      24 |  3620078 |  3399162 |     5617   1510 |        0 |        0
1204.53/1205.09	c 1204s |      24 |  3624369 |  3403062 |     5617   1511 |        0 |        0
1206.63/1207.11	c 1206s |      24 |  3628877 |  3406962 |     5617   1512 |        0 |        0
1208.63/1209.13	c 1208s |      24 |  3633186 |  3410862 |     5617   1514 |        0 |        0
1210.64/1211.13	c 1210s |      24 |  3637892 |  3415362 |     5617   1515 |        0 |        0
1212.63/1213.15	c 1212s |      24 |  3642584 |  3419762 |     5617   1517 |        0 |        0
1214.63/1215.19	c 1214s |      24 |  3647694 |  3424362 |     5617   1518 |        0 |        0
1216.73/1217.20	c 1216s |      24 |  3652279 |  3428662 |     5617   1520 |        0 |        0
1218.73/1219.23	c 1218s |      24 |  3657513 |  3433462 |     5617   1521 |        0 |        0
1220.73/1221.27	c 1220s |      24 |  3662126 |  3437662 |     5617   1523 |        0 |        0
1222.73/1223.28	c 1222s |      24 |  3666696 |  3441762 |     5617   1524 |        0 |        0
1224.83/1225.32	c 1224s |      24 |  3670893 |  3445762 |     5617   1525 |        0 |        0
1226.83/1227.34	c 1226s |      24 |  3675329 |  3449762 |     5617   1527 |        0 |        0
1228.83/1229.34	c 1228s |      24 |  3680219 |  3454362 |     5617   1528 |        0 |        0
1230.83/1231.36	c 1230s |      24 |  3684298 |  3458162 |     5617   1529 |        0 |        0
1232.83/1233.39	c 1232s |      24 |  3687819 |  3461562 |     5617   1531 |        0 |        0
1234.93/1235.42	c 1234s |      24 |  3691777 |  3465362 |     5617   1532 |        0 |        0
1236.92/1237.48	c 1236s |      24 |  3696807 |  3470062 |     5617   1533 |        0 |        0
1238.92/1239.48	c 1238s |      24 |  3701263 |  3474162 |     5617   1535 |        0 |        0
1241.02/1241.50	c 1240s |      24 |  3705409 |  3477962 |     5617   1536 |        0 |        0
1243.02/1243.51	c 1242s |      24 |  3709835 |  3482062 |     5617   1537 |        0 |        0
1245.02/1245.54	c 1244s |      24 |  3714611 |  3486462 |     5617   1539 |        0 |        0
1247.03/1247.55	c 1246s |      24 |  3719084 |  3490662 |     5617   1540 |        0 |        0
1249.02/1249.60	c 1248s |      24 |  3724059 |  3495162 |     5617   1542 |        0 |        0
1251.12/1251.63	c 1250s |      24 |  3728434 |  3499362 |     5617   1543 |        0 |        0
1253.12/1253.66	c 1252s |      24 |  3733666 |  3504062 |     5617   1545 |        0 |        0
1255.22/1255.72	c 1254s |      24 |  3737876 |  3508062 |     5617   1546 |        0 |        0
1257.22/1257.75	c 1256s |      24 |  3742767 |  3512562 |     5617   1548 |        0 |        0
1259.22/1259.75	c 1258s |      24 |  3747477 |  3516862 |     5617   1549 |        0 |        0
1261.23/1261.78	c 1260s |      24 |  3752080 |  3521062 |     5617   1551 |        0 |        0
1263.22/1263.79	c 1262s |      24 |  3756369 |  3524862 |     5617   1552 |        0 |        0
1265.32/1265.80	c 1264s |      24 |  3760791 |  3528862 |     5617   1553 |        0 |        0
1267.32/1267.82	c 1266s |      24 |  3765379 |  3533162 |     5617   1555 |        0 |        0
1269.32/1269.84	c 1268s |      24 |  3769927 |  3537462 |     5617   1556 |        0 |        0
1271.32/1271.84	c 1270s |      24 |  3774674 |  3542062 |     5617   1558 |        0 |        0
1273.32/1273.88	c 1272s |      24 |  3779429 |  3546462 |     5617   1559 |        0 |        0
1275.42/1275.91	c 1275s |      24 |  3784290 |  3550962 |     5617   1561 |        0 |        0
1277.42/1277.92	c 1277s |      24 |  3788827 |  3555162 |     5617   1562 |        0 |        0
1279.42/1279.94	c 1279s |      24 |  3793082 |  3559062 |     5617   1563 |        0 |        0
1281.42/1281.94	c 1281s |      24 |  3797868 |  3563362 |     5617   1565 |        0 |        0
1283.42/1283.97	c 1283s |      24 |  3803074 |  3568062 |     5617   1566 |        0 |        0
1285.42/1286.00	c 1285s |      24 |  3807945 |  3572562 |     5617   1568 |        0 |        0
1287.52/1288.02	c 1287s |      24 |  3812473 |  3576762 |     5617   1569 |        0 |        0
1289.52/1290.06	c 1289s |      24 |  3817275 |  3581162 |     5617   1571 |        0 |        0
1291.51/1292.07	c 1291s |      24 |  3822742 |  3586262 |     5617   1573 |        0 |        0
1293.61/1294.11	c 1293s |      24 |  3827318 |  3590562 |     5617   1574 |        0 |        0
1295.61/1296.13	c 1295s |      24 |  3832545 |  3595662 |     5617   1576 |        0 |        0
1297.62/1298.17	c 1297s |      24 |  3837898 |  3600562 |     5617   1577 |        0 |        0
1299.72/1300.21	c 1299s |      24 |  3843046 |  3605562 |     5617   1579 |        0 |        0
1301.71/1302.23	c 1301s |      24 |  3848511 |  3610662 |     5617   1581 |        0 |        0
1303.71/1304.24	c 1303s |      24 |  3854029 |  3615762 |     5617   1582 |        0 |        0
1305.71/1306.25	c 1305s |      24 |  3858977 |  3620362 |     5617   1584 |        0 |        0
1307.71/1308.26	c 1307s |      24 |  3863563 |  3624662 |     5617   1585 |        0 |        0
1309.81/1310.30	c 1309s |      24 |  3867811 |  3628762 |     5617   1587 |        0 |        0
1311.82/1312.34	c 1311s |      24 |  3873055 |  3633862 |     5617   1588 |        0 |        0
1313.81/1314.38	c 1313s |      24 |  3877723 |  3638262 |     5617   1590 |        0 |        0
1315.81/1316.38	c 1315s |      24 |  3882919 |  3643262 |     5617   1592 |        0 |        0
1317.91/1318.41	c 1317s |      24 |  3887547 |  3647762 |     5617   1593 |        0 |        0
1319.91/1320.44	c 1319s |      24 |  3892758 |  3652762 |     5617   1595 |        0 |        0
1321.91/1322.46	c 1321s |      24 |  3897784 |  3657662 |     5617   1596 |        0 |        0
1323.92/1324.48	c 1323s |      24 |  3902714 |  3662362 |     5617   1598 |        0 |        0
1326.01/1326.51	c 1325s |      24 |  3907587 |  3666862 |     5617   1600 |        0 |        0
1328.01/1328.55	c 1327s |      24 |  3912483 |  3671562 |     5617   1601 |        0 |        0
1330.01/1330.57	c 1329s |      24 |  3917081 |  3675962 |     5617   1603 |        0 |        0
1332.01/1332.57	c 1331s |      24 |  3922317 |  3680962 |     5617   1604 |        0 |        0
1334.11/1334.60	c 1333s |      24 |  3927150 |  3685662 |     5617   1606 |        0 |        0
1336.11/1336.61	c 1335s |      24 |  3932221 |  3690562 |     5617   1608 |        0 |        0
1338.11/1338.64	c 1337s |      24 |  3937635 |  3695762 |     5617   1609 |        0 |        0
1340.11/1340.67	c 1339s |      24 |  3943111 |  3700862 |     5617   1611 |        0 |        0
1342.11/1342.68	c 1341s |      24 |  3947929 |  3705362 |     5617   1613 |        0 |        0
1344.10/1344.68	c 1343s |      24 |  3953495 |  3710562 |     5617   1614 |        0 |        0
1346.10/1346.69	c 1345s |      24 |  3959114 |  3716062 |     5617   1616 |        0 |        0
1348.21/1348.72	c 1347s |      24 |  3965341 |  3721962 |     5617   1618 |        0 |        0
1350.20/1350.74	c 1349s |      24 |  3970906 |  3727262 |     5617   1620 |        0 |        0
1352.20/1352.77	c 1351s |      24 |  3975923 |  3732162 |     5617   1621 |        0 |        0
1354.30/1354.80	c 1353s |      24 |  3981444 |  3737562 |     5617   1623 |        0 |        0
1356.30/1356.81	c 1355s |      24 |  3986480 |  3742462 |     5617   1625 |        0 |        0
1358.30/1358.84	c 1357s |      24 |  3991723 |  3747662 |     5617   1627 |        0 |        0
1360.31/1360.84	c 1359s |      24 |  3996862 |  3752662 |     5617   1628 |        0 |        0
1362.30/1362.85	c 1361s |      24 |  4002378 |  3758062 |     5617   1630 |        0 |        0
1364.30/1364.88	c 1363s |      24 |  4007979 |  3763562 |     5617   1632 |        0 |        0
1366.40/1366.90	c 1366s |      24 |  4013730 |  3769162 |     5617   1634 |        0 |        0
1368.40/1368.91	c 1368s |      24 |  4019326 |  3774562 |     5617   1636 |        0 |        0
1370.40/1370.96	c 1370s |      24 |  4025062 |  3780162 |     5617   1638 |        0 |        0
1372.41/1372.99	c 1372s |      24 |  4030882 |  3785762 |     5617   1639 |        0 |        0
1374.51/1375.02	c 1374s |      24 |  4036222 |  3790862 |     5617   1641 |        0 |        0
1376.50/1377.03	c 1376s |      24 |  4042243 |  3796662 |     5617   1643 |        0 |        0
1378.50/1379.05	c 1378s |      24 |  4047724 |  3801962 |     5617   1645 |        0 |        0
1380.50/1381.08	c 1380s |      24 |  4053676 |  3807562 |     5617   1647 |        0 |        0
1382.60/1383.10	c 1382s |      24 |  4059543 |  3813262 |     5617   1649 |        0 |        0
1384.60/1385.11	c 1384s |      24 |  4065200 |  3818662 |     5617   1650 |        0 |        0
1386.60/1387.13	c 1386s |      24 |  4071111 |  3824462 |     5617   1652 |        0 |        0
1388.59/1389.13	c 1388s |      24 |  4076450 |  3829562 |     5617   1654 |        0 |        0
1390.59/1391.15	c 1390s |      24 |  4081938 |  3834962 |     5617   1656 |        0 |        0
1392.59/1393.18	c 1392s |      24 |  4088712 |  3841462 |     5617   1658 |        0 |        0
1394.69/1395.20	c 1394s |      24 |  4095285 |  3847762 |     5617   1660 |        0 |        0
1396.69/1397.22	c 1396s |      24 |  4099556 |  3851762 |     5617   1661 |        0 |        0
1398.70/1399.23	c 1398s |      24 |  4103524 |  3855362 |     5617   1663 |        0 |        0
1400.69/1401.23	c 1400s |      24 |  4107375 |  3858862 |     5617   1664 |        0 |        0
1402.69/1403.24	c 1402s |      24 |  4111996 |  3862962 |     5617   1665 |        0 |        0
1404.69/1405.29	c 1404s |      24 |  4115920 |  3866462 |     5617   1666 |        0 |        0
1406.79/1407.33	c 1406s |      24 |  4120756 |  3870862 |     5617   1668 |        0 |        0
1408.79/1409.37	c 1408s |      24 |  4124605 |  3874462 |     5617   1669 |        0 |        0
1410.90/1411.41	c 1410s |      24 |  4129191 |  3878362 |     5617   1670 |        0 |        0
1412.89/1413.46	c 1412s |      24 |  4132841 |  3881762 |     5617   1671 |        0 |        0
1414.89/1415.47	c 1414s |      24 |  4137180 |  3885862 |     5617   1673 |        0 |        0
1416.89/1417.50	c 1416s |      24 |  4141455 |  3889862 |     5617   1674 |        0 |        0
1418.99/1419.51	c 1418s |      24 |  4145875 |  3894062 |     5617   1676 |        0 |        0
1420.99/1421.54	c 1420s |      24 |  4150472 |  3898162 |     5617   1677 |        0 |        0
1423.00/1423.54	c 1422s |      24 |  4154807 |  3902062 |     5617   1678 |        0 |        0
1424.99/1425.57	c 1424s |      24 |  4159739 |  3906662 |     5617   1680 |        0 |        0
1426.99/1427.59	c 1426s |      24 |  4164963 |  3911562 |     5617   1681 |        0 |        0
1428.99/1429.60	c 1428s |      24 |  4169583 |  3915762 |     5617   1683 |        0 |        0
1431.09/1431.62	c 1430s |      24 |  4174225 |  3920162 |     5617   1684 |        0 |        0
1433.09/1433.63	c 1432s |      24 |  4179389 |  3925062 |     5617   1686 |        0 |        0
1435.09/1435.63	c 1434s |      24 |  4184380 |  3929462 |     5617   1687 |        0 |        0
1437.09/1437.64	c 1436s |      24 |  4189517 |  3934262 |     5617   1689 |        0 |        0
1439.09/1439.66	c 1438s |      24 |  4194199 |  3938662 |     5617   1691 |        0 |        0
1441.18/1441.71	c 1440s |      24 |  4199224 |  3943462 |     5617   1692 |        0 |        0
1443.18/1443.71	c 1442s |      24 |  4204406 |  3947962 |     5617   1694 |        0 |        0
1445.18/1445.75	c 1444s |      24 |  4210083 |  3953262 |     5617   1695 |        0 |        0
1447.19/1447.77	c 1446s |      24 |  4215064 |  3957862 |     5617   1697 |        0 |        0
1449.29/1449.82	c 1448s |      24 |  4219797 |  3962462 |     5617   1699 |        0 |        0
1451.29/1451.82	c 1450s |      24 |  4225213 |  3967662 |     5617   1700 |        0 |        0
1453.29/1453.85	c 1452s |      24 |  4230173 |  3972262 |     5617   1702 |        0 |        0
1455.29/1455.86	c 1454s |      24 |  4235491 |  3977062 |     5617   1703 |        0 |        0
1457.29/1457.87	c 1456s |      24 |  4239980 |  3980962 |     5617   1705 |        0 |        0
1459.30/1459.89	c 1459s |      24 |  4244574 |  3985262 |     5617   1706 |        0 |        0
1461.40/1461.90	c 1461s |      24 |  4249765 |  3989762 |     5617   1708 |        0 |        0
1463.39/1463.94	c 1463s |      24 |  4253916 |  3993662 |     5617   1709 |        0 |        0
1465.39/1465.94	c 1465s |      24 |  4258347 |  3997762 |     5617   1710 |        0 |        0
1467.39/1467.96	c 1467s |      24 |  4262963 |  4002062 |     5617   1712 |        0 |        0
1469.39/1469.97	c 1469s |      24 |  4267471 |  4005962 |     5617   1713 |        0 |        0
1471.40/1471.99	c 1471s |      24 |  4272032 |  4010062 |     5617   1715 |        0 |        0
1473.49/1474.01	c 1473s |      24 |  4276727 |  4014262 |     5617   1716 |        0 |        0
1475.49/1476.06	c 1475s |      24 |  4281255 |  4018262 |     5617   1717 |        0 |        0
1477.49/1478.09	c 1477s |      24 |  4286002 |  4022462 |     5617   1719 |        0 |        0
1479.59/1480.10	c 1479s |      24 |  4290977 |  4026662 |     5617   1720 |        0 |        0
1481.58/1482.12	c 1481s |      24 |  4295498 |  4030562 |     5617   1721 |        0 |        0
1483.58/1484.17	c 1483s |      24 |  4300287 |  4034562 |     5617   1723 |        0 |        0
1485.59/1486.18	c 1485s |      24 |  4305030 |  4038862 |     5617   1724 |        0 |        0
1487.68/1488.21	c 1487s |      24 |  4310197 |  4043562 |     5617   1726 |        0 |        0
1489.68/1490.22	c 1489s |      24 |  4315190 |  4048262 |     5617   1727 |        0 |        0
1491.68/1492.25	c 1491s |      24 |  4320195 |  4053062 |     5617   1729 |        0 |        0
1493.68/1494.25	c 1493s |      24 |  4325191 |  4057862 |     5617   1731 |        0 |        0
1495.68/1496.28	c 1495s |      24 |  4330932 |  4063362 |     5617   1732 |        0 |        0
1497.69/1498.30	c 1497s |      24 |  4336568 |  4068662 |     5617   1734 |        0 |        0
1499.78/1500.32	c 1499s |      24 |  4342218 |  4074062 |     5617   1736 |        0 |        0
1501.78/1502.32	c 1501s |      24 |  4347871 |  4079562 |     5617   1738 |        0 |        0
1503.78/1504.33	c 1503s |      24 |  4353586 |  4085062 |     5617   1740 |        0 |        0
1505.78/1506.34	c 1505s |      24 |  4359037 |  4090062 |     5617   1741 |        0 |        0
1507.78/1508.35	c 1507s |      24 |  4363735 |  4094462 |     5617   1743 |        0 |        0
1509.79/1510.37	c 1509s |      24 |  4368915 |  4099362 |     5617   1745 |        0 |        0
1511.88/1512.40	c 1511s |      24 |  4374737 |  4104862 |     5617   1746 |        0 |        0
1513.88/1514.43	c 1513s |      24 |  4379718 |  4109462 |     5617   1748 |        0 |        0
1515.88/1516.44	c 1515s |      24 |  4384614 |  4114162 |     5617   1749 |        0 |        0
1517.88/1518.44	c 1517s |      24 |  4390603 |  4119762 |     5617   1751 |        0 |        0
1519.88/1520.48	c 1519s |      24 |  4396327 |  4125262 |     5617   1753 |        0 |        0
1521.98/1522.51	c 1521s |      24 |  4401358 |  4130062 |     5617   1755 |        0 |        0
1523.98/1524.54	c 1523s |      24 |  4405952 |  4134362 |     5617   1756 |        0 |        0
1525.98/1526.54	c 1525s |      24 |  4409454 |  4137762 |     5617   1757 |        0 |        0
1527.98/1528.56	c 1527s |      24 |  4413087 |  4141162 |     5617   1758 |        0 |        0
1529.98/1530.57	c 1529s |      24 |  4416810 |  4144562 |     5617   1760 |        0 |        0
1531.98/1532.58	c 1531s |      24 |  4421257 |  4148762 |     5617   1761 |        0 |        0
1533.98/1534.60	c 1533s |      24 |  4425058 |  4152262 |     5617   1762 |        0 |        0
1536.07/1536.61	c 1535s |      24 |  4429200 |  4156262 |     5617   1763 |        0 |        0
1538.07/1538.62	c 1537s |      24 |  4433366 |  4160262 |     5617   1765 |        0 |        0
1540.07/1540.64	c 1539s |      24 |  4436381 |  4163162 |     5617   1766 |        0 |        0
1542.07/1542.64	c 1541s |      24 |  4440315 |  4166862 |     5617   1767 |        0 |        0
1544.07/1544.65	c 1543s |      24 |  4444520 |  4170762 |     5617   1768 |        0 |        0
1546.08/1546.68	c 1545s |      24 |  4448802 |  4174762 |     5617   1770 |        0 |        0
1548.07/1548.68	c 1547s |      24 |  4453625 |  4179162 |     5617   1771 |        0 |        0
1550.07/1550.69	c 1549s |      24 |  4457106 |  4182262 |     5617   1772 |        0 |        0
1552.17/1552.72	c 1551s |      24 |  4462284 |  4187162 |     5617   1774 |        0 |        0
1554.17/1554.75	c 1553s |      24 |  4467231 |  4191862 |     5617   1775 |        0 |        0
1556.17/1556.77	c 1555s |      24 |  4471901 |  4196162 |     5617   1777 |        0 |        0
1558.18/1558.77	c 1557s |      24 |  4476744 |  4200862 |     5617   1778 |        0 |        0
1560.17/1560.78	c 1559s |      24 |  4481124 |  4204962 |     5617   1780 |        0 |        0
1562.27/1562.83	c 1561s |      24 |  4485791 |  4209462 |     5617   1781 |        0 |        0
1564.27/1564.83	c 1563s |      24 |  4489945 |  4213262 |     5617   1782 |        0 |        0
1566.27/1566.87	c 1565s |      24 |  4494893 |  4217962 |     5617   1784 |        0 |        0
1568.37/1568.90	c 1568s |      24 |  4499589 |  4222262 |     5617   1785 |        0 |        0
1570.38/1570.92	c 1570s |      24 |  4504834 |  4227362 |     5617   1787 |        0 |        0
1572.37/1572.94	c 1572s |      24 |  4509556 |  4231862 |     5617   1789 |        0 |        0
1574.37/1574.94	c 1574s |      24 |  4514362 |  4236362 |     5617   1790 |        0 |        0
1576.37/1576.96	c 1576s |      24 |  4518948 |  4240562 |     5617   1791 |        0 |        0
1578.37/1578.97	c 1578s |      24 |  4523768 |  4244962 |     5617   1793 |        0 |        0
1580.37/1580.98	c 1580s |      24 |  4528084 |  4248862 |     5617   1794 |        0 |        0
1582.47/1583.00	c 1582s |      24 |  4532338 |  4252762 |     5617   1796 |        0 |        0
1584.46/1585.03	c 1584s |      24 |  4536722 |  4256662 |     5617   1797 |        0 |        0
1586.46/1587.09	c 1586s |      24 |  4542089 |  4261662 |     5617   1799 |        0 |        0
1588.56/1589.12	c 1588s |      24 |  4546988 |  4266062 |     5617   1800 |        0 |        0
1590.56/1591.15	c 1590s |      24 |  4551602 |  4270262 |     5617   1801 |        0 |        0
1592.56/1593.15	c 1592s |      24 |  4556764 |  4274962 |     5617   1803 |        0 |        0
1594.57/1595.15	c 1594s |      24 |  4561310 |  4279062 |     5617   1804 |        0 |        0
1596.56/1597.16	c 1596s |      24 |  4565509 |  4282862 |     5617   1806 |        0 |        0
1598.66/1599.20	c 1598s |      24 |  4570372 |  4287162 |     5617   1807 |        0 |        0
1600.66/1601.22	c 1600s |      24 |  4574230 |  4290662 |     5617   1808 |        0 |        0
1602.66/1603.27	c 1602s |      24 |  4578539 |  4294562 |     5617   1809 |        0 |        0
1604.67/1605.29	c 1604s |      24 |  4582019 |  4297862 |     5617   1811 |        0 |        0
1606.68/1607.30	c 1606s |      24 |  4586330 |  4301562 |     5617   1812 |        0 |        0
1608.67/1609.30	c 1608s |      24 |  4591074 |  4306062 |     5617   1813 |        0 |        0
1610.77/1611.33	c 1610s |      24 |  4595115 |  4309862 |     5617   1815 |        0 |        0
1612.77/1613.36	c 1612s |      24 |  4600429 |  4314862 |     5617   1816 |        0 |        0
1614.77/1615.38	c 1614s |      24 |  4605347 |  4319362 |     5617   1818 |        0 |        0
1616.87/1617.40	c 1616s |      24 |  4610833 |  4324362 |     5617   1819 |        0 |        0
1618.87/1619.42	c 1618s |      24 |  4615802 |  4328862 |     5617   1821 |        0 |        0
1620.87/1621.44	c 1620s |      24 |  4620845 |  4333562 |     5617   1822 |        0 |        0
1622.87/1623.44	c 1622s |      24 |  4626334 |  4338462 |     5617   1824 |        0 |        0
1624.87/1625.47	c 1624s |      24 |  4631751 |  4343362 |     5617   1826 |        0 |        0
1626.86/1627.48	c 1626s |      24 |  4637066 |  4348362 |     5617   1827 |        0 |        0
1628.86/1629.49	c 1628s |      24 |  4642633 |  4353362 |     5617   1829 |        0 |        0
1630.97/1631.53	c 1630s |      24 |  4647339 |  4357762 |     5617   1831 |        0 |        0
1632.97/1633.56	c 1632s |      24 |  4653478 |  4363662 |     5617   1832 |        0 |        0
1634.96/1635.56	c 1634s |      24 |  4658255 |  4368262 |     5617   1834 |        0 |        0
1636.96/1637.56	c 1636s |      24 |  4661817 |  4371662 |     5617   1835 |        0 |        0
1638.96/1639.58	c 1638s |      24 |  4666379 |  4375962 |     5617   1837 |        0 |        0
1641.06/1641.61	c 1640s |      24 |  4670235 |  4379562 |     5617   1838 |        0 |        0
1643.06/1643.64	c 1642s |      24 |  4674847 |  4383762 |     5617   1839 |        0 |        0
1645.07/1645.67	c 1644s |      24 |  4678793 |  4387362 |     5617   1840 |        0 |        0
1647.16/1647.73	c 1646s |      24 |  4683179 |  4391362 |     5617   1842 |        0 |        0
1649.16/1649.79	c 1648s |      24 |  4687742 |  4395662 |     5617   1843 |        0 |        0
1651.26/1651.81	c 1650s |      24 |  4691989 |  4399562 |     5617   1844 |        0 |        0
1653.26/1653.84	c 1652s |      24 |  4697790 |  4405162 |     5617   1846 |        0 |        0
1655.26/1655.86	c 1654s |      24 |  4703302 |  4410462 |     5617   1848 |        0 |        0
1657.27/1657.87	c 1656s |      24 |  4708808 |  4415662 |     5617   1850 |        0 |        0
1659.26/1659.88	c 1658s |      24 |  4714335 |  4420862 |     5617   1852 |        0 |        0
1661.36/1661.90	c 1661s |      24 |  4720077 |  4426362 |     5617   1853 |        0 |        0
1663.36/1663.91	c 1663s |      24 |  4725607 |  4431662 |     5617   1855 |        0 |        0
1665.36/1665.93	c 1665s |      24 |  4731337 |  4436962 |     5617   1857 |        0 |        0
1667.36/1667.93	c 1667s |      24 |  4736629 |  4441962 |     5617   1859 |        0 |        0
1669.36/1669.96	c 1669s |      24 |  4742637 |  4447462 |     5617   1860 |        0 |        0
1671.36/1671.97	c 1671s |      24 |  4747995 |  4452562 |     5617   1862 |        0 |        0
1673.36/1673.99	c 1673s |      24 |  4753599 |  4457862 |     5617   1864 |        0 |        0
1675.46/1676.00	c 1675s |      24 |  4758221 |  4461962 |     5617   1865 |        0 |        0
1677.46/1678.04	c 1677s |      24 |  4762978 |  4466462 |     5617   1867 |        0 |        0
1679.45/1680.07	c 1679s |      24 |  4767805 |  4470962 |     5617   1868 |        0 |        0
1681.46/1682.09	c 1681s |      24 |  4772819 |  4475762 |     5617   1870 |        0 |        0
1683.56/1684.12	c 1683s |      24 |  4778335 |  4480962 |     5617   1872 |        0 |        0
1685.55/1686.13	c 1685s |      24 |  4783440 |  4485662 |     5617   1873 |        0 |        0
1687.55/1688.16	c 1687s |      24 |  4787907 |  4489762 |     5617   1874 |        0 |        0
1689.55/1690.19	c 1689s |      24 |  4792511 |  4494062 |     5617   1876 |        0 |        0
1691.65/1692.25	c 1691s |      24 |  4797558 |  4498762 |     5617   1877 |        0 |        0
1693.65/1694.26	c 1693s |      24 |  4802652 |  4503562 |     5617   1879 |        0 |        0
1695.66/1696.27	c 1695s |      24 |  4807451 |  4508062 |     5617   1881 |        0 |        0
1697.65/1698.27	c 1697s |      24 |  4812309 |  4512462 |     5617   1882 |        0 |        0
1699.65/1700.28	c 1699s |      24 |  4817272 |  4517162 |     5617   1884 |        0 |        0
1701.75/1702.34	c 1701s |      24 |  4821975 |  4521562 |     5617   1885 |        0 |        0
1703.75/1704.36	c 1703s |      24 |  4826512 |  4525762 |     5617   1886 |        0 |        0
1705.75/1706.37	c 1705s |      24 |  4831504 |  4530462 |     5617   1888 |        0 |        0
1707.76/1708.37	c 1707s |      24 |  4836102 |  4534762 |     5617   1889 |        0 |        0
1709.75/1710.37	c 1709s |      24 |  4841222 |  4539562 |     5617   1891 |        0 |        0
1711.75/1712.39	c 1711s |      24 |  4846839 |  4544862 |     5617   1893 |        0 |        0
1713.85/1714.43	c 1713s |      24 |  4851938 |  4549762 |     5617   1894 |        0 |        0
1715.85/1716.44	c 1715s |      24 |  4857770 |  4555262 |     5617   1896 |        0 |        0
1717.85/1718.44	c 1717s |      24 |  4862961 |  4560262 |     5617   1898 |        0 |        0
1719.85/1720.47	c 1719s |      24 |  4866958 |  4563962 |     5617   1899 |        0 |        0
1721.85/1722.48	c 1721s |      24 |  4871682 |  4568462 |     5617   1901 |        0 |        0
1723.85/1724.49	c 1723s |      24 |  4876254 |  4572762 |     5617   1902 |        0 |        0
1725.95/1726.51	c 1725s |      24 |  4881160 |  4577362 |     5617   1904 |        0 |        0
1727.95/1728.55	c 1727s |      24 |  4885915 |  4581762 |     5617   1905 |        0 |        0
1729.95/1730.57	c 1729s |      24 |  4890392 |  4586062 |     5617   1907 |        0 |        0
1731.95/1732.59	c 1731s |      24 |  4894918 |  4590362 |     5617   1908 |        0 |        0
1734.05/1734.62	c 1733s |      24 |  4899260 |  4594362 |     5617   1909 |        0 |        0
1736.05/1736.63	c 1735s |      24 |  4903752 |  4598662 |     5617   1911 |        0 |        0
1738.04/1738.64	c 1737s |      24 |  4909106 |  4603862 |     5617   1912 |        0 |        0
1740.04/1740.68	c 1739s |      24 |  4913591 |  4608062 |     5617   1914 |        0 |        0
1742.14/1742.72	c 1741s |      24 |  4918164 |  4612362 |     5617   1915 |        0 |        0
1744.15/1744.75	c 1743s |      24 |  4922884 |  4616862 |     5617   1917 |        0 |        0
1746.14/1746.77	c 1745s |      24 |  4927136 |  4620862 |     5617   1918 |        0 |        0
1748.14/1748.77	c 1747s |      24 |  4931864 |  4625262 |     5617   1920 |        0 |        0
1750.14/1750.78	c 1749s |      24 |  4936579 |  4629662 |     5617   1921 |        0 |        0
1752.14/1752.79	c 1751s |      24 |  4941325 |  4634062 |     5617   1923 |        0 |        0
1754.24/1754.83	c 1753s |      24 |  4945923 |  4638362 |     5617   1924 |        0 |        0
1756.25/1756.83	c 1755s |      24 |  4950219 |  4642262 |     5617   1925 |        0 |        0
1758.24/1758.86	c 1757s |      24 |  4954638 |  4646462 |     5617   1927 |        0 |        0
1760.24/1760.88	c 1759s |      24 |  4959193 |  4650762 |     5617   1928 |        0 |        0
1762.34/1762.96	c 1762s |      24 |  4963543 |  4654962 |     5617   1930 |        0 |        0
1764.44/1765.01	c 1764s |      24 |  4967930 |  4659162 |     5617   1931 |        0 |        0
1766.44/1767.04	c 1766s |      24 |  4972881 |  4663862 |     5617   1932 |        0 |        0
1768.54/1769.10	c 1768s |      24 |  4977551 |  4668162 |     5617   1934 |        0 |        0
1770.54/1771.13	c 1770s |      24 |  4982162 |  4672362 |     5617   1935 |        0 |        0
1772.54/1773.16	c 1772s |      24 |  4986203 |  4675962 |     5617   1937 |        0 |        0
1774.54/1775.18	c 1774s |      24 |  4990783 |  4680262 |     5617   1938 |        0 |        0
1776.53/1777.18	c 1776s |      24 |  4995287 |  4684562 |     5617   1939 |        0 |        0
1778.63/1779.21	c 1778s |      24 |  4999897 |  4688962 |     5617   1941 |        0 |        0
1780.63/1781.21	c 1780s |      24 |  5004451 |  4693262 |     5617   1942 |        0 |        0
1782.64/1783.24	c 1782s |      24 |  5009693 |  4698062 |     5617   1944 |        0 |        0
1784.63/1785.26	c 1784s |      24 |  5014372 |  4702462 |     5617   1945 |        0 |        0
1786.63/1787.29	c 1786s |      24 |  5019514 |  4707362 |     5617   1947 |        0 |        0
1788.73/1789.30	c 1788s |      24 |  5024137 |  4711762 |     5617   1948 |        0 |        0
1790.73/1791.34	c 1790s |      24 |  5028567 |  4716062 |     5617   1950 |        0 |        0
1792.73/1793.37	c 1792s |      24 |  5032959 |  4720162 |     5617   1951 |        0 |        0
1794.74/1795.38	c 1794s |      24 |  5037567 |  4724562 |     5617   1953 |        0 |        0
1796.84/1797.42	c 1796s |      24 |  5041945 |  4728762 |     5617   1954 |        0 |        0
1798.83/1799.43	c 1798s |      24 |  5046897 |  4733462 |     5617   1956 |        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-4106475-1466272176/watcher-4106475-1466272176 -o /tmp/evaluation-result-4106475-1466272176/solver-4106475-1466272176 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106475-1466272176.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.32 2.26 2.19 4/181 22626
/proc/meminfo: memFree=28915132/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 2640 0 0 0 0 0 0 0 20 0 4 0 29263576 726069248 3001 33554432000 4194304 16246674 140734184402640 140734184402064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22626/statm: 177775 3011 441 2943 0 174669 0
[pid=22626/tid=22627] ppid=22623 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 741797888 3060 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 742846464 3066 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 742846464 3068 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.32 2.26 2.19 4/181 22626
/proc/meminfo: memFree=28915132/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 20591 0 0 0 6 3 0 0 20 0 4 0 29263576 1247350784 20939 33554432000 4194304 16246674 140734184402640 140734184402064 5545885 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22626/statm: 304529 20947 758 2943 0 301423 0
[pid=22626/tid=22627] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 20953 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 20959 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 20965 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20054 s]
/proc/loadavg: 2.32 2.26 2.19 4/181 22626
/proc/meminfo: memFree=28915132/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 36074 0 0 0 14 5 0 0 20 0 4 0 29263576 1247350784 36422 33554432000 4194304 16246674 140734184402640 140734184402064 5546500 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22626/statm: 304529 36428 758 2943 0 301423 0
[pid=22626/tid=22627] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 36433 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 36440 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 36445 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300422 s]
/proc/loadavg: 2.32 2.26 2.19 4/181 22626
/proc/meminfo: memFree=28915132/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 52706 0 0 0 22 7 0 0 20 0 4 0 29263576 1247350784 53054 33554432000 4194304 16246674 140734184402640 140734184402064 6020448 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22626/statm: 304529 53062 760 2943 0 301423 0
[pid=22626/tid=22627] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 53072 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 53075 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 53077 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700359 s]
/proc/loadavg: 2.32 2.26 2.19 4/181 22626
/proc/meminfo: memFree=28915132/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 119870 0 0 0 52 17 0 0 20 0 4 0 29263576 1247350784 120218 33554432000 4194304 16246674 140734184402640 140734184402064 12478070 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22626/statm: 304529 120225 767 2943 0 301423 0
[pid=22626/tid=22627] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 120229 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 120235 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 120241 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50035 s]
/proc/loadavg: 2.32 2.26 2.19 4/185 22630
/proc/meminfo: memFree=28183048/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 242045 0 0 0 115 34 0 0 20 0 4 0 29263576 1247350784 242392 33554432000 4194304 16246674 140734184402640 140734184384512 13759916 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22626/statm: 304529 242398 795 2943 0 301423 0
[pid=22626/tid=22627] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 242403 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 242407 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1247350784 242407 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10037 s]
/proc/loadavg: 2.32 2.26 2.19 3/185 22630
/proc/meminfo: memFree=27929840/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 266828 0 0 0 271 38 0 0 20 0 4 0 29263576 1334382592 267153 33554432000 4194304 16246674 140734184402640 140734184384512 13760224 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22626/statm: 325777 267153 853 2943 0 322671 0
[pid=22626/tid=22627] ppid=22623 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1334382592 267153 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1334382592 267153 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1334382592 267153 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30036 s]
/proc/loadavg: 2.29 2.26 2.19 3/185 22630
/proc/meminfo: memFree=27842780/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 267770 0 0 0 590 38 0 0 20 0 4 0 29263576 1338576896 268095 33554432000 4194304 16246674 140734184402640 140734184384512 5677273 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22626/statm: 326801 268095 853 2943 0 323695 0
[pid=22626/tid=22627] ppid=22623 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1338576896 268095 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1338576896 268095 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1338576896 268095 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.27 2.25 2.19 3/185 22630
/proc/meminfo: memFree=27841700/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 268094 0 0 0 1230 38 0 0 20 0 4 0 29263576 1339625472 268419 33554432000 4194304 16246674 140734184402640 140734184384512 13965578 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22626/statm: 327057 268419 853 2943 0 323951 0
[pid=22626/tid=22627] ppid=22623 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1339625472 268419 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1339625472 268419 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1339625472 268419 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.21 2.24 2.19 3/186 22633
/proc/meminfo: memFree=27839364/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1310276 CPUtime=25.48 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 268666 0 0 0 2509 39 0 0 20 0 4 0 29263576 1341722624 268991 33554432000 4194304 16246674 140734184402640 140734184384512 5717462 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22626/statm: 327569 268991 853 2943 0 324463 0
[pid=22626/tid=22627] ppid=22623 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1341722624 268991 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1341722624 268991 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1341722624 268991 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.27 2.25 2.19 4/186 22633
/proc/meminfo: memFree=27839848/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1310276 CPUtime=51.07 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 268666 0 0 0 5068 39 0 0 20 0 4 0 29263576 1341722624 268991 33554432000 4194304 16246674 140734184402640 140734184384512 5754976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22626/statm: 327569 268991 853 2943 0 324463 0
[pid=22626/tid=22627] ppid=22623 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1341722624 268991 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1341722624 268991 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1341722624 268991 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/184 22634
/proc/meminfo: memFree=27831540/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1318468 CPUtime=102.27 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 270714 0 0 0 10187 40 0 0 20 0 4 0 29263576 1350111232 271039 33554432000 4194304 16246674 140734184402640 140734184384512 5600856 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22626/statm: 329617 271039 853 2943 0 326511 0
[pid=22626/tid=22627] ppid=22623 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1350111232 271039 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1350111232 271039 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1350111232 271039 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1318468


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

/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 272874 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1325636

[startup+1302.3 s]
/proc/loadavg: 2.35 2.35 2.25 3/185 22883
/proc/meminfo: memFree=27834448/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1325636 CPUtime=1301.81 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 272824 0 0 0 130133 48 0 0 20 0 4 0 29263576 1357451264 272971 33554432000 4194304 16246674 140734184402640 140734184385632 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22626/statm: 331409 272971 854 2943 0 328303 0
[pid=22626/tid=22627] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 272971 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 272971 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 272971 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.38 2.36 2.26 3/185 22885
/proc/meminfo: memFree=27834476/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1325636 CPUtime=1361.8 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 272824 0 0 0 136132 48 0 0 20 0 4 0 29263576 1357451264 272971 33554432000 4194304 16246674 140734184402640 140734184384512 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22626/statm: 331409 272971 854 2943 0 328303 0
[pid=22626/tid=22627] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 272971 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 272971 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 272971 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1325636

[startup+1422.3 s]
/proc/loadavg: 2.25 2.32 2.25 4/185 22886
/proc/meminfo: memFree=27832664/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1325636 CPUtime=1421.8 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 272941 0 0 0 142132 48 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 140734184384512 12415676 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22626/statm: 331409 273088 854 2943 0 328303 0
[pid=22626/tid=22627] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1325636

[startup+1482.3 s]
/proc/loadavg: 2.41 2.35 2.27 3/185 22887
/proc/meminfo: memFree=27832832/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1325636 CPUtime=1481.78 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 272941 0 0 0 148129 49 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 140734184384512 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22626/statm: 331409 273088 854 2943 0 328303 0
[pid=22626/tid=22627] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1325636

[startup+1542.31 s]
/proc/loadavg: 2.59 2.41 2.29 4/185 22888
/proc/meminfo: memFree=27832732/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1325636 CPUtime=1541.78 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 272941 0 0 0 154129 49 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 140734184384512 5677273 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22626/statm: 331409 273088 854 2943 0 328303 0
[pid=22626/tid=22627] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1325636

[startup+1602.3 s]
/proc/loadavg: 2.37 2.37 2.28 3/185 22889
/proc/meminfo: memFree=27832608/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1325636 CPUtime=1601.76 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 272941 0 0 0 160127 49 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 140734184384512 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22626/statm: 331409 273088 854 2943 0 328303 0
[pid=22626/tid=22627] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1325636

[startup+1662.3 s]
/proc/loadavg: 2.40 2.38 2.28 3/185 22891
/proc/meminfo: memFree=27832268/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1325636 CPUtime=1661.76 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 272941 0 0 0 166126 50 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 140734184384512 6021616 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22626/statm: 331409 273088 854 2943 0 328303 0
[pid=22626/tid=22627] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1325636

[startup+1722.3 s]
/proc/loadavg: 2.54 2.42 2.30 4/185 22892
/proc/meminfo: memFree=27832544/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1325636 CPUtime=1721.75 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 272941 0 0 0 172125 50 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 140734184384512 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22626/statm: 331409 273088 854 2943 0 328303 0
[pid=22626/tid=22627] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1325636

[startup+1782.3 s]
/proc/loadavg: 2.41 2.40 2.30 3/185 22893
/proc/meminfo: memFree=27832528/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1325636 CPUtime=1781.73 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 272941 0 0 0 178123 50 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 140734184384512 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22626/statm: 331409 273088 854 2943 0 328303 0
[pid=22626/tid=22627] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1325636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.37 2.39 2.29 4/185 22893
/proc/meminfo: memFree=27832528/32872528 swapFree=1505436/1685308
[pid=22626] ppid=22623 vsize=1325636 CPUtime=1800.03 cores=0,2,4,6
/proc/22626/stat : 22626 (toysat) R 22623 22626 21389 0 -1 4202496 272941 0 0 0 179953 50 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 140734184384512 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22626/statm: 331409 273088 854 2943 0 328303 0
[pid=22626/tid=22627] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22627/stat : 22627 (toysat) S 22623 22626 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828965387504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22626/tid=22628] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22628/stat : 22628 (toysat) S 22623 22626 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828954897648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22626/tid=22629] ppid=22623 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/22626/task/22629/stat : 22629 (toysat) S 22623 22626 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29263576 1357451264 273088 33554432000 4194304 16246674 140734184402640 139828834331824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1325636

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.54
CPU system time (s): 0.509922
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.509922
maximum resident set size= 1092352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272941
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= 449
involuntary context switches= 2547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6541 second user time and 16.6785 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-18 19:49:36
IDJOB=4106475
IDBENCH=48074
IDSOLVER=2542
FILE ID=node135/4106475-1466272176
RUNJOBID= node135-1466266561-21405
PBS_JOBID= 19918237
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=107-P1=89-P2=97-P3=41-P4=137-P5=181-P6=11-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106475-1466272176/watcher-4106475-1466272176 -o /tmp/evaluation-result-4106475-1466272176/solver-4106475-1466272176 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106475-1466272176.opb

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

MD5SUM BENCH= 931666055852afe6f909d62fafedf38c
RANDOM SEED=1291013720

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.004
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		: 2667.004
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:        28915404 kB
Buffers:          156056 kB
Cached:           282372 kB
SwapCached:          716 kB
Active:          1230560 kB
Inactive:         300772 kB
Active(anon):    1093948 kB
Inactive(anon):     1308 kB
Active(file):     136612 kB
Inactive(file):   299464 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:             16204 kB
Writeback:             0 kB
AnonPages:       2777800 kB
Mapped:            10672 kB
Shmem:                 0 kB
Slab:             605352 kB
SReclaimable:      49132 kB
SUnreclaim:       556220 kB
KernelStack:        1464 kB
PageTables:         9544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2918168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    655360 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= 71672 MiB
End job on node135 at 2016-06-18 20:19:37