Trace number 4078903

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.61

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-07T10:10: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-4078903-1465287037.opb"]
0.00/0.01	c use --random-gen="4061895887 558888941 2517181215 1108205888 1206709393 1047241401 2407343398 1938229829 4176970270 866563509 1648767072 3956091496 2948549208 3584768883 3969494521 3941698542 3962479964 3427553085 2423359285 3830696237 2918020256 3560943490 1453915767 1341336463 3569344413 1931027777 1783294657 3914840502 2263249795 2774504900 2746715766 2214681036 4204796912 1031118707 355790299 2352806207 4191341871 3408559032 3265745476 3223868075 1840959431 3348409565 1814116543 2484187013 990593041 1348268499 558869302 2229513232 910644598 3052040690 3237993632 2053220461 423435446 1949486552 2788776119 578622764 2747502751 1653699988 2320259069 3225489669 2819443517 141996549 1738321592 473526264 1373933836 3976521439 1790576142 332483249 3331300685 1800924483 3752102361 872788897 1056470965 640264493 1852359101 386539870 425042809 2349862344 3034950030 491288271 3099765488 4163194380 2943633125 2292584718 587149514 2126563849 3393579379 2199571314 2726601337 1798659187 3461394853 2834480428 1253514808 4193840762 2836567303 3774155631 1296204429 1079068308 3522895957 2146841833 65751345 2668104866 1382586383 1462232226 2419326462 1054363349 3139221679 976505152 88989046 3729553420 3305487845 1435017339 2368648540 4140217501 3790015546 2430111970 2550995204 2409660051 758717007 71065389 269777169 472969436 736326566 2334636607 2763880111 789703412 1110774716 2032186082 1762721534 2158479307 1224157117 1894126042 1786796466 3313120511 2382325676 291867438 1340233559 2025000197 4145518446 3333624552 3011475529 752084736 1297338304 2225095409 1411879989 2170841797 3562556852 894621272 2510673833 3931754550 4151187400 616124794 3353602525 3613399795 3492361651 2158715674 537931922 1980258187 2835247479 2129352015 4262641934 1959419447 1223877491 2290395738 1151113293 3124888520 1670254211 1137328820 1215085966 3840901611 725680510 242677953 1208516878 3781269220 2483488656 141131236 3363040769 753415898 987465940 2852901147 3535769736 1448367689 1243088650 3933407916 2601028390 2656684547 2955835285 1755266554 1159140543 1246437386 105233432 1070500762 1018084832 242995445 1953311079 3247521765 2684788554 273542193 2549336996 592540943 2657335278 4232856175 2531125532 1517452950 1335194004 1587225723 1953090874 3216722385 693081984 2522225412 862081639 428949302 3562605330 3751815035 492556541 688499396 565343529 2986811062 2521136535 3110895474 2572804731 2839366822 3006539246 1931061164 2232363624 3798837450 1990652148 376329604 3075925264 2051019515 518893524 1442592101 200241295 3843759958 2089654461 41174488 2604591353 6375788 1694248325 1017574480 249896924 1033533473 2810238020 3899694485 3840209337 3957236028 3724241913 2432623674 2777000003 4261307817 96183318 717816339 2611711796 838021177 1764496793 2234612346 255 362436" option to reproduce the execution
0.19/0.25	c #vars 17612
0.19/0.25	c #constraints 17910
0.59/0.66	c Solving starts ...
0.59/0.66	c ============================[ Search Statistics ]============================
0.59/0.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.66	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.66	c =============================================================================
0.59/0.67	c  0.0s |       0 |        0 |        0 |    11840      0 |      742 |        0
1.59/1.64	c  1.0s |       1 |     8932 |      100 |    11840      0 |      743 |      634
2.19/2.21	c  1.5s |       2 |    12015 |      250 |    13025      0 |      743 |      634
2.78/2.82	c  2.2s |       3 |    24591 |      475 |    14328      0 |      744 |      635
3.78/3.84	c  3.2s |       4 |    43121 |      813 |    15761      0 |      745 |      636
4.78/4.86	c  4.2s |       5 |    53633 |     1320 |    17338      0 |      747 |      638
6.48/6.52	c  5.9s |       6 |    79008 |     2081 |    20980      0 |      747 |      638
8.48/8.55	c  7.9s |       6 |   106221 |     2981 |    20980      0 |      749 |      640
9.08/9.17	c  8.5s |       7 |   119201 |     3223 |    23079      0 |      749 |      640
11.09/11.18	c 10.5s |       7 |   142813 |     4023 |    23079      0 |      749 |      640
13.08/13.19	c 12.5s |       7 |   164247 |     4923 |    25387      0 |      749 |      640
13.19/13.22	c 12.6s |       8 |   164779 |     4936 |    25387      0 |      749 |      640
15.18/15.26	c 14.6s |       8 |   200411 |     5536 |    25387      0 |      749 |      640
17.18/17.27	c 16.6s |       8 |   223839 |     6336 |    25387      0 |      751 |      642
19.18/19.29	c 18.6s |       8 |   252478 |     7036 |    25387      0 |      752 |      643
20.58/20.67	c 20.0s |       9 |   272206 |     7506 |    27926      0 |      752 |      643
22.78/22.82	c 22.2s |       9 |   304234 |     8206 |    27926      0 |      754 |      645
24.88/24.95	c 24.3s |       9 |   324672 |     9006 |    27926      0 |      755 |      646
27.08/27.17	c 26.5s |       9 |   351736 |     9906 |    27926      0 |      755 |      646
29.28/29.30	c 28.6s |       9 |   374909 |    10606 |    27926      0 |      755 |      646
31.38/31.47	c 30.8s |      10 |   385098 |    11361 |    30719      0 |      755 |      646
33.68/33.75	c 33.1s |      10 |   416069 |    12061 |    30719      0 |      755 |      646
35.78/35.82	c 35.2s |      10 |   435505 |    12761 |    30719      0 |      755 |      646
37.78/37.84	c 37.2s |      10 |   453850 |    13561 |    30719      0 |      755 |      646
39.98/40.01	c 39.3s |      10 |   482869 |    14261 |    30719      0 |      756 |      647
41.98/42.07	c 41.4s |      10 |   502893 |    14961 |    30719      0 |      758 |      649
44.38/44.42	c 43.8s |      10 |   529975 |    15761 |    30719      0 |      759 |      650
46.48/46.51	c 45.9s |      10 |   544873 |    16461 |    30719      0 |      759 |      650
48.48/48.55	c 47.9s |      11 |   568740 |    17144 |    33791      0 |      760 |      651
50.88/50.91	c 50.3s |      11 |   585837 |    17744 |    33791      0 |      760 |      651
53.07/53.12	c 52.5s |      11 |   605545 |    18644 |    33791      0 |      760 |      651
55.47/55.52	c 54.9s |      11 |   630992 |    19444 |    33791      0 |      760 |      651
57.67/57.76	c 57.1s |      11 |   633402 |    19944 |    33791      0 |      760 |      651
59.77/59.83	c 59.2s |      11 |   643287 |    20444 |    33791      0 |      761 |      652
61.97/62.05	c 61.4s |      11 |   657864 |    21044 |    33791      0 |      762 |      653
63.97/64.07	c 63.4s |      11 |   673147 |    21744 |    33791      0 |      762 |      653
66.27/66.32	c 65.7s |      11 |   700950 |    22444 |    33791      0 |      762 |      653
68.28/68.37	c 67.7s |      11 |   717794 |    23244 |    33791      0 |      762 |      653
70.57/70.62	c 70.0s |      11 |   746393 |    23844 |    33791      0 |      762 |      653
72.68/72.78	c 72.1s |      11 |   761093 |    24444 |    33791      0 |      762 |      653
74.88/74.93	c 74.3s |      11 |   782440 |    25044 |    33791      0 |      762 |      653
77.17/77.24	c 76.6s |      11 |   806944 |    25644 |    33791      0 |      762 |      653
77.97/78.02	c 77.4s |      12 |   816306 |    25819 |    37171      0 |      762 |      653
79.97/80.05	c 79.4s |      12 |   833453 |    26319 |    37171      0 |      762 |      653
82.07/82.16	c 81.5s |      12 |   848622 |    26919 |    37171      0 |      762 |      653
84.17/84.29	c 83.6s |      12 |   861857 |    27519 |    37171      0 |      763 |      654
86.27/86.32	c 85.7s |      12 |   864854 |    28119 |    37171      0 |      763 |      654
88.37/88.45	c 87.8s |      12 |   883204 |    28719 |    37171      0 |      763 |      654
90.47/90.56	c 89.9s |      12 |   898332 |    29319 |    37171      0 |      763 |      654
92.77/92.80	c 92.1s |      12 |   905210 |    30019 |    37171      0 |      763 |      654
94.77/94.83	c 94.2s |      12 |   906593 |    30419 |    37171      0 |      763 |      654
97.17/97.23	c 96.6s |      12 |   908370 |    30819 |    37171      0 |      763 |      654
99.57/99.69	c 99.0s |      12 |   909217 |    31219 |    37171      0 |      763 |      654
101.87/101.93	c  101s |      12 |   928964 |    31819 |    37171      0 |      763 |      654
104.17/104.23	c  103s |      12 |   942543 |    32519 |    37171      0 |      763 |      654
106.37/106.43	c  105s |      12 |   950052 |    33119 |    37171      0 |      763 |      654
108.57/108.64	c  107s |      12 |   965511 |    33819 |    37171      0 |      763 |      654
110.97/111.05	c  110s |      12 |   985813 |    34519 |    37171      0 |      763 |      654
113.07/113.17	c  112s |      12 |   999547 |    35119 |    37171      0 |      763 |      654
115.58/115.61	c  114s |      12 |  1013733 |    35719 |    37171      0 |      764 |      655
117.78/117.83	c  117s |      12 |  1035243 |    36319 |    37171      0 |      764 |      655
120.17/120.21	c  119s |      12 |  1048058 |    36919 |    37171      0 |      764 |      655
122.27/122.33	c  121s |      12 |  1071476 |    37419 |    37171      0 |      764 |      655
124.38/124.45	c  123s |      12 |  1091257 |    37919 |    37171      0 |      765 |      656
126.58/126.68	c  126s |      12 |  1105286 |    38519 |    37171      0 |      765 |      656
127.77/127.88	c  127s |      13 |  1114121 |    38832 |    40889      0 |      765 |      656
129.97/130.06	c  129s |      13 |  1131449 |    39232 |    40889      0 |      765 |      656
132.37/132.44	c  131s |      13 |  1143739 |    39832 |    40889      0 |      765 |      656
134.47/134.50	c  133s |      13 |  1151406 |    40332 |    40889      0 |      765 |      656
136.47/136.57	c  135s |      13 |  1163945 |    40832 |    40889      0 |      765 |      656
138.47/138.58	c  137s |      13 |  1178339 |    41332 |    40889      0 |      765 |      656
140.67/140.77	c  140s |      13 |  1196625 |    42032 |    40889      0 |      765 |      656
142.87/142.91	c  142s |      13 |  1199875 |    42632 |    40889      0 |      765 |      656
145.07/145.16	c  144s |      13 |  1212407 |    43232 |    40889      0 |      765 |      656
147.17/147.29	c  146s |      13 |  1228958 |    43732 |    40889      0 |      765 |      656
149.37/149.47	c  148s |      13 |  1243063 |    44032 |    40889      1 |      766 |      657
151.67/151.70	c  151s |      13 |  1261007 |    44732 |    40889      1 |      766 |      657
153.76/153.89	c  153s |      13 |  1271280 |    45432 |    40889      1 |      766 |      657
155.86/155.90	c  155s |      13 |  1281672 |    46032 |    40889      1 |      766 |      657
157.96/158.01	c  157s |      13 |  1289168 |    46532 |    40889      1 |      766 |      657
160.36/160.48	c  159s |      13 |  1291602 |    47032 |    40889      1 |      766 |      657
162.46/162.56	c  161s |      13 |  1297225 |    47432 |    40889      1 |      766 |      657
164.56/164.69	c  164s |      13 |  1318585 |    47932 |    40889      1 |      767 |      658
166.66/166.73	c  166s |      13 |  1338153 |    48532 |    40889      1 |      767 |      658
169.06/169.19	c  168s |      13 |  1346167 |    49232 |    40889      1 |      767 |      658
171.46/171.52	c  170s |      13 |  1363289 |    49932 |    40889      1 |      767 |      658
173.56/173.68	c  173s |      13 |  1382619 |    50432 |    40889      1 |      767 |      658
175.97/176.08	c  175s |      13 |  1408908 |    51032 |    40889      1 |      767 |      658
178.27/178.36	c  177s |      13 |  1420721 |    51632 |    40889      1 |      767 |      658
180.26/180.37	c  179s |      13 |  1439313 |    52132 |    40889      1 |      767 |      658
182.86/182.96	c  182s |      13 |  1455696 |    52732 |    40889      1 |      768 |      659
185.16/185.24	c  184s |      13 |  1470003 |    53332 |    40889      1 |      768 |      659
187.36/187.48	c  186s |      13 |  1484861 |    53932 |    40889      1 |      768 |      659
189.46/189.50	c  188s |      13 |  1501997 |    54332 |    40889      1 |      769 |      660
191.46/191.53	c  190s |      13 |  1516016 |    54832 |    40889      1 |      769 |      660
193.46/193.56	c  192s |      13 |  1528608 |    55432 |    40889      1 |      769 |      660
195.66/195.77	c  195s |      13 |  1547776 |    56032 |    40889      1 |      769 |      660
197.96/198.00	c  197s |      13 |  1569927 |    56632 |    40889      1 |      769 |      660
200.26/200.33	c  199s |      13 |  1589204 |    57332 |    40889      1 |      769 |      660
202.25/202.33	c  201s |      13 |  1605411 |    57832 |    40889      1 |      769 |      660
203.85/204.00	c  203s |      14 |  1617790 |    58352 |    44978      1 |      769 |      660
206.15/206.20	c  205s |      14 |  1619525 |    58652 |    44978      1 |      769 |      660
208.15/208.28	c  207s |      14 |  1636025 |    59052 |    44978      1 |      769 |      660
210.45/210.57	c  209s |      14 |  1658188 |    59552 |    44978      1 |      769 |      660
212.65/212.74	c  212s |      14 |  1670164 |    60352 |    44978      1 |      769 |      660
214.95/215.03	c  214s |      14 |  1683759 |    60852 |    44978      1 |      769 |      660
216.95/217.06	c  216s |      14 |  1699168 |    61252 |    44978      1 |      769 |      660
219.35/219.49	c  218s |      14 |  1711303 |    61652 |    44978      1 |      770 |      661
221.45/221.59	c  220s |      14 |  1714702 |    62252 |    44978      1 |      770 |      661
223.65/223.72	c  223s |      14 |  1722247 |    62852 |    44978      1 |      770 |      661
225.65/225.75	c  225s |      14 |  1740256 |    63352 |    44978      1 |      770 |      661
227.76/227.84	c  227s |      14 |  1755412 |    63952 |    44978      1 |      770 |      661
229.96/230.05	c  229s |      14 |  1770067 |    64752 |    44978      1 |      770 |      661
232.25/232.33	c  231s |      14 |  1785103 |    65352 |    44978      1 |      770 |      661
234.45/234.56	c  233s |      14 |  1793292 |    66052 |    44978      1 |      770 |      661
236.55/236.65	c  235s |      14 |  1808566 |    66652 |    44978      1 |      770 |      661
238.65/238.74	c  238s |      14 |  1822437 |    67152 |    44978      1 |      770 |      661
240.75/240.90	c  240s |      14 |  1830048 |    67652 |    44978      1 |      770 |      661
242.85/242.94	c  242s |      14 |  1835038 |    68152 |    44978      1 |      770 |      661
245.25/245.33	c  244s |      14 |  1837417 |    68652 |    44978      1 |      770 |      661
247.45/247.53	c  246s |      14 |  1851423 |    69152 |    44978      1 |      770 |      661
249.84/249.92	c  249s |      14 |  1864304 |    69752 |    44978      1 |      770 |      661
252.04/252.14	c  251s |      14 |  1876366 |    70552 |    44978      1 |      770 |      661
254.24/254.39	c  253s |      14 |  1887020 |    71052 |    44978      1 |      770 |      661
256.64/256.77	c  256s |      14 |  1889192 |    71452 |    44978      1 |      770 |      661
258.84/258.92	c  258s |      14 |  1897684 |    71952 |    44978      1 |      770 |      661
261.04/261.12	c  260s |      14 |  1902644 |    72352 |    44978      1 |      770 |      661
263.14/263.25	c  262s |      14 |  1907526 |    72652 |    44978      2 |      770 |      661
265.44/265.58	c  264s |      14 |  1926069 |    73352 |    44978      2 |      770 |      661
267.64/267.79	c  267s |      14 |  1937162 |    73952 |    44978      2 |      770 |      661
269.84/269.99	c  269s |      14 |  1949629 |    74652 |    44978      2 |      770 |      661
272.14/272.28	c  271s |      14 |  1957756 |    75252 |    44978      2 |      770 |      661
274.34/274.41	c  273s |      14 |  1961485 |    75552 |    44978      2 |      770 |      661
276.34/276.41	c  275s |      14 |  1973525 |    76052 |    44978      2 |      770 |      661
278.35/278.43	c  277s |      14 |  1991168 |    76652 |    44978      2 |      770 |      661
280.64/280.75	c  280s |      14 |  1997712 |    77152 |    44978      2 |      770 |      661
282.94/283.02	c  282s |      14 |  2009497 |    77752 |    44978      2 |      770 |      661
285.15/285.24	c  284s |      14 |  2014213 |    78152 |    44978      2 |      770 |      661
287.35/287.48	c  286s |      14 |  2021502 |    78752 |    44978      2 |      770 |      661
289.95/290.06	c  289s |      14 |  2031541 |    79252 |    44978      2 |      770 |      661
292.15/292.29	c  291s |      14 |  2044239 |    79752 |    44978      2 |      770 |      661
294.35/294.46	c  293s |      14 |  2055208 |    80352 |    44978      2 |      770 |      661
296.44/296.58	c  295s |      14 |  2060930 |    80752 |    44978      2 |      770 |      661
298.74/298.89	c  298s |      14 |  2068384 |    81252 |    44978      2 |      770 |      661
300.94/301.07	c  300s |      14 |  2080308 |    81852 |    44978      2 |      770 |      661
303.24/303.36	c  302s |      14 |  2089198 |    82352 |    44978      2 |      770 |      661
305.44/305.59	c  304s |      14 |  2098892 |    82952 |    44978      2 |      770 |      661
307.74/307.80	c  307s |      14 |  2112693 |    83552 |    44978      2 |      770 |      661
310.04/310.18	c  309s |      14 |  2119382 |    84152 |    44978      2 |      770 |      661
312.74/312.89	c  312s |      14 |  2126645 |    84652 |    44978      2 |      770 |      661
314.84/314.91	c  314s |      14 |  2128938 |    84952 |    44978      2 |      770 |      661
317.04/317.17	c  316s |      14 |  2131469 |    85452 |    44978      2 |      770 |      661
319.24/319.31	c  318s |      14 |  2133935 |    86052 |    44978      2 |      770 |      661
321.24/321.35	c  320s |      14 |  2143347 |    86552 |    44978      2 |      770 |      661
323.64/323.74	c  323s |      14 |  2153374 |    87052 |    49476      2 |      770 |      661
325.64/325.77	c  325s |      15 |  2160443 |    87632 |    49476      2 |      770 |      661
327.64/327.79	c  327s |      15 |  2166876 |    87932 |    49476      2 |      770 |      661
329.73/329.83	c  329s |      15 |  2177025 |    88532 |    49476      2 |      770 |      661
331.73/331.83	c  331s |      15 |  2189952 |    89032 |    49476      2 |      770 |      661
333.73/333.88	c  333s |      15 |  2205145 |    89532 |    49476      2 |      770 |      661
335.83/335.96	c  335s |      15 |  2218544 |    90032 |    49476      2 |      770 |      661
337.93/338.09	c  337s |      15 |  2235626 |    90532 |    49476      2 |      770 |      661
340.13/340.26	c  339s |      15 |  2251743 |    90932 |    49476      2 |      770 |      661
342.23/342.39	c  341s |      15 |  2265383 |    91532 |    49476      2 |      770 |      661
344.73/344.87	c  344s |      15 |  2269757 |    92132 |    49476      2 |      770 |      661
349.33/349.48	c  348s |      15 |  2271287 |    92532 |    49476      2 |      770 |      661
351.94/352.03	c  351s |      15 |  2271989 |    92732 |    49476      2 |      770 |      661
354.43/354.56	c  353s |      15 |  2272352 |    92832 |    49476      2 |      770 |      661
357.03/357.16	c  356s |      15 |  2272885 |    92932 |    49476      2 |      770 |      661
359.53/359.67	c  359s |      15 |  2273888 |    93132 |    49476      2 |      770 |      661
363.04/363.16	c  362s |      15 |  2274490 |    93332 |    49476      2 |      770 |      661
365.14/365.24	c  364s |      15 |  2274894 |    93532 |    49476      2 |      770 |      661
367.63/367.75	c  367s |      15 |  2275100 |    93632 |    49476      2 |      770 |      661
369.93/370.04	c  369s |      15 |  2276097 |    93932 |    49476      2 |      770 |      661
372.03/372.12	c  371s |      15 |  2278282 |    94432 |    49476      2 |      770 |      661
374.43/374.52	c  373s |      15 |  2281430 |    95032 |    49476      2 |      770 |      661
376.53/376.69	c  376s |      15 |  2283138 |    95432 |    49476      2 |      770 |      661
378.63/378.79	c  378s |      15 |  2284642 |    95632 |    49476      2 |      770 |      661
380.73/380.82	c  380s |      15 |  2289104 |    96132 |    49476      2 |      770 |      661
382.93/383.01	c  382s |      15 |  2290112 |    96432 |    49476      2 |      770 |      661
385.63/385.79	c  385s |      15 |  2292333 |    96932 |    49476      2 |      770 |      661
387.73/387.84	c  387s |      15 |  2292584 |    97032 |    49476      2 |      770 |      661
390.82/390.95	c  390s |      15 |  2293025 |    97232 |    49476      2 |      770 |      661
394.42/394.55	c  393s |      15 |  2293805 |    97532 |    49476      2 |      770 |      661
397.13/397.24	c  396s |      15 |  2294417 |    97732 |    49476      2 |      770 |      661
400.92/401.01	c  400s |      15 |  2294791 |    97932 |    49476      2 |      770 |      661
404.42/404.55	c  403s |      15 |  2295225 |    98132 |    49476      2 |      770 |      661
406.93/407.06	c  406s |      15 |  2298927 |    98532 |    49476      2 |      770 |      661
409.13/409.27	c  408s |      15 |  2310463 |    99032 |    49476      2 |      770 |      661
412.12/412.28	c  411s |      15 |  2319810 |    99532 |    49476      3 |      770 |      661
414.32/414.46	c  413s |      15 |  2328877 |   100132 |    49476      3 |      770 |      661
416.62/416.71	c  416s |      15 |  2350235 |   100732 |    49476      3 |      770 |      661
418.82/418.92	c  418s |      15 |  2368430 |   101332 |    49476      3 |      770 |      661
421.42/421.59	c  420s |      15 |  2383650 |   101832 |    49476      3 |      771 |      662
423.52/423.65	c  422s |      15 |  2404358 |   102432 |    49476      3 |      771 |      662
425.52/425.69	c  425s |      15 |  2423491 |   103032 |    49476      3 |      771 |      662
427.72/427.80	c  427s |      15 |  2438504 |   103632 |    49476      3 |      771 |      662
429.72/429.81	c  429s |      15 |  2444232 |   104132 |    49476      3 |      771 |      662
431.82/431.95	c  431s |      15 |  2450390 |   104732 |    49476      3 |      771 |      662
434.02/434.10	c  433s |      15 |  2461847 |   105232 |    49476      3 |      772 |      663
436.12/436.28	c  435s |      15 |  2470951 |   105732 |    49476      3 |      772 |      663
438.22/438.32	c  437s |      15 |  2480604 |   106132 |    49476      3 |      772 |      663
440.51/440.61	c  439s |      15 |  2490256 |   106532 |    49476      3 |      772 |      663
442.61/442.73	c  442s |      15 |  2500754 |   107032 |    49476      3 |      772 |      663
444.71/444.81	c  444s |      15 |  2512500 |   107532 |    49476      3 |      772 |      663
447.11/447.26	c  446s |      15 |  2519158 |   108132 |    49476      3 |      772 |      663
449.61/449.76	c  449s |      15 |  2520356 |   108432 |    49476      3 |      772 |      663
451.92/452.00	c  451s |      15 |  2534933 |   108832 |    49476      3 |      772 |      663
453.92/454.07	c  453s |      15 |  2551569 |   109332 |    49476      3 |      772 |      663
456.02/456.19	c  455s |      15 |  2557327 |   109932 |    49476      3 |      772 |      663
458.02/458.20	c  457s |      15 |  2572587 |   110432 |    49476      3 |      772 |      663
460.32/460.40	c  459s |      15 |  2585660 |   110932 |    49476      3 |      772 |      663
462.32/462.42	c  461s |      15 |  2596294 |   111632 |    49476      3 |      772 |      663
464.32/464.45	c  463s |      15 |  2607672 |   112232 |    49476      3 |      772 |      663
466.43/466.58	c  465s |      15 |  2621553 |   112832 |    49476      3 |      772 |      663
468.52/468.68	c  468s |      15 |  2640224 |   113332 |    49476      3 |      772 |      663
470.92/471.01	c  470s |      15 |  2651338 |   113832 |    49476      3 |      772 |      663
473.32/473.47	c  472s |      15 |  2664697 |   114432 |    49476      3 |      772 |      663
475.51/475.64	c  474s |      15 |  2678337 |   115032 |    49476      3 |      772 |      663
477.71/477.81	c  477s |      15 |  2691711 |   115532 |    49476      3 |      772 |      663
479.71/479.86	c  479s |      15 |  2699798 |   115932 |    49476      3 |      772 |      663
482.11/482.26	c  481s |      15 |  2715073 |   116532 |    49476      3 |      772 |      663
484.61/484.77	c  484s |      15 |  2723524 |   117132 |    49476      3 |      772 |      663
487.01/487.16	c  486s |      15 |  2733167 |   117532 |    49476      3 |      772 |      663
489.42/489.60	c  488s |      15 |  2742241 |   117932 |    49476      3 |      773 |      664
491.72/491.89	c  491s |      15 |  2755984 |   118432 |    49476      3 |      773 |      664
493.82/494.00	c  493s |      15 |  2768498 |   118932 |    49476      3 |      773 |      664
495.91/496.08	c  495s |      15 |  2779117 |   119432 |    49476      3 |      773 |      664
498.41/498.50	c  497s |      15 |  2793116 |   119932 |    49476      3 |      773 |      664
500.52/500.61	c  499s |      15 |  2797960 |   120332 |    49476      3 |      773 |      664
502.51/502.68	c  502s |      15 |  2815014 |   120732 |    49476      3 |      773 |      664
504.71/504.83	c  504s |      15 |  2827733 |   121232 |    49476      3 |      773 |      664
506.71/506.83	c  506s |      15 |  2842992 |   121732 |    49476      3 |      773 |      664
509.22/509.31	c  508s |      15 |  2860014 |   122232 |    49476      3 |      773 |      664
511.31/511.41	c  510s |      15 |  2872051 |   122532 |    49476      3 |      774 |      665
513.41/513.59	c  512s |      15 |  2880679 |   123232 |    49476      3 |      774 |      665
515.81/516.00	c  515s |      15 |  2883121 |   123732 |    49476      3 |      774 |      665
518.01/518.11	c  517s |      15 |  2892339 |   124232 |    49476      3 |      774 |      665
520.11/520.29	c  519s |      15 |  2897365 |   124732 |    49476      3 |      774 |      665
522.51/522.65	c  521s |      15 |  2902952 |   125332 |    49476      3 |      774 |      665
524.81/524.97	c  524s |      15 |  2913156 |   125932 |    49476      3 |      774 |      665
527.91/528.05	c  527s |      15 |  2925017 |   126332 |    49476      4 |      774 |      665
530.40/530.52	c  529s |      15 |  2938180 |   126932 |    49476      4 |      775 |      666
532.70/532.89	c  532s |      15 |  2954946 |   127432 |    49476      4 |      776 |      667
534.90/535.07	c  534s |      15 |  2966064 |   128032 |    49476      4 |      776 |      667
537.10/537.24	c  536s |      15 |  2970033 |   128632 |    49476      4 |      776 |      667
539.60/539.75	c  539s |      15 |  2977859 |   129232 |    49476      4 |      776 |      667
541.80/541.97	c  541s |      15 |  2991216 |   129932 |    49476      4 |      776 |      667
544.30/544.50	c  543s |      15 |  2996858 |   130432 |    49476      4 |      776 |      667
546.71/546.82	c  546s |      15 |  3003474 |   131132 |    54424      4 |      776 |      667
548.20/548.36	c  547s |      16 |  3016006 |   131552 |    54424      4 |      776 |      667
550.60/550.78	c  550s |      16 |  3032743 |   132052 |    54424      4 |      776 |      667
552.70/552.84	c  552s |      16 |  3047401 |   132652 |    54424      4 |      776 |      667
554.81/554.97	c  554s |      16 |  3052308 |   133152 |    54424      4 |      776 |      667
557.20/557.30	c  556s |      16 |  3054103 |   133552 |    54424      4 |      776 |      667
559.40/559.57	c  558s |      16 |  3055697 |   133952 |    54424      4 |      776 |      667
561.60/561.72	c  561s |      16 |  3072441 |   134452 |    54424      4 |      776 |      667
563.80/563.91	c  563s |      16 |  3082729 |   135052 |    54424      4 |      776 |      667
565.90/566.03	c  565s |      16 |  3099642 |   135552 |    54424      4 |      776 |      667
568.10/568.24	c  567s |      16 |  3111040 |   136252 |    54424      4 |      776 |      667
570.30/570.49	c  569s |      16 |  3124198 |   136952 |    54424      4 |      776 |      667
572.60/572.79	c  572s |      16 |  3139578 |   137552 |    54424      4 |      776 |      667
574.80/574.91	c  574s |      16 |  3147457 |   138052 |    54424      4 |      776 |      667
577.20/577.35	c  576s |      16 |  3154669 |   138652 |    54424      4 |      776 |      667
580.29/580.40	c  579s |      16 |  3156450 |   139052 |    54424      4 |      776 |      667
582.40/582.54	c  581s |      16 |  3158133 |   139352 |    54424      4 |      776 |      667
584.70/584.87	c  584s |      16 |  3161049 |   139752 |    54424      4 |      776 |      667
587.30/587.42	c  586s |      16 |  3162520 |   140052 |    54424      4 |      776 |      667
589.60/589.71	c  589s |      16 |  3163341 |   140252 |    54424      4 |      776 |      667
592.49/592.64	c  591s |      16 |  3164159 |   140452 |    54424      4 |      776 |      667
594.69/594.88	c  594s |      16 |  3165623 |   140652 |    54424      4 |      776 |      667
597.39/597.53	c  596s |      16 |  3166571 |   140852 |    54424      4 |      776 |      667
600.39/600.54	c  599s |      16 |  3167100 |   141052 |    54424      4 |      776 |      667
602.99/603.14	c  602s |      16 |  3168411 |   141252 |    54424      4 |      776 |      667
605.29/605.48	c  604s |      16 |  3169479 |   141452 |    54424      4 |      776 |      667
607.90/608.03	c  607s |      16 |  3171506 |   141752 |    54424      4 |      776 |      667
610.30/610.42	c  609s |      16 |  3172658 |   141952 |    54424      4 |      776 |      667
612.50/612.60	c  611s |      16 |  3173754 |   142152 |    54424      4 |      776 |      667
614.80/614.97	c  614s |      16 |  3174847 |   142352 |    54424      4 |      776 |      667
616.89/617.08	c  616s |      16 |  3175969 |   142552 |    54424      4 |      776 |      667
619.20/619.37	c  618s |      16 |  3176561 |   142752 |    54424      4 |      776 |      667
621.69/621.82	c  621s |      16 |  3177063 |   142952 |    54424      4 |      776 |      667
623.79/623.90	c  623s |      16 |  3177741 |   143152 |    54424      4 |      776 |      667
626.29/626.42	c  625s |      16 |  3178213 |   143352 |    54424      4 |      776 |      667
629.29/629.48	c  628s |      16 |  3178673 |   143552 |    54424      4 |      776 |      667
632.59/632.74	c  632s |      16 |  3179256 |   143752 |    54424      4 |      776 |      667
634.70/634.86	c  634s |      16 |  3179453 |   143852 |    54424      4 |      776 |      667
637.29/637.49	c  636s |      16 |  3180508 |   144052 |    54424      4 |      776 |      667
640.49/640.68	c  640s |      16 |  3181417 |   144352 |    54424      4 |      776 |      667
642.89/643.06	c  642s |      16 |  3192673 |   144852 |    54424      4 |      776 |      667
645.09/645.26	c  644s |      16 |  3198622 |   145152 |    54424      4 |      776 |      667
647.09/647.29	c  646s |      16 |  3213449 |   145552 |    54424      4 |      776 |      667
649.49/649.66	c  648s |      16 |  3234776 |   146052 |    54424      4 |      776 |      667
651.49/651.67	c  651s |      16 |  3251317 |   146452 |    54424      4 |      776 |      667
653.59/653.77	c  653s |      16 |  3261079 |   146852 |    54424      4 |      776 |      667
655.69/655.82	c  655s |      16 |  3271309 |   147352 |    54424      4 |      776 |      667
658.09/658.25	c  657s |      16 |  3277782 |   147852 |    54424      4 |      776 |      667
660.09/660.25	c  659s |      16 |  3283218 |   148252 |    54424      4 |      776 |      667
662.38/662.54	c  661s |      16 |  3294588 |   148752 |    54424      4 |      776 |      667
664.78/664.90	c  664s |      16 |  3306999 |   149252 |    54424      4 |      776 |      667
666.78/666.95	c  666s |      16 |  3313722 |   149852 |    54424      4 |      776 |      667
669.28/669.41	c  668s |      16 |  3315928 |   150352 |    54424      4 |      776 |      667
671.38/671.55	c  670s |      16 |  3317621 |   150652 |    54424      4 |      776 |      667
673.69/673.85	c  673s |      16 |  3319945 |   150952 |    54424      4 |      776 |      667
676.09/676.23	c  675s |      16 |  3332132 |   151452 |    54424      4 |      776 |      667
678.18/678.32	c  677s |      16 |  3344219 |   151952 |    54424      4 |      776 |      667
680.58/680.71	c  680s |      16 |  3352896 |   152452 |    54424      4 |      776 |      667
682.88/683.08	c  682s |      16 |  3359512 |   152852 |    54424      4 |      776 |      667
685.08/685.22	c  684s |      16 |  3371450 |   153252 |    54424      4 |      776 |      667
687.39/687.59	c  686s |      16 |  3382119 |   153852 |    54424      4 |      776 |      667
689.48/689.68	c  689s |      16 |  3391364 |   154352 |    54424      4 |      776 |      667
691.68/691.86	c  691s |      16 |  3408579 |   154852 |    54424      4 |      776 |      667
693.78/693.99	c  693s |      16 |  3417207 |   155352 |    54424      4 |      776 |      667
696.19/696.40	c  695s |      16 |  3422186 |   155852 |    54424      4 |      776 |      667
698.68/698.82	c  698s |      16 |  3439090 |   156352 |    54424      4 |      776 |      667
700.69/700.88	c  700s |      16 |  3449926 |   156752 |    54424      4 |      776 |      667
704.08/704.20	c  703s |      16 |  3460530 |   157052 |    54424      5 |      776 |      667
706.19/706.31	c  705s |      16 |  3474370 |   157552 |    54424      5 |      776 |      667
708.18/708.33	c  707s |      16 |  3480786 |   158052 |    54424      5 |      776 |      667
710.28/710.45	c  709s |      16 |  3483201 |   158552 |    54424      5 |      776 |      667
712.68/712.84	c  712s |      16 |  3501716 |   159052 |    54424      5 |      776 |      667
714.78/714.91	c  714s |      16 |  3511703 |   159752 |    54424      5 |      776 |      667
716.88/717.09	c  716s |      16 |  3514531 |   160152 |    54424      5 |      776 |      667
719.08/719.26	c  718s |      16 |  3517641 |   160552 |    54424      5 |      776 |      667
721.37/721.54	c  720s |      16 |  3531402 |   161052 |    54424      5 |      776 |      667
723.78/723.91	c  723s |      16 |  3543946 |   161552 |    54424      5 |      776 |      667
725.88/726.07	c  725s |      16 |  3560821 |   162052 |    54424      5 |      776 |      667
728.37/728.54	c  727s |      16 |  3569145 |   162552 |    54424      5 |      776 |      667
730.67/730.87	c  730s |      16 |  3571975 |   162852 |    54424      5 |      776 |      667
733.07/733.22	c  732s |      16 |  3579464 |   163352 |    54424      5 |      776 |      667
735.07/735.28	c  734s |      16 |  3589873 |   163952 |    54424      5 |      776 |      667
737.26/737.44	c  736s |      16 |  3601111 |   164452 |    54424      5 |      776 |      667
739.66/739.88	c  739s |      16 |  3616529 |   165052 |    54424      5 |      776 |      667
742.26/742.40	c  741s |      16 |  3627718 |   165552 |    54424      5 |      776 |      667
744.27/744.49	c  743s |      16 |  3639311 |   165952 |    54424      5 |      776 |      667
746.77/746.93	c  746s |      16 |  3656549 |   166452 |    54424      5 |      776 |      667
748.77/748.95	c  748s |      16 |  3662422 |   166952 |    54424      5 |      776 |      667
750.87/751.02	c  750s |      16 |  3673548 |   167452 |    54424      5 |      776 |      667
753.17/753.38	c  752s |      16 |  3687024 |   167952 |    54424      5 |      776 |      667
755.57/755.76	c  755s |      16 |  3701473 |   168452 |    54424      5 |      776 |      667
757.77/757.99	c  757s |      16 |  3710169 |   168852 |    54424      5 |      776 |      667
759.86/760.01	c  759s |      16 |  3715691 |   169252 |    54424      5 |      776 |      667
762.06/762.30	c  761s |      16 |  3728956 |   169652 |    54424      5 |      776 |      667
764.37/764.59	c  763s |      16 |  3741509 |   170152 |    54424      5 |      776 |      667
766.57/766.79	c  766s |      16 |  3750903 |   170552 |    54424      5 |      776 |      667
768.77/768.97	c  768s |      16 |  3766393 |   170952 |    54424      5 |      776 |      667
771.07/771.22	c  770s |      16 |  3776610 |   171452 |    54424      5 |      776 |      667
773.56/773.76	c  773s |      16 |  3788576 |   172052 |    54424      5 |      776 |      667
776.16/776.35	c  775s |      16 |  3797859 |   172452 |    54424      5 |      776 |      667
778.56/778.78	c  778s |      16 |  3801780 |   172952 |    54424      5 |      776 |      667
781.15/781.30	c  780s |      16 |  3803049 |   173352 |    54424      5 |      776 |      667
783.55/783.73	c  783s |      16 |  3805342 |   173752 |    54424      5 |      776 |      667
786.15/786.31	c  785s |      16 |  3807137 |   174152 |    54424      5 |      776 |      667
788.45/788.69	c  788s |      16 |  3808709 |   174452 |    54424      5 |      776 |      667
790.85/791.03	c  790s |      16 |  3813135 |   174852 |    54424      5 |      776 |      667
794.75/794.92	c  794s |      16 |  3815600 |   175252 |    54424      5 |      776 |      667
797.04/797.29	c  796s |      16 |  3817426 |   175452 |    54424      5 |      776 |      667
799.44/799.70	c  799s |      16 |  3829951 |   175952 |    54424      5 |      776 |      667
801.64/801.85	c  801s |      16 |  3839872 |   176452 |    54424      5 |      776 |      667
803.95/804.12	c  803s |      16 |  3841673 |   176752 |    54424      5 |      776 |      667
806.24/806.45	c  805s |      16 |  3851395 |   177052 |    54424      5 |      776 |      667
808.44/808.61	c  807s |      16 |  3863872 |   177552 |    54424      5 |      776 |      667
810.74/810.93	c  810s |      16 |  3872427 |   177952 |    54424      5 |      776 |      667
813.04/813.24	c  812s |      16 |  3876250 |   178452 |    54424      5 |      776 |      667
815.43/815.62	c  814s |      16 |  3880975 |   179052 |    54424      5 |      776 |      667
817.53/817.70	c  817s |      16 |  3887845 |   179552 |    54424      5 |      776 |      667
819.93/820.14	c  819s |      16 |  3902270 |   180052 |    54424      5 |      776 |      667
822.33/822.54	c  821s |      16 |  3909924 |   180552 |    54424      5 |      776 |      667
824.53/824.71	c  824s |      16 |  3921782 |   181052 |    54424      5 |      776 |      667
827.04/827.22	c  826s |      16 |  3934986 |   181552 |    54424      5 |      776 |      667
829.03/829.24	c  828s |      16 |  3948091 |   181952 |    54424      5 |      776 |      667
831.44/831.65	c  830s |      16 |  3960049 |   182452 |    54424      5 |      776 |      667
833.93/834.15	c  833s |      16 |  3969566 |   182852 |    54424      5 |      776 |      667
836.43/836.66	c  835s |      16 |  3973705 |   183352 |    54424      5 |      776 |      667
838.92/839.11	c  838s |      16 |  3980872 |   183852 |    54424      5 |      776 |      667
841.02/841.24	c  840s |      16 |  3988514 |   184352 |    54424      5 |      776 |      667
843.63/843.89	c  843s |      16 |  3991655 |   184852 |    54424      5 |      776 |      667
846.02/846.21	c  845s |      16 |  4002699 |   185252 |    54424      5 |      776 |      667
848.32/848.54	c  847s |      16 |  4007510 |   185652 |    54424      5 |      776 |      667
850.62/850.84	c  850s |      16 |  4012539 |   185852 |    54424      6 |      776 |      667
853.02/853.25	c  852s |      16 |  4028590 |   186552 |    54424      6 |      776 |      667
855.32/855.55	c  854s |      16 |  4039300 |   187052 |    54424      6 |      776 |      667
857.42/857.64	c  856s |      16 |  4054455 |   187552 |    54424      6 |      776 |      667
859.42/859.66	c  858s |      16 |  4069456 |   188052 |    54424      6 |      776 |      667
861.52/861.77	c  861s |      16 |  4083055 |   188552 |    54424      6 |      776 |      667
863.52/863.78	c  863s |      16 |  4089725 |   189052 |    54424      6 |      776 |      667
865.82/866.02	c  865s |      16 |  4102079 |   189552 |    54424      6 |      776 |      667
867.83/868.06	c  867s |      16 |  4111301 |   190152 |    54424      6 |      776 |      667
869.83/870.06	c  869s |      16 |  4117181 |   190552 |    54424      6 |      776 |      667
871.93/872.18	c  871s |      16 |  4122845 |   190952 |    54424      6 |      776 |      667
874.03/874.22	c  873s |      16 |  4135955 |   191352 |    54424      6 |      776 |      667
876.53/876.79	c  876s |      16 |  4145535 |   191952 |    54424      6 |      776 |      667
878.63/878.82	c  878s |      16 |  4154057 |   192452 |    54424      6 |      776 |      667
880.63/880.83	c  880s |      16 |  4162380 |   193052 |    54424      6 |      776 |      667
882.83/883.02	c  882s |      16 |  4175751 |   193752 |    54424      6 |      776 |      667
884.93/885.18	c  884s |      16 |  4189273 |   194352 |    54424      6 |      776 |      667
887.02/887.26	c  886s |      16 |  4202301 |   194852 |    54424      6 |      776 |      667
889.32/889.56	c  888s |      16 |  4217455 |   195352 |    54424      6 |      776 |      667
891.52/891.70	c  891s |      16 |  4226100 |   195852 |    54424      6 |      776 |      667
893.72/893.97	c  893s |      16 |  4237539 |   196352 |    59867      6 |      776 |      667
896.01/896.25	c  895s |      16 |  4244790 |   196852 |    59867      6 |      776 |      667
898.11/898.39	c  897s |      16 |  4246979 |   197252 |    59867      6 |      776 |      667
900.11/900.33	c  899s |      17 |  4247475 |   197432 |    59867      6 |      776 |      667
902.51/902.77	c  902s |      17 |  4254762 |   197832 |    59867      6 |      776 |      667
904.61/904.85	c  904s |      17 |  4265261 |   198332 |    59867      6 |      776 |      667
906.81/907.08	c  906s |      17 |  4279489 |   198932 |    59867      6 |      776 |      667
908.91/909.14	c  908s |      17 |  4284010 |   199532 |    59867      6 |      776 |      667
910.91/911.15	c  910s |      17 |  4287100 |   200032 |    59867      6 |      776 |      667
913.01/913.27	c  912s |      17 |  4288508 |   200432 |    59867      6 |      776 |      667
915.11/915.36	c  914s |      17 |  4289641 |   200732 |    59867      6 |      776 |      667
917.50/917.79	c  917s |      17 |  4291807 |   201232 |    59867      6 |      776 |      667
919.80/920.06	c  919s |      17 |  4299308 |   201732 |    59867      6 |      776 |      667
922.30/922.55	c  921s |      17 |  4316991 |   202332 |    59867      6 |      776 |      667
924.50/924.73	c  924s |      17 |  4323401 |   203032 |    59867      6 |      776 |      667
926.69/926.94	c  926s |      17 |  4332056 |   203532 |    59867      6 |      776 |      667
928.89/929.14	c  928s |      17 |  4346862 |   204132 |    59867      6 |      776 |      667
930.99/931.29	c  930s |      17 |  4360923 |   204632 |    59867      6 |      776 |      667
933.09/933.34	c  932s |      17 |  4375531 |   205032 |    59867      6 |      776 |      667
935.59/935.82	c  935s |      17 |  4389179 |   205632 |    59867      6 |      776 |      667
937.69/937.90	c  937s |      17 |  4407110 |   206132 |    59867      6 |      776 |      667
939.89/940.15	c  939s |      17 |  4422772 |   206632 |    59867      6 |      776 |      667
942.50/942.76	c  942s |      17 |  4440559 |   207132 |    59867      6 |      776 |      667
944.70/944.98	c  944s |      17 |  4450325 |   207632 |    59867      6 |      776 |      667
946.79/947.04	c  946s |      17 |  4464472 |   208132 |    59867      6 |      776 |      667
948.89/949.14	c  948s |      17 |  4466514 |   208532 |    59867      6 |      776 |      667
951.09/951.40	c  950s |      17 |  4474508 |   209032 |    59867      6 |      776 |      667
953.19/953.49	c  952s |      17 |  4482514 |   209532 |    59867      6 |      776 |      667
955.49/955.74	c  955s |      17 |  4484448 |   209932 |    59867      6 |      776 |      667
957.89/958.13	c  957s |      17 |  4492220 |   210432 |    59867      6 |      776 |      667
959.99/960.27	c  959s |      17 |  4507619 |   210932 |    59867      6 |      776 |      667
962.18/962.49	c  961s |      17 |  4520027 |   211532 |    59867      6 |      776 |      667
964.28/964.59	c  963s |      17 |  4533103 |   212032 |    59867      6 |      776 |      667
966.58/966.86	c  966s |      17 |  4549033 |   212532 |    59867      6 |      776 |      667
968.89/969.16	c  968s |      17 |  4565226 |   212932 |    59867      6 |      776 |      667
970.98/971.30	c  970s |      17 |  4575133 |   213432 |    59867      6 |      776 |      667
973.48/973.74	c  973s |      17 |  4590215 |   213932 |    59867      6 |      776 |      667
975.58/975.85	c  975s |      17 |  4599410 |   214432 |    59867      6 |      776 |      667
977.78/978.03	c  977s |      17 |  4615499 |   214932 |    59867      6 |      776 |      667
979.88/980.14	c  979s |      17 |  4627289 |   215532 |    59867      6 |      776 |      667
982.28/982.56	c  981s |      17 |  4640261 |   216032 |    59867      6 |      776 |      667
984.48/984.74	c  984s |      17 |  4651592 |   216432 |    59867      6 |      776 |      667
986.58/986.87	c  986s |      17 |  4659373 |   217032 |    59867      6 |      776 |      667
988.78/989.08	c  988s |      17 |  4661604 |   217432 |    59867      6 |      776 |      667
990.78/991.08	c  990s |      17 |  4663210 |   217732 |    59867      6 |      776 |      667
993.08/993.32	c  992s |      17 |  4671497 |   218232 |    59867      6 |      776 |      667
995.28/995.59	c  994s |      17 |  4685071 |   218732 |    59867      6 |      776 |      667
997.38/997.68	c  997s |      17 |  4691419 |   218932 |    59867      7 |      776 |      667
999.58/999.90	c  999s |      17 |  4708419 |   219532 |    59867      7 |      776 |      667
1001.78/1002.06	c 1001s |      17 |  4718549 |   220132 |    59867      7 |      776 |      667
1003.88/1004.15	c 1003s |      17 |  4738872 |   220632 |    59867      7 |      776 |      667
1005.98/1006.25	c 1005s |      17 |  4756855 |   221132 |    59867      7 |      776 |      667
1008.28/1008.52	c 1007s |      17 |  4768019 |   221732 |    59867      7 |      776 |      667
1010.28/1010.59	c 1009s |      17 |  4776349 |   222132 |    59867      7 |      776 |      667
1012.38/1012.64	c 1011s |      17 |  4790013 |   222632 |    59867      7 |      776 |      667
1014.78/1015.02	c 1014s |      17 |  4805391 |   223232 |    59867      7 |      776 |      667
1016.87/1017.19	c 1016s |      17 |  4816082 |   223932 |    59867      7 |      776 |      667
1018.87/1019.19	c 1018s |      17 |  4823281 |   224532 |    59867      7 |      776 |      667
1021.27/1021.56	c 1020s |      17 |  4829633 |   225032 |    59867      7 |      776 |      667
1023.67/1023.98	c 1023s |      17 |  4841911 |   225632 |    59867      7 |      776 |      667
1025.97/1026.26	c 1025s |      17 |  4846674 |   226132 |    59867      7 |      776 |      667
1028.06/1028.36	c 1027s |      17 |  4848162 |   226532 |    59867      7 |      776 |      667
1030.47/1030.73	c 1030s |      17 |  4848746 |   226732 |    59867      7 |      776 |      667
1032.67/1032.92	c 1032s |      17 |  4849595 |   226932 |    59867      7 |      776 |      667
1034.66/1034.97	c 1034s |      17 |  4855915 |   227332 |    59867      7 |      776 |      667
1037.06/1037.36	c 1036s |      17 |  4858196 |   227632 |    59867      7 |      776 |      667
1039.66/1039.96	c 1039s |      17 |  4859284 |   227932 |    59867      7 |      776 |      667
1043.45/1043.71	c 1043s |      17 |  4860039 |   228232 |    59867      7 |      776 |      667
1046.96/1047.26	c 1046s |      17 |  4860973 |   228432 |    59867      7 |      776 |      667
1049.85/1050.18	c 1049s |      17 |  4861691 |   228632 |    59867      7 |      776 |      667
1052.95/1053.25	c 1052s |      17 |  4862376 |   228832 |    59867      7 |      776 |      667
1055.35/1055.64	c 1054s |      17 |  4863396 |   229032 |    59867      7 |      776 |      667
1057.74/1058.07	c 1057s |      17 |  4863806 |   229132 |    59867      7 |      776 |      667
1060.44/1060.77	c 1060s |      17 |  4864522 |   229332 |    59867      7 |      776 |      667
1062.54/1062.85	c 1062s |      17 |  4865348 |   229532 |    59867      7 |      776 |      667
1064.65/1064.94	c 1064s |      17 |  4865766 |   229632 |    59867      7 |      776 |      667
1066.84/1067.15	c 1066s |      17 |  4873375 |   230032 |    59867      7 |      776 |      667
1068.94/1069.24	c 1068s |      17 |  4882827 |   230532 |    59867      7 |      776 |      667
1071.04/1071.37	c 1070s |      17 |  4899276 |   231032 |    59867      7 |      776 |      667
1073.24/1073.52	c 1072s |      17 |  4913302 |   231532 |    59867      7 |      776 |      667
1075.43/1075.78	c 1075s |      17 |  4925068 |   232132 |    59867      7 |      776 |      667
1077.85/1078.11	c 1077s |      17 |  4937842 |   232632 |    59867      7 |      776 |      667
1079.95/1080.28	c 1079s |      17 |  4942928 |   232932 |    59867      7 |      776 |      667
1082.04/1082.32	c 1081s |      17 |  4955824 |   233432 |    59867      7 |      776 |      667
1084.45/1084.71	c 1084s |      17 |  4975492 |   234032 |    59867      7 |      776 |      667
1086.54/1086.89	c 1086s |      17 |  4993799 |   234532 |    59867      7 |      776 |      667
1089.03/1089.33	c 1088s |      17 |  5013672 |   235032 |    59867      7 |      776 |      667
1091.23/1091.54	c 1090s |      17 |  5019944 |   235632 |    59867      7 |      776 |      667
1093.73/1094.01	c 1093s |      17 |  5025447 |   236232 |    59867      7 |      776 |      667
1096.02/1096.38	c 1095s |      17 |  5038263 |   236732 |    59867      7 |      776 |      667
1098.22/1098.58	c 1097s |      17 |  5050924 |   237232 |    59867      7 |      776 |      667
1100.32/1100.67	c 1100s |      17 |  5062005 |   237732 |    59867      7 |      776 |      667
1102.52/1102.86	c 1102s |      17 |  5073390 |   238232 |    59867      7 |      776 |      667
1104.62/1104.99	c 1104s |      17 |  5085379 |   238832 |    59867      7 |      776 |      667
1107.22/1107.53	c 1106s |      17 |  5087183 |   239332 |    59867      7 |      776 |      667
1109.32/1109.68	c 1109s |      17 |  5096466 |   239732 |    59867      7 |      777 |      668
1111.71/1112.00	c 1111s |      17 |  5108328 |   240432 |    59867      7 |      777 |      668
1114.02/1114.37	c 1113s |      17 |  5117220 |   241032 |    59867      7 |      777 |      668
1116.21/1116.55	c 1115s |      17 |  5130132 |   241432 |    59867      7 |      777 |      668
1118.21/1118.55	c 1117s |      17 |  5133515 |   241932 |    59867      7 |      777 |      668
1120.30/1120.61	c 1119s |      17 |  5136158 |   242332 |    59867      7 |      777 |      668
1122.50/1122.88	c 1122s |      17 |  5140754 |   242832 |    59867      7 |      777 |      668
1124.60/1124.97	c 1124s |      17 |  5142551 |   243132 |    59867      7 |      777 |      668
1126.90/1127.20	c 1126s |      17 |  5154230 |   243632 |    59867      7 |      777 |      668
1129.30/1129.63	c 1128s |      17 |  5159891 |   244032 |    59867      7 |      777 |      668
1131.50/1131.84	c 1131s |      17 |  5166457 |   244432 |    59867      7 |      777 |      668
1134.10/1134.42	c 1133s |      17 |  5168102 |   244832 |    59867      7 |      777 |      668
1136.49/1136.81	c 1136s |      17 |  5181597 |   245432 |    59867      7 |      777 |      668
1138.49/1138.81	c 1138s |      17 |  5192379 |   245932 |    59867      7 |      777 |      668
1140.79/1141.13	c 1140s |      17 |  5209132 |   246432 |    59867      7 |      777 |      668
1142.79/1143.14	c 1142s |      17 |  5223533 |   246832 |    59867      7 |      777 |      668
1144.80/1145.19	c 1144s |      17 |  5230294 |   247232 |    59867      7 |      777 |      668
1147.18/1147.51	c 1146s |      17 |  5235886 |   247632 |    59867      7 |      777 |      668
1149.19/1149.54	c 1148s |      17 |  5244013 |   248032 |    59867      7 |      777 |      668
1151.49/1151.85	c 1151s |      17 |  5253807 |   248532 |    59867      7 |      777 |      668
1153.69/1154.09	c 1153s |      17 |  5265145 |   249032 |    59867      7 |      777 |      668
1156.09/1156.44	c 1155s |      17 |  5270317 |   249432 |    59867      7 |      777 |      668
1158.49/1158.87	c 1158s |      17 |  5276180 |   249832 |    59867      7 |      777 |      668
1160.59/1160.94	c 1160s |      17 |  5280756 |   250232 |    59867      7 |      777 |      668
1162.99/1163.31	c 1162s |      17 |  5287850 |   250732 |    59867      7 |      777 |      668
1165.28/1165.66	c 1164s |      17 |  5293484 |   251232 |    59867      7 |      777 |      668
1167.28/1167.66	c 1166s |      17 |  5294236 |   251332 |    59867      8 |      777 |      668
1169.38/1169.74	c 1169s |      17 |  5304880 |   251932 |    59867      8 |      777 |      668
1171.58/1171.93	c 1171s |      17 |  5311798 |   252432 |    59867      8 |      777 |      668
1173.68/1174.01	c 1173s |      17 |  5325456 |   252832 |    59867      8 |      777 |      668
1175.77/1176.17	c 1175s |      17 |  5337891 |   253332 |    59867      8 |      777 |      668
1178.27/1178.66	c 1178s |      17 |  5344651 |   253932 |    59867      8 |      777 |      668
1180.57/1180.93	c 1180s |      17 |  5350102 |   254432 |    59867      8 |      777 |      668
1182.67/1183.00	c 1182s |      17 |  5358141 |   254932 |    59867      8 |      777 |      668
1185.57/1185.91	c 1185s |      17 |  5367233 |   255332 |    59867      8 |      777 |      668
1187.86/1188.26	c 1187s |      17 |  5374278 |   255632 |    59867      8 |      777 |      668
1189.97/1190.39	c 1189s |      17 |  5383098 |   256132 |    59867      8 |      777 |      668
1192.07/1192.42	c 1191s |      17 |  5395039 |   256732 |    59867      8 |      777 |      668
1194.16/1194.57	c 1193s |      17 |  5414052 |   257232 |    59867      8 |      777 |      668
1196.66/1197.02	c 1196s |      17 |  5432354 |   257932 |    59867      8 |      777 |      668
1199.06/1199.49	c 1198s |      17 |  5450397 |   258532 |    59867      8 |      777 |      668
1201.26/1201.60	c 1200s |      17 |  5467620 |   259132 |    59867      8 |      777 |      668
1203.36/1203.79	c 1203s |      17 |  5482298 |   259732 |    59867      8 |      777 |      668
1205.45/1205.85	c 1205s |      17 |  5489322 |   260232 |    59867      8 |      777 |      668
1207.56/1207.97	c 1207s |      17 |  5504824 |   260732 |    59867      8 |      777 |      668
1209.95/1210.34	c 1209s |      17 |  5511664 |   261332 |    59867      8 |      777 |      668
1212.35/1212.72	c 1212s |      17 |  5519769 |   261832 |    59867      8 |      777 |      668
1214.55/1214.94	c 1214s |      17 |  5532207 |   262332 |    59867      8 |      777 |      668
1216.75/1217.14	c 1216s |      17 |  5538067 |   262732 |    59867      8 |      777 |      668
1218.94/1219.39	c 1218s |      17 |  5555801 |   263232 |    59867      8 |      777 |      668
1221.04/1221.47	c 1220s |      17 |  5563686 |   263632 |    59867      8 |      777 |      668
1223.34/1223.79	c 1223s |      17 |  5579834 |   264232 |    59867      8 |      777 |      668
1225.54/1225.92	c 1225s |      17 |  5591693 |   264732 |    59867      8 |      777 |      668
1227.54/1227.97	c 1227s |      17 |  5594305 |   265232 |    59867      8 |      777 |      668
1229.83/1230.28	c 1229s |      17 |  5597536 |   265832 |    59867      8 |      777 |      668
1231.83/1232.29	c 1231s |      17 |  5609004 |   266432 |    59867      8 |      777 |      668
1234.33/1234.71	c 1234s |      17 |  5626526 |   266932 |    59867      8 |      777 |      668
1236.54/1236.99	c 1236s |      17 |  5640576 |   267432 |    59867      8 |      777 |      668
1238.64/1239.06	c 1238s |      17 |  5655429 |   267932 |    59867      8 |      777 |      668
1241.04/1241.46	c 1240s |      17 |  5669884 |   268432 |    59867      8 |      777 |      668
1243.14/1243.57	c 1242s |      17 |  5681374 |   269032 |    59867      8 |      777 |      668
1245.33/1245.77	c 1245s |      17 |  5687050 |   269632 |    59867      8 |      777 |      668
1247.63/1248.00	c 1247s |      17 |  5692153 |   270132 |    59867      8 |      777 |      668
1249.73/1250.15	c 1249s |      17 |  5703238 |   270632 |    59867      8 |      777 |      668
1251.83/1252.28	c 1251s |      17 |  5712286 |   271132 |    59867      8 |      777 |      668
1254.03/1254.49	c 1253s |      17 |  5724242 |   271632 |    59867      8 |      777 |      668
1256.22/1256.61	c 1255s |      17 |  5730391 |   272032 |    59867      8 |      777 |      668
1258.32/1258.79	c 1258s |      17 |  5742123 |   272632 |    59867      8 |      777 |      668
1260.82/1261.24	c 1260s |      17 |  5760865 |   273232 |    59867      8 |      777 |      668
1263.22/1263.64	c 1262s |      17 |  5771638 |   273832 |    59867      8 |      777 |      668
1265.62/1266.08	c 1265s |      17 |  5790204 |   274332 |    59867      8 |      777 |      668
1267.82/1268.21	c 1267s |      17 |  5800904 |   274932 |    59867      8 |      777 |      668
1270.02/1270.43	c 1269s |      17 |  5808183 |   275432 |    59867      8 |      777 |      668
1272.11/1272.51	c 1271s |      17 |  5811908 |   275932 |    59867      8 |      777 |      668
1274.62/1275.09	c 1274s |      17 |  5823892 |   276532 |    59867      8 |      777 |      668
1277.11/1277.56	c 1276s |      17 |  5825791 |   277032 |    59867      8 |      777 |      668
1279.31/1279.71	c 1279s |      17 |  5833555 |   277432 |    59867      8 |      777 |      668
1281.51/1281.94	c 1281s |      17 |  5839681 |   278032 |    59867      8 |      777 |      668
1283.81/1284.25	c 1283s |      17 |  5843100 |   278432 |    59867      8 |      777 |      668
1286.00/1286.48	c 1285s |      17 |  5852297 |   279032 |    59867      8 |      777 |      668
1288.30/1288.77	c 1288s |      17 |  5862977 |   279632 |    59867      8 |      777 |      668
1290.60/1291.02	c 1290s |      17 |  5872653 |   280132 |    59867      8 |      777 |      668
1292.90/1293.37	c 1292s |      17 |  5881454 |   280632 |    59867      8 |      777 |      668
1295.19/1295.60	c 1294s |      17 |  5890861 |   281232 |    59867      8 |      777 |      668
1297.29/1297.79	c 1297s |      17 |  5894353 |   281732 |    59867      8 |      777 |      668
1299.39/1299.88	c 1299s |      17 |  5899904 |   282232 |    59867      8 |      777 |      668
1301.79/1302.27	c 1301s |      17 |  5906504 |   282832 |    59867      8 |      777 |      668
1304.09/1304.50	c 1303s |      17 |  5917143 |   283332 |    59867      8 |      777 |      668
1306.29/1306.78	c 1306s |      17 |  5926498 |   283832 |    59867      8 |      777 |      668
1308.59/1309.01	c 1308s |      17 |  5932716 |   284332 |    59867      8 |      777 |      668
1311.58/1312.04	c 1311s |      17 |  5940126 |   284732 |    59867      9 |      777 |      668
1313.78/1314.21	c 1313s |      17 |  5947770 |   285432 |    59867      9 |      777 |      668
1315.88/1316.38	c 1315s |      17 |  5953174 |   286032 |    59867      9 |      777 |      668
1318.08/1318.53	c 1317s |      17 |  5962164 |   286532 |    59867      9 |      777 |      668
1320.38/1320.81	c 1320s |      17 |  5974630 |   287132 |    59867      9 |      777 |      668
1322.78/1323.22	c 1322s |      17 |  5988965 |   287732 |    59867      9 |      777 |      668
1324.88/1325.38	c 1324s |      17 |  5994441 |   288332 |    59867      9 |      777 |      668
1327.17/1327.65	c 1326s |      17 |  6001861 |   288832 |    59867      9 |      777 |      668
1329.58/1330.07	c 1329s |      17 |  6008482 |   289332 |    59867      9 |      777 |      668
1332.07/1332.52	c 1331s |      17 |  6009824 |   289732 |    59867      9 |      777 |      668
1334.28/1334.71	c 1334s |      17 |  6010413 |   289932 |    59867      9 |      777 |      668
1336.37/1336.80	c 1336s |      17 |  6017666 |   290432 |    59867      9 |      777 |      668
1338.47/1338.95	c 1338s |      17 |  6028640 |   290932 |    59867      9 |      777 |      668
1340.48/1340.96	c 1340s |      17 |  6037656 |   291532 |    59867      9 |      777 |      668
1342.78/1343.23	c 1342s |      17 |  6046507 |   292132 |    59867      9 |      777 |      668
1345.16/1345.63	c 1344s |      17 |  6055637 |   292732 |    59867      9 |      777 |      668
1347.46/1347.90	c 1347s |      17 |  6062968 |   293232 |    59867      9 |      777 |      668
1349.46/1349.94	c 1349s |      17 |  6066599 |   293632 |    59867      9 |      777 |      668
1351.86/1352.36	c 1351s |      17 |  6071795 |   294132 |    59867      9 |      777 |      668
1353.96/1354.49	c 1353s |      17 |  6076176 |   294432 |    65854      9 |      777 |      668
1356.16/1356.64	c 1355s |      17 |  6084159 |   295032 |    65854      9 |      777 |      668
1358.56/1359.01	c 1358s |      17 |  6089407 |   295532 |    65854      9 |      777 |      668
1360.86/1361.33	c 1360s |      17 |  6093705 |   295932 |    65854      9 |      777 |      668
1362.36/1362.84	c 1362s |      18 |  6098073 |   296252 |    65854      9 |      777 |      668
1364.55/1365.04	c 1364s |      18 |  6111387 |   296652 |    65854      9 |      777 |      668
1366.86/1367.36	c 1366s |      18 |  6126770 |   297252 |    65854      9 |      777 |      668
1368.85/1369.38	c 1368s |      18 |  6135098 |   297752 |    65854      9 |      777 |      668
1371.26/1371.80	c 1371s |      18 |  6156853 |   298352 |    65854      9 |      777 |      668
1373.65/1374.11	c 1373s |      18 |  6173237 |   298952 |    65854      9 |      777 |      668
1375.85/1376.35	c 1375s |      18 |  6191030 |   299752 |    65854      9 |      777 |      668
1378.25/1378.71	c 1378s |      18 |  6206641 |   300552 |    65854      9 |      777 |      668
1380.25/1380.78	c 1380s |      18 |  6227615 |   301152 |    65854      9 |      777 |      668
1382.55/1383.07	c 1382s |      18 |  6241945 |   301652 |    65854      9 |      777 |      668
1385.05/1385.58	c 1384s |      18 |  6255295 |   302152 |    65854      9 |      777 |      668
1387.35/1387.80	c 1387s |      18 |  6270104 |   302652 |    65854      9 |      777 |      668
1389.45/1389.90	c 1389s |      18 |  6280319 |   303052 |    65854      9 |      777 |      668
1391.95/1392.48	c 1391s |      18 |  6290955 |   303552 |    65854      9 |      777 |      668
1394.36/1394.84	c 1394s |      18 |  6301686 |   303952 |    65854      9 |      777 |      668
1396.55/1397.03	c 1396s |      18 |  6314141 |   304552 |    65854      9 |      777 |      668
1400.45/1400.91	c 1400s |      18 |  6314568 |   304752 |    65854      9 |      777 |      668
1402.55/1403.02	c 1402s |      18 |  6318800 |   304952 |    65854      9 |      777 |      668
1404.75/1405.25	c 1404s |      18 |  6330944 |   305452 |    65854      9 |      777 |      668
1406.95/1407.47	c 1406s |      18 |  6346563 |   305952 |    65854      9 |      777 |      668
1409.05/1409.55	c 1408s |      18 |  6360074 |   306452 |    65854      9 |      777 |      668
1411.35/1411.83	c 1411s |      18 |  6376805 |   307052 |    65854      9 |      777 |      668
1413.65/1414.14	c 1413s |      18 |  6389171 |   307652 |    65854      9 |      777 |      668
1416.04/1416.59	c 1415s |      18 |  6400172 |   308152 |    65854      9 |      777 |      668
1418.55/1419.02	c 1418s |      18 |  6408153 |   308652 |    65854      9 |      777 |      668
1421.24/1421.74	c 1421s |      18 |  6416312 |   309152 |    65854      9 |      777 |      668
1423.24/1423.76	c 1423s |      18 |  6418865 |   309552 |    65854      9 |      777 |      668
1425.54/1426.08	c 1425s |      18 |  6432148 |   310052 |    65854      9 |      777 |      668
1427.74/1428.22	c 1427s |      18 |  6446786 |   310552 |    65854      9 |      777 |      668
1430.65/1431.14	c 1430s |      18 |  6449755 |   310952 |    65854      9 |      777 |      668
1432.85/1433.38	c 1432s |      18 |  6457642 |   311452 |    65854      9 |      777 |      668
1435.05/1435.52	c 1434s |      18 |  6469248 |   311852 |    65854      9 |      777 |      668
1437.14/1437.61	c 1436s |      18 |  6476752 |   312352 |    65854      9 |      777 |      668
1439.14/1439.69	c 1439s |      18 |  6492684 |   312752 |    65854      9 |      777 |      668
1441.54/1442.03	c 1441s |      18 |  6505927 |   313252 |    65854      9 |      777 |      668
1444.14/1444.65	c 1443s |      18 |  6513466 |   313752 |    65854      9 |      777 |      668
1446.34/1446.88	c 1446s |      18 |  6528855 |   314252 |    65854      9 |      777 |      668
1448.35/1448.89	c 1448s |      18 |  6536019 |   314652 |    65854      9 |      777 |      668
1450.94/1451.45	c 1450s |      18 |  6547650 |   315052 |    65854      9 |      777 |      668
1453.34/1453.83	c 1453s |      18 |  6564785 |   315552 |    65854      9 |      777 |      668
1455.44/1455.91	c 1455s |      18 |  6567412 |   315952 |    65854      9 |      777 |      668
1457.94/1458.40	c 1457s |      18 |  6579167 |   316352 |    65854      9 |      777 |      668
1459.94/1460.48	c 1459s |      18 |  6584077 |   316652 |    65854      9 |      778 |      669
1462.04/1462.51	c 1461s |      18 |  6597203 |   317052 |    65854      9 |      778 |      669
1464.34/1464.87	c 1464s |      18 |  6608817 |   317552 |    65854      9 |      778 |      669
1466.54/1467.02	c 1466s |      18 |  6623294 |   318052 |    65854      9 |      778 |      669
1468.84/1469.33	c 1468s |      18 |  6638831 |   318652 |    65854      9 |      778 |      669
1470.94/1471.41	c 1470s |      18 |  6657712 |   319052 |    65854      9 |      778 |      669
1473.14/1473.62	c 1472s |      18 |  6675289 |   319552 |    65854      9 |      778 |      669
1475.64/1476.13	c 1475s |      18 |  6690461 |   320052 |    65854      9 |      778 |      669
1478.14/1478.60	c 1477s |      18 |  6693215 |   320152 |    65854     10 |      779 |      670
1480.44/1480.99	c 1480s |      18 |  6719162 |   320852 |    65854     10 |      779 |      670
1482.64/1483.12	c 1482s |      18 |  6735247 |   321452 |    65854     10 |      779 |      670
1484.94/1485.49	c 1484s |      18 |  6744645 |   321952 |    65854     10 |      779 |      670
1487.04/1487.57	c 1486s |      18 |  6758062 |   322552 |    65854     10 |      779 |      670
1489.14/1489.66	c 1488s |      18 |  6764825 |   323052 |    65854     10 |      779 |      670
1491.64/1492.17	c 1491s |      18 |  6774795 |   323752 |    65854     10 |      779 |      670
1493.73/1494.28	c 1493s |      18 |  6781948 |   324352 |    65854     10 |      779 |      670
1495.83/1496.37	c 1495s |      18 |  6786358 |   324952 |    65854     10 |      779 |      670
1498.23/1498.71	c 1498s |      18 |  6788280 |   325352 |    65854     10 |      779 |      670
1500.33/1500.85	c 1500s |      18 |  6790649 |   325752 |    65854     10 |      779 |      670
1502.63/1503.12	c 1502s |      18 |  6794039 |   326052 |    65854     10 |      779 |      670
1504.93/1505.43	c 1504s |      18 |  6805523 |   326752 |    65854     10 |      779 |      670
1507.24/1507.70	c 1507s |      18 |  6807466 |   327152 |    65854     10 |      779 |      670
1510.34/1510.88	c 1510s |      18 |  6808066 |   327352 |    65854     10 |      779 |      670
1512.84/1513.34	c 1512s |      18 |  6811404 |   327852 |    65854     10 |      779 |      670
1515.13/1515.60	c 1514s |      18 |  6813800 |   328452 |    65854     10 |      779 |      670
1517.23/1517.75	c 1517s |      18 |  6821986 |   329052 |    65854     10 |      779 |      670
1519.53/1520.03	c 1519s |      18 |  6835222 |   329652 |    65854     10 |      779 |      670
1521.94/1522.42	c 1521s |      18 |  6847204 |   330452 |    65854     10 |      779 |      670
1524.24/1524.77	c 1524s |      18 |  6860265 |   331052 |    65854     10 |      779 |      670
1526.34/1526.87	c 1526s |      18 |  6873118 |   331752 |    65854     10 |      779 |      670
1528.54/1529.08	c 1528s |      18 |  6890146 |   332352 |    65854     10 |      779 |      670
1530.93/1531.41	c 1530s |      18 |  6905194 |   332952 |    65854     10 |      779 |      670
1532.94/1533.45	c 1532s |      18 |  6916908 |   333352 |    65854     10 |      779 |      670
1534.93/1535.49	c 1534s |      18 |  6926998 |   333852 |    65854     10 |      779 |      670
1537.03/1537.51	c 1536s |      18 |  6939420 |   334452 |    65854     10 |      779 |      670
1539.13/1539.63	c 1538s |      18 |  6954770 |   335052 |    65854     10 |      779 |      670
1541.33/1541.89	c 1541s |      18 |  6970238 |   335652 |    65854     10 |      779 |      670
1543.43/1543.97	c 1543s |      18 |  6989244 |   336152 |    65854     10 |      779 |      670
1545.63/1546.13	c 1545s |      18 |  6997758 |   336752 |    65854     10 |      779 |      670
1547.73/1548.20	c 1547s |      18 |  7001992 |   337052 |    65854     10 |      779 |      670
1549.83/1550.35	c 1549s |      18 |  7014267 |   337652 |    65854     10 |      779 |      670
1552.13/1552.68	c 1552s |      18 |  7021681 |   338252 |    65854     10 |      779 |      670
1554.53/1555.05	c 1554s |      18 |  7029201 |   338952 |    65854     10 |      779 |      670
1557.03/1557.60	c 1556s |      18 |  7035407 |   339552 |    65854     10 |      779 |      670
1559.13/1559.70	c 1559s |      18 |  7043919 |   340052 |    65854     10 |      779 |      670
1561.53/1562.03	c 1561s |      18 |  7062064 |   340752 |    65854     10 |      779 |      670
1563.53/1564.05	c 1563s |      18 |  7073544 |   341252 |    65854     10 |      779 |      670
1565.53/1566.06	c 1565s |      18 |  7086834 |   341752 |    65854     10 |      779 |      670
1567.62/1568.13	c 1567s |      18 |  7099994 |   342252 |    65854     10 |      779 |      670
1569.62/1570.19	c 1569s |      18 |  7109030 |   342852 |    65854     10 |      779 |      670
1572.02/1572.50	c 1571s |      18 |  7125502 |   343452 |    65854     10 |      779 |      670
1574.52/1575.00	c 1574s |      18 |  7127031 |   343852 |    65854     10 |      779 |      670
1576.72/1577.26	c 1576s |      18 |  7128928 |   344252 |    65854     10 |      779 |      670
1578.92/1579.45	c 1578s |      18 |  7139603 |   344752 |    65854     10 |      779 |      670
1581.12/1581.65	c 1580s |      18 |  7149377 |   345352 |    65854     10 |      779 |      670
1583.12/1583.68	c 1583s |      18 |  7156140 |   345852 |    65854     10 |      779 |      670
1585.42/1585.95	c 1585s |      18 |  7163302 |   346352 |    65854     10 |      779 |      670
1587.82/1588.32	c 1587s |      18 |  7173995 |   346952 |    65854     10 |      779 |      670
1590.12/1590.62	c 1589s |      18 |  7187055 |   347452 |    65854     10 |      779 |      670
1592.22/1592.77	c 1592s |      18 |  7199430 |   347952 |    65854     10 |      779 |      670
1594.72/1595.26	c 1594s |      18 |  7213332 |   348552 |    65854     10 |      779 |      670
1596.92/1597.49	c 1596s |      18 |  7225282 |   349052 |    65854     10 |      779 |      670
1599.02/1599.51	c 1598s |      18 |  7233658 |   349452 |    65854     10 |      779 |      670
1601.12/1601.69	c 1601s |      18 |  7241637 |   349952 |    65854     10 |      779 |      670
1603.91/1604.40	c 1603s |      18 |  7244045 |   350452 |    65854     10 |      779 |      670
1606.01/1606.53	c 1605s |      18 |  7254001 |   350952 |    65854     10 |      779 |      670
1608.01/1608.57	c 1607s |      18 |  7264818 |   351452 |    65854     10 |      779 |      670
1610.51/1611.00	c 1610s |      18 |  7275776 |   351952 |    65854     10 |      779 |      670
1612.51/1613.07	c 1612s |      18 |  7287759 |   352352 |    65854     10 |      779 |      670
1614.61/1615.13	c 1614s |      18 |  7293610 |   352952 |    65854     10 |      779 |      670
1616.71/1617.22	c 1616s |      18 |  7298884 |   353352 |    65854     10 |      779 |      670
1618.72/1619.27	c 1618s |      18 |  7308879 |   353752 |    65854     10 |      779 |      670
1621.11/1621.63	c 1620s |      18 |  7329304 |   354252 |    65854     10 |      779 |      670
1623.61/1624.11	c 1623s |      18 |  7342523 |   354752 |    65854     10 |      779 |      670
1625.81/1626.31	c 1625s |      18 |  7350279 |   355152 |    65854     10 |      779 |      670
1629.11/1629.65	c 1628s |      18 |  7358162 |   355452 |    65854     11 |      780 |      671
1631.42/1631.93	c 1631s |      18 |  7368940 |   356152 |    65854     11 |      780 |      671
1633.52/1634.09	c 1633s |      18 |  7379609 |   356852 |    65854     11 |      780 |      671
1635.82/1636.36	c 1635s |      18 |  7382956 |   357752 |    65854     11 |      780 |      671
1637.92/1638.44	c 1637s |      18 |  7388700 |   358352 |    65854     11 |      780 |      671
1640.02/1640.52	c 1639s |      18 |  7396939 |   358952 |    65854     11 |      780 |      671
1642.71/1643.28	c 1642s |      18 |  7398043 |   359352 |    65854     11 |      780 |      671
1645.01/1645.53	c 1644s |      18 |  7404342 |   359952 |    65854     11 |      780 |      671
1647.11/1647.60	c 1646s |      18 |  7411842 |   360352 |    65854     11 |      780 |      671
1649.31/1649.84	c 1649s |      18 |  7428336 |   361052 |    65854     11 |      780 |      671
1651.51/1652.03	c 1651s |      18 |  7440399 |   361752 |    65854     11 |      780 |      671
1653.71/1654.30	c 1653s |      18 |  7450983 |   362452 |    65854     11 |      780 |      671
1655.91/1656.40	c 1655s |      18 |  7457477 |   362952 |    65854     11 |      780 |      671
1658.21/1658.74	c 1658s |      18 |  7473376 |   363652 |    65854     11 |      780 |      671
1660.31/1660.81	c 1660s |      18 |  7482976 |   364352 |    65854     11 |      780 |      671
1662.61/1663.14	c 1662s |      18 |  7496246 |   365052 |    65854     11 |      780 |      671
1664.71/1665.27	c 1664s |      18 |  7509441 |   365652 |    65854     11 |      780 |      671
1666.91/1667.44	c 1666s |      18 |  7523989 |   366352 |    65854     11 |      780 |      671
1669.01/1669.59	c 1668s |      18 |  7530674 |   367052 |    65854     11 |      780 |      671
1671.31/1671.89	c 1671s |      18 |  7538183 |   367752 |    65854     11 |      780 |      671
1673.71/1674.24	c 1673s |      18 |  7541736 |   368352 |    65854     11 |      780 |      671
1676.01/1676.58	c 1675s |      18 |  7546901 |   368952 |    65854     11 |      780 |      671
1678.11/1678.69	c 1678s |      18 |  7548728 |   369352 |    65854     11 |      780 |      671
1680.41/1680.92	c 1680s |      18 |  7550961 |   369752 |    65854     11 |      780 |      671
1682.70/1683.23	c 1682s |      18 |  7551917 |   370052 |    65854     11 |      780 |      671
1685.71/1686.22	c 1685s |      18 |  7553462 |   370352 |    65854     11 |      780 |      671
1688.30/1688.80	c 1688s |      18 |  7555245 |   370652 |    65854     11 |      780 |      671
1690.60/1691.11	c 1690s |      18 |  7556828 |   371052 |    65854     11 |      780 |      671
1692.60/1693.12	c 1692s |      18 |  7557780 |   371352 |    65854     11 |      780 |      671
1695.00/1695.55	c 1694s |      18 |  7559155 |   371652 |    65854     11 |      780 |      671
1697.30/1697.88	c 1697s |      18 |  7562098 |   372052 |    65854     11 |      780 |      671
1700.01/1700.51	c 1699s |      18 |  7563064 |   372352 |    65854     11 |      780 |      671
1702.51/1703.01	c 1702s |      18 |  7566461 |   372752 |    65854     11 |      780 |      671
1704.61/1705.15	c 1704s |      18 |  7568096 |   373152 |    65854     11 |      780 |      671
1707.00/1707.56	c 1706s |      18 |  7568856 |   373452 |    65854     11 |      780 |      671
1709.10/1709.69	c 1709s |      18 |  7569859 |   373752 |    65854     11 |      780 |      671
1711.40/1711.91	c 1711s |      18 |  7570861 |   374052 |    65854     11 |      780 |      671
1714.10/1714.65	c 1713s |      18 |  7571846 |   374352 |    65854     11 |      780 |      671
1716.61/1717.18	c 1716s |      18 |  7573459 |   374652 |    65854     11 |      780 |      671
1719.30/1719.81	c 1719s |      18 |  7573952 |   374852 |    65854     11 |      780 |      671
1722.00/1722.59	c 1721s |      18 |  7576045 |   375152 |    65854     11 |      780 |      671
1724.60/1725.15	c 1724s |      18 |  7578256 |   375452 |    65854     11 |      780 |      671
1727.00/1727.52	c 1726s |      18 |  7579414 |   375652 |    65854     11 |      780 |      671
1729.70/1730.27	c 1729s |      18 |  7580929 |   375952 |    65854     11 |      780 |      671
1732.40/1732.91	c 1732s |      18 |  7581598 |   376152 |    65854     11 |      780 |      671
1735.20/1735.70	c 1735s |      18 |  7582495 |   376352 |    65854     11 |      780 |      671
1737.90/1738.46	c 1737s |      18 |  7583078 |   376552 |    65854     11 |      780 |      671
1741.30/1741.88	c 1741s |      18 |  7583881 |   376752 |    65854     11 |      780 |      671
1745.09/1745.68	c 1745s |      18 |  7584802 |   376952 |    65854     11 |      780 |      671
1748.69/1749.28	c 1748s |      18 |  7585622 |   377152 |    65854     11 |      780 |      671
1751.59/1752.10	c 1751s |      18 |  7589020 |   377552 |    65854     11 |      780 |      671
1754.00/1754.55	c 1753s |      18 |  7590843 |   377952 |    65854     11 |      780 |      671
1756.20/1756.79	c 1756s |      18 |  7592062 |   378252 |    65854     11 |      780 |      671
1758.60/1759.12	c 1758s |      18 |  7592934 |   378552 |    65854     11 |      780 |      671
1760.60/1761.19	c 1760s |      18 |  7594513 |   378852 |    65854     11 |      780 |      671
1762.90/1763.42	c 1762s |      18 |  7595656 |   379152 |    65854     11 |      780 |      671
1765.10/1765.69	c 1765s |      18 |  7596537 |   379352 |    65854     11 |      780 |      671
1767.89/1768.43	c 1767s |      18 |  7597441 |   379552 |    65854     11 |      780 |      671
1770.39/1770.96	c 1770s |      18 |  7598470 |   379852 |    65854     11 |      780 |      671
1773.19/1773.70	c 1773s |      18 |  7599201 |   380052 |    65854     11 |      780 |      671
1776.29/1776.89	c 1776s |      18 |  7600348 |   380252 |    65854     11 |      780 |      671
1780.59/1781.14	c 1780s |      18 |  7600890 |   380452 |    65854     11 |      780 |      671
1782.89/1783.46	c 1782s |      18 |  7601056 |   380552 |    65854     11 |      780 |      671
1784.99/1785.58	c 1784s |      18 |  7601897 |   380752 |    65854     11 |      780 |      671
1787.49/1788.03	c 1787s |      18 |  7602574 |   380952 |    65854     11 |      780 |      671
1789.69/1790.28	c 1789s |      18 |  7603105 |   381152 |    65854     11 |      780 |      671
1792.89/1793.44	c 1792s |      18 |  7604049 |   381352 |    65854     11 |      780 |      671
1795.80/1796.38	c 1795s |      18 |  7604337 |   381452 |    65854     11 |      780 |      671
1797.89/1798.41	c 1797s |      18 |  7604624 |   381552 |    65854     11 |      780 |      671

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

pid=18960
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.26 2.24 2.19 3/180 18963
/proc/meminfo: memFree=29249960/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=547260 CPUtime=0 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 2010 0 0 0 0 0 0 0 20 0 4 0 110635631 560394240 1859 33554432000 4194304 16246674 140735768267328 140735768266752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18963/statm: 137327 1868 441 2943 0 134221 0
[pid=18963/tid=18964] ppid=18960 vsize=563644 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 577171456 1925 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=567740 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 581365760 1942 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=571836 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110635631 585560064 1958 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.26 2.24 2.19 3/180 18963
/proc/meminfo: memFree=29249960/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 26231 0 0 0 5 4 0 0 20 0 4 0 110635631 1333334016 26018 33554432000 4194304 16246674 140735768267328 140735768266640 7374276 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18963/statm: 325521 26018 801 2943 0 322415 0
[pid=18963/tid=18964] ppid=18960 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1333334016 26025 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1333334016 26036 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1333334016 26047 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.20046 s]
/proc/loadavg: 2.26 2.24 2.19 3/180 18963
/proc/meminfo: memFree=29249960/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 47411 0 0 0 13 6 0 0 20 0 4 0 110635631 1345916928 47709 33554432000 4194304 16246674 140735768267328 140735768266640 7852948 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18963/statm: 328593 47709 801 2943 0 325487 0
[pid=18963/tid=18964] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 47709 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 47709 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 47709 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.30045 s]
/proc/loadavg: 2.26 2.24 2.19 3/180 18963
/proc/meminfo: memFree=29249960/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 51908 0 0 0 22 7 0 0 20 0 4 0 110635631 1345916928 52206 33554432000 4194304 16246674 140735768267328 140735768266640 6727191 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18963/statm: 328593 52206 831 2943 0 325487 0
[pid=18963/tid=18964] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 52206 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 52206 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 52206 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700347 s]
/proc/loadavg: 2.26 2.24 2.19 3/180 18963
/proc/meminfo: memFree=29249960/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 118005 0 0 0 52 17 0 0 20 0 4 0 110635631 1345916928 118303 33554432000 4194304 16246674 140735768267328 140735768249216 5669490 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18963/statm: 328593 118310 866 2943 0 325487 0
[pid=18963/tid=18964] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 118315 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 118319 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 118324 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50039 s]
/proc/loadavg: 2.26 2.24 2.19 3/184 18967
/proc/meminfo: memFree=28581396/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 205898 0 0 0 120 29 0 0 20 0 4 0 110635631 1345916928 206196 33554432000 4194304 16246674 140735768267328 140735768249216 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 328593 206198 878 2943 0 325487 0
[pid=18963/tid=18964] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 206200 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 206203 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 206204 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10044 s]
/proc/loadavg: 2.26 2.24 2.19 4/184 18967
/proc/meminfo: memFree=28193648/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1314372 CPUtime=3.08 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 264118 0 0 0 272 36 0 0 20 0 4 0 110635631 1345916928 264416 33554432000 4194304 16246674 140735768267328 140735768249216 5674080 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 328593 264416 885 2943 0 325487 0
[pid=18963/tid=18964] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 264416 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 264416 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 264416 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1314372

[startup+6.30044 s]
/proc/loadavg: 2.24 2.24 2.19 3/184 18967
/proc/meminfo: memFree=28173256/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1314372 CPUtime=6.28 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 269267 0 0 0 591 37 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140735768249216 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 328593 269565 885 2943 0 325487 0
[pid=18963/tid=18964] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.22 2.23 2.19 3/184 18967
/proc/meminfo: memFree=28173064/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1314372 CPUtime=12.68 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 269267 0 0 0 1231 37 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140735768249216 5676075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 328593 269565 885 2943 0 325487 0
[pid=18963/tid=18964] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 18967
/proc/meminfo: memFree=28172840/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1314372 CPUtime=25.48 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 269267 0 0 0 2511 37 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140735768249216 13950688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 328593 269565 885 2943 0 325487 0
[pid=18963/tid=18964] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1004 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 18967
/proc/meminfo: memFree=28172872/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 269267 0 0 0 5071 37 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140735768249216 5667313 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 328593 269565 885 2943 0 325487 0
[pid=18963/tid=18964] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/183 18968
/proc/meminfo: memFree=28172296/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 269267 0 0 0 10190 38 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140735768249216 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 328593 269565 885 2943 0 325487 0
[pid=18963/tid=18964] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1345916928 269565 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1316420

[startup+1302.3 s]
/proc/loadavg: 2.16 2.18 2.17 4/183 18998
/proc/meminfo: memFree=28162208/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1316420 CPUtime=1301.89 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 269998 0 0 0 130138 51 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140735768266504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 329105 269964 886 2943 0 325999 0
[pid=18963/tid=18964] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 18999
/proc/meminfo: memFree=28162064/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1316420 CPUtime=1361.86 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 270042 0 0 0 136134 52 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140735768249216 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 329105 269964 886 2943 0 325999 0
[pid=18963/tid=18964] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.24 2.19 2.17 3/183 19000
/proc/meminfo: memFree=28162184/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1316420 CPUtime=1421.85 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 270044 0 0 0 142133 52 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140735768266504 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 329105 269964 886 2943 0 325999 0
[pid=18963/tid=18964] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 269964 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.27 2.20 2.18 4/183 19002
/proc/meminfo: memFree=28161820/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1316420 CPUtime=1481.84 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 270158 0 0 0 148131 53 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140735768250328 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 329105 270078 886 2943 0 325999 0
[pid=18963/tid=18964] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 19003
/proc/meminfo: memFree=28161884/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1316420 CPUtime=1541.84 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 270158 0 0 0 154130 54 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140735768249216 12483512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 329105 270078 886 2943 0 325999 0
[pid=18963/tid=18964] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/183 19004
/proc/meminfo: memFree=28161456/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1316420 CPUtime=1601.82 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 270158 0 0 0 160128 54 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140735768249216 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 329105 270078 886 2943 0 325999 0
[pid=18963/tid=18964] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.18 2.18 2.18 4/183 19053
/proc/meminfo: memFree=28474764/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1316420 CPUtime=1661.81 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 270158 0 0 0 166126 55 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140735768249216 12483341 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 329105 270078 886 2943 0 325999 0
[pid=18963/tid=18964] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.21 2.17 2.17 3/183 19054
/proc/meminfo: memFree=28473488/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1316420 CPUtime=1721.8 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 270158 0 0 0 172123 57 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140735768266504 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 329105 270078 886 2943 0 325999 0
[pid=18963/tid=18964] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/184 19059
/proc/meminfo: memFree=28472380/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1316420 CPUtime=1781.79 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 270158 0 0 0 178120 59 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140735768249216 12483307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 329105 270078 886 2943 0 325999 0
[pid=18963/tid=18964] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.19 2.18 3/184 19060
/proc/meminfo: memFree=28472456/32872528 swapFree=17452/1581112
[pid=18963] ppid=18960 vsize=1316420 CPUtime=1800.09 cores=0,2,4,6
/proc/18963/stat : 18963 (toysat) R 18960 18963 13546 0 -1 4202496 270158 0 0 0 179949 60 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140735768266424 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18963/statm: 329105 270078 886 2943 0 325999 0
[pid=18963/tid=18964] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18964/stat : 18964 (toysat) S 18960 18963 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576069496048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18963/tid=18965] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18965/stat : 18965 (toysat) S 18960 18963 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576059006192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18963/tid=18966] ppid=18960 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18963/task/18966/stat : 18966 (toysat) S 18960 18963 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110635631 1348014080 270078 33554432000 4194304 16246674 140735768267328 140576048532656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1316420

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 18963 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.1
CPU user time (s): 1799.5
CPU system time (s): 0.606907
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.606907
maximum resident set size= 1080312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270158
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= 394
involuntary context switches= 1990

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6323 second user time and 6.89595 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 10:10:37
IDJOB=4078903
IDBENCH=90209
IDSOLVER=2542
FILE ID=node139/4078903-1465287037
RUNJOBID= node139-1465254943-13562
PBS_JOBID= 19843273
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 75849fe0d0ba66aaca3a2fe3a07c685a
RANDOM SEED=1599395901

node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29250488 kB
Buffers:           78060 kB
Cached:           145148 kB
SwapCached:         1412 kB
Active:          1165224 kB
Inactive:         140468 kB
Active(anon):    1081328 kB
Inactive(anon):     3552 kB
Active(file):      83896 kB
Inactive(file):   136916 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099812 kB
Dirty:             17516 kB
Writeback:             0 kB
AnonPages:       2792876 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             599452 kB
SReclaimable:      43468 kB
SUnreclaim:       555984 kB
KernelStack:        1528 kB
PageTables:         9680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2805520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1701888 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= 71692 MiB
End job on node139 at 2016-06-07 10:40:38