Trace number 4097842

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.52

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_18.opb
MD5SUM8d379ca3dcc1813408eb4744b290ded2
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 variables6806
Total number of constraints33297
Number of constraints which are clauses33292
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint82
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 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-17T01:08:47+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-4097842-1466118527.opb"]
0.00/0.01	c use --random-gen="3162561599 2434885962 174583948 932889536 3205579420 2925308499 2178350132 3670259404 327450867 2007212285 1426842128 1685482007 2840588350 2524356899 845098344 3830454407 3712400345 1643672431 229226350 2619510580 1816679239 2242526900 2226343938 4275571315 1260292080 2148012788 1322622068 847973060 2834816369 4222639160 2620676429 63010207 923647025 4267093198 1894147146 3883092653 1876795954 4179928107 1531306668 319340185 3403108047 301630850 21306060 1215589600 1199916267 2769287819 732580720 1546064826 3192208936 843188642 3562500706 2974326653 1124287610 773394526 789181167 3046589347 1324410422 741025049 3688914267 1303295727 907929715 1638506986 2271688541 1313512052 2485131605 212364797 990740482 304665082 3426355127 3471308448 2945854342 3607448995 3796880036 1374518515 1403968032 3858047962 3108706811 1677052489 1837023781 1629268820 4240084348 481978070 997221372 811113014 2748977973 376074098 2000576688 1350397019 1606337689 2350944339 198666130 3925884166 3763047436 893327768 643622015 3717900789 3049366359 365069975 589480920 1128223392 3492394339 3302057602 3888777698 1738913384 1900232188 3877316013 2058272611 3102373403 1569948548 2698180682 263490817 3004566040 3851077817 2704016027 382708893 838456527 2836623061 1098692905 804898933 2102005465 4189225384 675243696 4279587966 287630126 3847190294 1065194186 3006400901 953030396 3179550068 1993149588 2261256443 1775720896 2315221273 1679559128 2603585258 498056934 3433618625 1548476934 4104642207 2545227456 2339804483 1338228164 3017866665 3713955593 2123167898 2797559949 15236072 2909196537 1718076451 1788605780 2404323165 863343746 3544973580 1302466378 3769219784 1869579465 3449506365 2567150156 3398639484 1653171031 2770248100 1222033720 717148455 871709729 814159262 4335880 2710373345 2647305817 3849526558 2931665592 2012828907 1721347734 2826318882 1607328031 1622836777 2725742991 577221812 163462219 2323365446 2845721232 3700298738 2720965896 784732022 2921236299 837286108 2234715505 3152615174 3766565390 4168298431 3270930403 2667067655 964010543 3204858917 217911606 778162854 2444580979 2730659832 2665076346 4184595151 1250404335 38019563 1103908971 4290463862 1667317638 2814749172 2862963800 3298142494 2426105812 4078920820 3738055056 284210033 2444381925 879143901 2982736631 3569227408 197156920 2995856253 2337614438 3628848171 3981234153 533665042 3205622117 3367122146 524871823 4068122570 683491790 2640559106 800686461 1313669663 2248306307 2382166915 3312968790 1634895067 1596252175 4064978685 3709913586 3425586973 3917215656 3953130750 1105258239 4218808648 2960215192 2800555649 1851204215 2983331652 3776426910 1402777747 168182170 4105474806 4053722787 4219397765 1432324311 2473781135 787322823 1939157728 1874997802 255 362436" option to reproduce the execution
0.79/0.83	c #vars 6806
0.79/0.83	c #constraints 33297
2.19/2.27	c Solving starts ...
2.19/2.27	c ============================[ Search Statistics ]============================
2.19/2.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.19/2.27	c       |         |          |          |    Limit     GC | Var      | Constra 
2.19/2.27	c =============================================================================
2.19/2.27	c  0.0s |       0 |        0 |        0 |    13366      0 |        5 |        0
2.98/3.05	c  0.8s |       1 |      345 |      100 |    13366      0 |        5 |      712
3.48/3.55	c  1.3s |       2 |     1687 |      250 |    14703      0 |        5 |      712
4.58/4.69	c  2.4s |       3 |     4403 |      475 |    16174      0 |        5 |      712
6.18/6.20	c  3.9s |       4 |     7482 |      813 |    17792      0 |        5 |      712
8.18/8.27	c  6.0s |       4 |    11543 |     1313 |    19572      0 |        5 |      712
8.18/8.29	c  6.0s |       5 |    11555 |     1320 |    19572      0 |        5 |      712
10.48/10.50	c  8.2s |       5 |    16440 |     1820 |    21530      0 |        5 |      712
11.28/11.31	c  9.0s |       6 |    18506 |     2081 |    23684      0 |        5 |      712
13.48/13.53	c 11.3s |       6 |    22651 |     2681 |    23684      0 |        5 |      712
15.78/15.89	c 13.6s |       6 |    26905 |     3181 |    23684      0 |        5 |      712
15.98/16.09	c 13.8s |       7 |    27113 |     3223 |    26053      0 |        5 |      712
18.18/18.21	c 15.9s |       7 |    31649 |     3623 |    26053      0 |        5 |      712
20.38/20.46	c 18.2s |       7 |    37055 |     4123 |    26053      0 |        5 |      712
22.38/22.48	c 20.2s |       7 |    43456 |     4823 |    26053      0 |        5 |      712
22.68/22.71	c 20.4s |       8 |    44268 |     4936 |    28659      0 |        5 |      712
24.88/24.97	c 22.7s |       8 |    48325 |     5536 |    28659      0 |        5 |      712
26.98/27.03	c 24.8s |       8 |    54883 |     6136 |    28659      0 |        5 |      712
29.08/29.15	c 26.9s |       8 |    62074 |     6936 |    28659      0 |        5 |      712
31.28/31.35	c 29.1s |       8 |    69167 |     7436 |    28659      0 |        5 |      712
31.48/31.59	c 29.3s |       9 |    70777 |     7506 |    31525      0 |        5 |      712
33.68/33.70	c 31.4s |       9 |    74952 |     7906 |    31525      0 |        5 |      712
35.78/35.88	c 33.6s |       9 |    78113 |     8506 |    31525      0 |        5 |      712
37.88/37.99	c 35.7s |       9 |    82745 |     9206 |    31525      0 |        5 |      712
40.27/40.35	c 38.1s |       9 |    89010 |     9806 |    31525      0 |        5 |      712
42.37/42.42	c 40.1s |       9 |    93064 |    10206 |    31525      0 |        5 |      712
44.57/44.66	c 42.4s |       9 |    97974 |    10706 |    31525      0 |        5 |      712
46.28/46.31	c 44.0s |      10 |   102374 |    11361 |    34678      0 |        5 |      712
48.47/48.56	c 46.3s |      10 |   108425 |    11961 |    34678      0 |        5 |      712
50.87/50.90	c 48.6s |      10 |   114273 |    12461 |    34678      0 |        5 |      712
53.07/53.13	c 50.9s |      10 |   118540 |    13161 |    34678      0 |        5 |      712
55.17/55.25	c 53.0s |      10 |   124084 |    13761 |    34678      0 |        5 |      712
57.37/57.46	c 55.2s |      10 |   129610 |    14261 |    34678      0 |        5 |      712
59.57/59.62	c 57.3s |      10 |   137840 |    14761 |    34678      0 |        5 |      712
61.67/61.75	c 59.5s |      10 |   141923 |    15461 |    34678      0 |        5 |      712
63.77/63.88	c 61.6s |      10 |   149078 |    16061 |    34678      0 |        5 |      712
66.16/66.27	c 64.0s |      10 |   156103 |    16561 |    34678      0 |        5 |      712
67.86/67.93	c 65.7s |      11 |   161425 |    17144 |    38146      0 |        5 |      712
69.87/69.99	c 67.7s |      11 |   167142 |    17744 |    38146      0 |        5 |      712
71.97/72.08	c 69.8s |      11 |   174012 |    18344 |    38146      0 |        5 |      712
74.17/74.26	c 72.0s |      11 |   180571 |    19144 |    38146      0 |        5 |      712
76.37/76.44	c 74.2s |      11 |   189313 |    19744 |    38146      0 |        5 |      712
78.47/78.57	c 76.3s |      11 |   194379 |    20344 |    38146      0 |        5 |      712
80.77/80.83	c 78.6s |      11 |   199534 |    21044 |    38146      0 |        5 |      712
82.97/83.00	c 80.7s |      11 |   203477 |    21544 |    38146      0 |        5 |      712
85.27/85.32	c 83.1s |      11 |   210303 |    22144 |    38146      0 |        5 |      712
87.27/87.39	c 85.1s |      11 |   217278 |    22944 |    38146      0 |        5 |      712
89.47/89.55	c 87.3s |      11 |   223280 |    23444 |    38146      0 |        5 |      712
91.47/91.59	c 89.3s |      11 |   228796 |    24044 |    38146      0 |        5 |      712
93.87/93.93	c 91.7s |      11 |   237048 |    24844 |    38146      0 |        5 |      712
95.97/96.09	c 93.8s |      11 |   242122 |    25544 |    38146      0 |        5 |      712
96.77/96.88	c 94.6s |      12 |   244537 |    25819 |    41961      0 |        5 |      712
98.87/98.91	c 96.6s |      12 |   249054 |    26319 |    41961      0 |        5 |      712
101.17/101.24	c 99.0s |      12 |   257005 |    27219 |    41961      0 |        5 |      712
103.27/103.35	c  101s |      12 |   264380 |    28019 |    41961      0 |        5 |      712
105.37/105.42	c  103s |      12 |   272485 |    28619 |    41961      0 |        5 |      712
107.67/107.75	c  105s |      12 |   280053 |    29419 |    41961      0 |        5 |      712
109.86/109.97	c  107s |      12 |   285014 |    30219 |    41961      0 |        5 |      712
112.06/112.14	c  109s |      12 |   292684 |    31119 |    41961      0 |        5 |      712
114.37/114.45	c  112s |      12 |   298627 |    31919 |    41961      0 |        5 |      712
116.46/116.56	c  114s |      12 |   302831 |    32719 |    41961      0 |        5 |      712
118.56/118.68	c  116s |      12 |   307495 |    33419 |    41961      0 |        5 |      712
120.86/120.93	c  118s |      12 |   311942 |    34119 |    41961      0 |        5 |      712
122.96/123.06	c  120s |      12 |   318653 |    35019 |    41961      0 |        5 |      712
124.96/125.10	c  122s |      12 |   321458 |    35719 |    41961      0 |        5 |      712
127.06/127.10	c  124s |      12 |   325955 |    36519 |    41961      0 |        5 |      712
129.16/129.25	c  126s |      12 |   329426 |    37419 |    41961      0 |        5 |      712
131.26/131.34	c  129s |      12 |   332655 |    38319 |    41961      0 |        5 |      712
132.36/132.40	c  130s |      13 |   333967 |    38832 |    46158      0 |        5 |      712
134.36/134.44	c  132s |      13 |   337863 |    39432 |    46158      0 |        5 |      712
136.66/136.71	c  134s |      13 |   341550 |    39832 |    46158      0 |        5 |      712
138.76/138.86	c  136s |      13 |   346785 |    40332 |    46158      0 |        5 |      712
140.96/141.10	c  138s |      13 |   351153 |    41032 |    46158      0 |        5 |      712
143.26/143.33	c  141s |      13 |   357851 |    41532 |    46158      0 |        5 |      712
145.35/145.47	c  143s |      13 |   362347 |    41932 |    46158      0 |        5 |      712
147.65/147.76	c  145s |      13 |   368699 |    42432 |    46158      0 |        5 |      712
149.95/150.00	c  147s |      13 |   371943 |    43132 |    46158      0 |        5 |      712
152.15/152.23	c  149s |      13 |   377069 |    43632 |    46158      0 |        5 |      712
154.55/154.66	c  152s |      13 |   382617 |    44132 |    46158      0 |        5 |      712
156.65/156.76	c  154s |      13 |   388397 |    44532 |    46158      0 |        5 |      712
158.95/159.05	c  156s |      13 |   395313 |    45132 |    46158      0 |        5 |      712
161.35/161.47	c  159s |      13 |   403270 |    46032 |    46158      0 |        5 |      712
163.65/163.77	c  161s |      13 |   409488 |    46532 |    46158      0 |        5 |      712
165.95/166.02	c  163s |      13 |   413594 |    47232 |    46158      0 |        5 |      712
168.14/168.30	c  166s |      13 |   420092 |    47832 |    46158      0 |        5 |      712
170.34/170.50	c  168s |      13 |   423564 |    48132 |    46158      1 |        5 |      712
172.54/172.69	c  170s |      13 |   427526 |    48532 |    46158      1 |        5 |      712
174.74/174.86	c  172s |      13 |   433448 |    49232 |    46158      1 |        5 |      712
176.94/177.02	c  174s |      13 |   438681 |    49832 |    46158      1 |        5 |      712
178.94/179.05	c  176s |      13 |   446046 |    50332 |    46158      1 |        5 |      712
181.14/181.27	c  179s |      13 |   452514 |    51032 |    46158      1 |        5 |      712
183.24/183.31	c  181s |      13 |   457445 |    51632 |    46158      1 |        5 |      712
185.24/185.39	c  183s |      13 |   463936 |    52132 |    46158      1 |        5 |      712
187.54/187.65	c  185s |      13 |   470225 |    52732 |    46158      1 |        5 |      712
189.63/189.76	c  187s |      13 |   474700 |    53532 |    46158      1 |        5 |      712
191.93/192.00	c  189s |      13 |   479857 |    54032 |    46158      1 |        5 |      712
194.03/194.15	c  191s |      13 |   483137 |    54632 |    46158      1 |        5 |      712
196.43/196.51	c  194s |      13 |   488661 |    55232 |    46158      1 |        5 |      712
198.53/198.61	c  196s |      13 |   492015 |    55932 |    46158      1 |        5 |      712
200.63/200.71	c  198s |      13 |   496752 |    56532 |    46158      1 |        5 |      712
202.93/203.02	c  200s |      13 |   502297 |    57332 |    46158      1 |        5 |      712
205.03/205.14	c  202s |      13 |   509123 |    57932 |    46158      1 |        5 |      712
206.03/206.18	c  203s |      14 |   511452 |    58352 |    50774      1 |        5 |      712
208.32/208.47	c  206s |      14 |   517615 |    58952 |    50774      1 |        5 |      712
210.32/210.49	c  208s |      14 |   523074 |    59552 |    50774      1 |        5 |      712
212.62/212.77	c  210s |      14 |   528910 |    60352 |    50774      1 |        5 |      712
214.92/215.00	c  212s |      14 |   534529 |    61152 |    50774      1 |        5 |      712
217.22/217.30	c  215s |      14 |   540466 |    61952 |    50774      1 |        5 |      712
219.32/219.42	c  217s |      14 |   545955 |    62652 |    50774      1 |        5 |      712
221.32/221.48	c  219s |      14 |   551202 |    63252 |    50774      1 |        5 |      712
223.52/223.68	c  221s |      14 |   557711 |    64152 |    50774      1 |        5 |      712
225.62/225.76	c  223s |      14 |   562481 |    65052 |    50774      1 |        5 |      712
227.72/227.83	c  225s |      14 |   567168 |    65852 |    50774      1 |        5 |      712
229.82/229.97	c  227s |      14 |   571622 |    66652 |    50774      1 |        5 |      712
232.12/232.23	c  229s |      14 |   575903 |    67452 |    50774      1 |        5 |      712
234.32/234.48	c  232s |      14 |   579415 |    68352 |    50774      1 |        5 |      712
236.42/236.57	c  234s |      14 |   582375 |    69252 |    50774      1 |        5 |      712
238.41/238.59	c  236s |      14 |   585666 |    70252 |    50774      1 |        5 |      712
240.71/240.84	c  238s |      14 |   588431 |    71352 |    50774      1 |        5 |      712
242.81/242.94	c  240s |      14 |   593330 |    71752 |    50774      1 |        5 |      712
251.50/251.69	c  249s |      14 |   593989 |    71852 |    50774      1 |        5 |      712
253.50/253.70	c  251s |      14 |   598887 |    72552 |    50774      1 |        5 |      712
255.80/255.96	c  253s |      14 |   605377 |    73052 |    50774      1 |        5 |      712
258.00/258.10	c  255s |      14 |   612761 |    73552 |    50774      1 |        5 |      712
260.30/260.40	c  258s |      14 |   617355 |    74252 |    50774      1 |        5 |      712
262.60/262.75	c  260s |      14 |   625498 |    74852 |    50774      1 |        5 |      712
264.90/265.05	c  262s |      14 |   631264 |    75352 |    50774      1 |        5 |      712
267.10/267.30	c  265s |      14 |   634840 |    75952 |    50774      1 |        5 |      712
269.40/269.60	c  267s |      14 |   639242 |    76452 |    50774      2 |        5 |      712
271.50/271.62	c  269s |      14 |   647646 |    77152 |    50774      2 |        5 |      712
273.70/273.90	c  271s |      14 |   655222 |    77952 |    50774      2 |        5 |      712
276.00/276.13	c  273s |      14 |   661926 |    78552 |    50774      2 |        5 |      712
278.90/279.07	c  276s |      14 |   662665 |    78652 |    50774      2 |        5 |      712
281.00/281.15	c  278s |      14 |   668522 |    79352 |    50774      2 |        5 |      712
283.10/283.20	c  280s |      14 |   675751 |    80152 |    50774      2 |        5 |      712
285.20/285.36	c  283s |      14 |   683032 |    80752 |    50774      2 |        5 |      712
287.30/287.44	c  285s |      14 |   689161 |    81552 |    50774      2 |        5 |      712
289.50/289.67	c  287s |      14 |   695455 |    82252 |    50774      2 |        5 |      712
291.90/292.03	c  289s |      14 |   700588 |    82952 |    50774      2 |        5 |      712
294.00/294.15	c  291s |      14 |   706023 |    83752 |    50774      2 |        5 |      712
296.20/296.35	c  294s |      14 |   712011 |    84352 |    50774      2 |        5 |      712
298.40/298.56	c  296s |      14 |   716470 |    85052 |    50774      2 |        5 |      712
300.70/300.88	c  298s |      14 |   719544 |    85752 |    50774      2 |        5 |      712
302.80/302.95	c  300s |      14 |   724247 |    86552 |    50774      2 |        5 |      712
304.90/305.03	c  302s |      14 |   727114 |    87152 |    55852      2 |        5 |      712
306.40/306.53	c  304s |      15 |   730705 |    87632 |    55852      2 |        5 |      712
308.70/308.82	c  306s |      15 |   735130 |    88032 |    55852      2 |        5 |      712
310.69/310.85	c  308s |      15 |   738591 |    88532 |    55852      2 |        5 |      712
312.79/312.92	c  310s |      15 |   742611 |    89032 |    55852      2 |        5 |      712
314.89/315.03	c  312s |      15 |   747335 |    89632 |    55852      2 |        5 |      712
317.09/317.23	c  314s |      15 |   754179 |    90132 |    55852      2 |        5 |      712
319.59/319.73	c  317s |      15 |   760913 |    90632 |    55852      2 |        5 |      712
321.59/321.78	c  319s |      15 |   766521 |    91132 |    55852      2 |        5 |      712
323.89/324.04	c  321s |      15 |   773125 |    91932 |    55852      2 |        5 |      712
325.99/326.18	c  323s |      15 |   777988 |    92532 |    55852      2 |        5 |      712
328.08/328.29	c  326s |      15 |   781800 |    93032 |    55852      2 |        5 |      712
330.28/330.47	c  328s |      15 |   787391 |    93632 |    55852      2 |        5 |      712
332.58/332.77	c  330s |      15 |   793574 |    94432 |    55852      2 |        5 |      712
334.88/335.06	c  332s |      15 |   797809 |    94932 |    55852      2 |        5 |      712
336.98/337.18	c  334s |      15 |   801206 |    95432 |    55852      2 |        5 |      712
339.48/339.64	c  337s |      15 |   804371 |    95932 |    55852      2 |        5 |      712
341.58/341.75	c  339s |      15 |   806309 |    96432 |    55852      2 |        5 |      712
343.67/343.86	c  341s |      15 |   809369 |    97032 |    55852      2 |        5 |      712
345.97/346.10	c  343s |      15 |   812148 |    97632 |    55852      2 |        5 |      712
347.97/348.12	c  345s |      15 |   813952 |    98132 |    55852      2 |        5 |      712
350.47/350.62	c  348s |      15 |   815780 |    98732 |    55852      2 |        5 |      712
352.87/353.02	c  350s |      15 |   816605 |    99232 |    55852      2 |        5 |      712
358.76/358.98	c  356s |      15 |   818537 |    99432 |    55852      2 |        5 |      712
360.96/361.14	c  358s |      15 |   823882 |    99932 |    55852      2 |        5 |      712
363.06/363.27	c  360s |      15 |   826888 |   100532 |    55852      2 |        5 |      712
365.46/365.61	c  363s |      15 |   832126 |   101032 |    55852      2 |        5 |      712
367.76/367.96	c  365s |      15 |   837701 |   101832 |    55852      2 |        5 |      712
369.76/369.97	c  367s |      15 |   841170 |   102232 |    55852      2 |        5 |      712
371.96/372.11	c  369s |      15 |   844566 |   102832 |    55852      2 |        5 |      712
374.26/374.49	c  372s |      15 |   849292 |   103432 |    55852      2 |        5 |      712
376.56/376.70	c  374s |      15 |   853969 |   103932 |    55852      2 |        5 |      712
378.56/378.79	c  376s |      15 |   856004 |   104332 |    55852      2 |        5 |      712
380.76/380.96	c  378s |      15 |   860369 |   104832 |    55852      2 |        5 |      712
382.86/383.05	c  380s |      15 |   863995 |   105432 |    55852      2 |        5 |      712
385.06/385.24	c  382s |      15 |   867804 |   106032 |    55852      2 |        5 |      712
387.16/387.36	c  385s |      15 |   870316 |   106532 |    55852      2 |        5 |      712
389.36/389.52	c  387s |      15 |   874910 |   107032 |    55852      2 |        5 |      712
391.36/391.59	c  389s |      15 |   880023 |   107832 |    55852      2 |        5 |      712
395.65/395.81	c  393s |      15 |   882554 |   108232 |    55852      3 |        5 |      712
397.65/397.84	c  395s |      15 |   884872 |   108732 |    55852      3 |        5 |      712
399.75/399.93	c  397s |      15 |   890386 |   109432 |    55852      3 |        5 |      712
401.75/401.97	c  399s |      15 |   894785 |   110232 |    55852      3 |        5 |      712
403.95/404.13	c  401s |      15 |   898408 |   110832 |    55852      3 |        5 |      712
405.95/406.18	c  403s |      15 |   902387 |   111532 |    55852      3 |        5 |      712
408.34/408.50	c  406s |      15 |   905544 |   112332 |    55852      3 |        5 |      712
410.34/410.56	c  408s |      15 |   908434 |   113032 |    55852      3 |        5 |      712
412.54/412.77	c  410s |      15 |   911243 |   113732 |    55852      3 |        5 |      712
414.84/415.09	c  412s |      15 |   914468 |   114632 |    55852      3 |        5 |      712
416.94/417.19	c  414s |      15 |   916653 |   115432 |    55852      3 |        5 |      712
419.14/419.33	c  417s |      15 |   920266 |   115932 |    55852      3 |        5 |      712
421.14/421.36	c  419s |      15 |   924209 |   116432 |    55852      3 |        5 |      712
423.53/423.70	c  421s |      15 |   928967 |   117132 |    55852      3 |        5 |      712
425.43/425.70	c  423s |      15 |   934325 |   117532 |    55852      3 |        5 |      712
427.63/427.89	c  425s |      15 |   939791 |   118132 |    55852      3 |        5 |      712
429.73/429.92	c  427s |      15 |   943762 |   118632 |    55852      3 |        5 |      712
431.73/431.99	c  429s |      15 |   949417 |   119332 |    55852      3 |        5 |      712
434.03/434.22	c  431s |      15 |   957813 |   120032 |    55852      3 |        5 |      712
436.43/436.67	c  434s |      15 |   964895 |   120532 |    55852      3 |        5 |      712
438.53/438.79	c  436s |      15 |   969258 |   120932 |    55852      3 |        5 |      712
440.63/440.87	c  438s |      15 |   972793 |   121532 |    55852      3 |        5 |      712
442.93/443.14	c  440s |      15 |   979702 |   122132 |    55852      3 |        5 |      712
445.44/445.61	c  443s |      15 |   985371 |   122632 |    55852      3 |        5 |      712
447.54/447.72	c  445s |      15 |   989826 |   123332 |    55852      3 |        5 |      712
449.92/450.14	c  447s |      15 |   994687 |   123832 |    55852      3 |        5 |      712
452.03/452.22	c  449s |      15 |   999324 |   124232 |    55852      3 |        5 |      712
454.23/454.43	c  452s |      15 |  1004566 |   124732 |    55852      3 |        5 |      712
456.22/456.44	c  454s |      15 |  1010619 |   125432 |    55852      3 |        5 |      712
458.63/458.82	c  456s |      15 |  1016394 |   125932 |    55852      3 |        5 |      712
460.83/461.08	c  458s |      15 |  1020171 |   126432 |    55852      3 |        5 |      712
463.22/463.47	c  461s |      15 |  1023648 |   127032 |    55852      3 |        5 |      712
465.52/465.73	c  463s |      15 |  1029740 |   127532 |    55852      3 |        5 |      712
467.62/467.89	c  465s |      15 |  1036148 |   128132 |    55852      3 |        5 |      712
470.22/470.41	c  468s |      15 |  1041628 |   128832 |    55852      3 |        5 |      712
472.32/472.52	c  470s |      15 |  1045760 |   129532 |    55852      3 |        5 |      712
474.31/474.55	c  472s |      15 |  1049723 |   130032 |    55852      3 |        5 |      712
476.71/476.98	c  474s |      15 |  1054317 |   130532 |    55852      3 |        5 |      712
478.91/479.17	c  476s |      15 |  1058236 |   131132 |    61438      3 |        5 |      712
480.81/481.03	c  478s |      16 |  1062060 |   131552 |    61438      3 |        5 |      712
483.21/483.42	c  481s |      16 |  1067491 |   131952 |    61438      3 |        5 |      712
485.41/485.69	c  483s |      16 |  1072496 |   132652 |    61438      3 |        5 |      712
487.51/487.78	c  485s |      16 |  1079662 |   133152 |    61438      3 |        5 |      712
490.01/490.22	c  487s |      16 |  1087957 |   133652 |    61438      3 |        5 |      712
492.21/492.45	c  490s |      16 |  1094329 |   134152 |    61438      3 |        5 |      712
494.51/494.77	c  492s |      16 |  1100898 |   134952 |    61438      3 |        5 |      712
496.61/496.85	c  494s |      16 |  1104262 |   135352 |    61438      3 |        5 |      712
498.91/499.12	c  496s |      16 |  1107717 |   135952 |    61438      3 |        5 |      712
501.21/501.47	c  499s |      16 |  1113743 |   136452 |    61438      3 |        5 |      712
503.21/503.47	c  501s |      16 |  1118999 |   137152 |    61438      3 |        5 |      712
505.71/505.90	c  503s |      16 |  1124971 |   137652 |    61438      3 |        5 |      712
507.91/508.14	c  505s |      16 |  1128496 |   138252 |    61438      3 |        5 |      712
510.01/510.26	c  507s |      16 |  1132686 |   138752 |    61438      3 |        5 |      712
512.21/512.43	c  510s |      16 |  1137596 |   139252 |    61438      3 |        5 |      712
514.31/514.56	c  512s |      16 |  1140657 |   139852 |    61438      3 |        5 |      712
516.41/516.69	c  514s |      16 |  1145019 |   140452 |    61438      3 |        5 |      712
518.50/518.70	c  516s |      16 |  1148252 |   140952 |    61438      3 |        5 |      712
520.60/520.82	c  518s |      16 |  1151474 |   141552 |    61438      3 |        5 |      712
522.70/522.94	c  520s |      16 |  1154618 |   142152 |    61438      3 |        5 |      712
524.90/525.17	c  522s |      16 |  1158536 |   142852 |    61438      3 |        5 |      712
527.10/527.31	c  525s |      16 |  1162614 |   143452 |    61438      3 |        5 |      712
529.20/529.45	c  527s |      16 |  1164754 |   143952 |    61438      4 |        5 |      712
531.40/531.64	c  529s |      16 |  1168367 |   144652 |    61438      4 |        5 |      712
533.60/533.81	c  531s |      16 |  1172074 |   145452 |    61438      4 |        5 |      712
535.90/536.12	c  533s |      16 |  1175460 |   146352 |    61438      4 |        5 |      712
538.10/538.34	c  536s |      16 |  1179187 |   147252 |    61438      4 |        5 |      712
540.20/540.49	c  538s |      16 |  1181274 |   148052 |    61438      4 |        5 |      712
542.80/543.05	c  540s |      16 |  1182695 |   148352 |    61438      4 |        5 |      712
544.90/545.14	c  542s |      16 |  1186944 |   148852 |    61438      4 |        5 |      712
547.00/547.24	c  544s |      16 |  1190479 |   149352 |    61438      4 |        5 |      712
558.90/559.15	c  556s |      16 |  1191369 |   149452 |    61438      4 |        5 |      712
561.00/561.28	c  559s |      16 |  1195894 |   150052 |    61438      4 |        5 |      712
563.11/563.39	c  561s |      16 |  1201758 |   150552 |    61438      4 |        5 |      712
565.40/565.68	c  563s |      16 |  1208998 |   151052 |    61438      4 |        5 |      712
567.70/567.90	c  565s |      16 |  1215690 |   151852 |    61438      4 |        5 |      712
569.70/569.94	c  567s |      16 |  1221284 |   152352 |    61438      4 |        5 |      712
571.80/572.10	c  569s |      16 |  1226332 |   152852 |    61438      4 |        5 |      712
574.00/574.27	c  571s |      16 |  1232423 |   153652 |    61438      4 |        5 |      712
576.10/576.31	c  574s |      16 |  1239156 |   154152 |    61438      4 |        5 |      712
578.40/578.65	c  576s |      16 |  1245557 |   154652 |    61438      4 |        5 |      712
580.39/580.70	c  578s |      16 |  1250905 |   155152 |    61438      4 |        5 |      712
582.59/582.89	c  580s |      16 |  1256638 |   155952 |    61438      4 |        5 |      712
584.79/585.07	c  582s |      16 |  1265434 |   156552 |    61438      4 |        5 |      712
586.89/587.11	c  584s |      16 |  1270912 |   157252 |    61438      4 |        5 |      712
588.99/589.20	c  586s |      16 |  1278437 |   157752 |    61438      4 |        5 |      712
591.08/591.38	c  589s |      16 |  1284332 |   158352 |    61438      4 |        5 |      712
593.38/593.68	c  591s |      16 |  1290668 |   159052 |    61438      4 |        5 |      712
595.58/595.83	c  593s |      16 |  1296192 |   159552 |    61438      4 |        5 |      712
597.98/598.26	c  595s |      16 |  1304179 |   160352 |    61438      4 |        5 |      712
600.28/600.51	c  598s |      16 |  1309902 |   160952 |    61438      4 |        5 |      712
602.59/602.90	c  600s |      16 |  1315105 |   161652 |    61438      4 |        5 |      712
604.79/605.08	c  602s |      16 |  1324005 |   162552 |    61438      4 |        5 |      712
606.98/607.30	c  605s |      16 |  1331585 |   163452 |    61438      4 |        5 |      712
609.07/609.33	c  607s |      16 |  1339073 |   164052 |    61438      4 |        5 |      712
611.38/611.67	c  609s |      16 |  1345035 |   164852 |    61438      4 |        5 |      712
613.47/613.75	c  611s |      16 |  1350586 |   165452 |    61438      4 |        5 |      712
615.67/615.94	c  613s |      16 |  1354851 |   166252 |    61438      4 |        5 |      712
617.87/618.15	c  615s |      16 |  1361089 |   167052 |    61438      4 |        5 |      712
619.87/620.16	c  617s |      16 |  1365961 |   167652 |    61438      4 |        5 |      712
621.97/622.22	c  619s |      16 |  1373043 |   168652 |    61438      4 |        5 |      712
624.07/624.32	c  622s |      16 |  1378275 |   169352 |    61438      4 |        5 |      712
626.07/626.37	c  624s |      16 |  1383892 |   170152 |    61438      4 |        5 |      712
628.16/628.48	c  626s |      16 |  1389055 |   171152 |    61438      4 |        5 |      712
630.26/630.50	c  628s |      16 |  1391930 |   171852 |    61438      4 |        5 |      712
632.27/632.59	c  630s |      16 |  1395990 |   172852 |    61438      4 |        5 |      712
634.47/634.72	c  632s |      16 |  1399760 |   173852 |    61438      4 |        5 |      712
638.35/638.64	c  636s |      16 |  1403257 |   174852 |    61438      5 |        5 |      712
640.55/640.88	c  638s |      16 |  1407173 |   175352 |    61438      5 |        5 |      712
642.75/643.00	c  640s |      16 |  1412814 |   176052 |    61438      5 |        5 |      712
644.95/645.22	c  642s |      16 |  1419973 |   176952 |    61438      5 |        5 |      712
647.15/647.41	c  645s |      16 |  1426857 |   177752 |    61438      5 |        5 |      712
649.25/649.58	c  647s |      16 |  1432334 |   178452 |    61438      5 |        5 |      712
651.65/651.94	c  649s |      16 |  1437064 |   179152 |    61438      5 |        5 |      712
653.85/654.15	c  651s |      16 |  1441656 |   179952 |    61438      5 |        5 |      712
655.95/656.23	c  653s |      16 |  1445946 |   180652 |    61438      5 |        5 |      712
658.14/658.45	c  656s |      16 |  1450564 |   181352 |    61438      5 |        5 |      712
660.44/660.76	c  658s |      16 |  1455570 |   182152 |    61438      5 |        5 |      712
662.64/662.96	c  660s |      16 |  1458952 |   182852 |    61438      5 |        5 |      712
664.84/665.15	c  662s |      16 |  1465925 |   183752 |    61438      5 |        5 |      712
666.84/667.18	c  664s |      16 |  1473401 |   184852 |    61438      5 |        5 |      712
668.94/669.28	c  667s |      16 |  1479366 |   185852 |    61438      5 |        5 |      712
671.24/671.53	c  669s |      16 |  1483209 |   186652 |    61438      5 |        5 |      712
673.34/673.63	c  671s |      16 |  1487562 |   187652 |    61438      5 |        5 |      712
675.33/675.66	c  673s |      16 |  1490998 |   188552 |    61438      5 |        5 |      712
677.63/677.92	c  675s |      16 |  1493004 |   189352 |    61438      5 |        5 |      712
679.64/679.98	c  677s |      16 |  1497925 |   190152 |    61438      5 |        5 |      712
681.74/682.04	c  679s |      16 |  1503183 |   190652 |    61438      5 |        5 |      712
683.94/684.23	c  681s |      16 |  1508848 |   191352 |    61438      5 |        5 |      712
686.23/686.55	c  684s |      16 |  1513903 |   192052 |    61438      5 |        5 |      712
688.43/688.77	c  686s |      16 |  1519956 |   192552 |    61438      5 |        5 |      712
690.42/690.80	c  688s |      16 |  1525319 |   193152 |    61438      5 |        5 |      712
692.62/693.00	c  690s |      16 |  1532433 |   193852 |    61438      5 |        5 |      712
694.93/695.23	c  692s |      16 |  1537533 |   194352 |    61438      5 |        5 |      712
697.02/697.31	c  695s |      16 |  1543384 |   195152 |    61438      5 |        5 |      712
699.12/699.41	c  697s |      16 |  1547500 |   195552 |    61438      5 |        5 |      712
701.22/701.53	c  699s |      16 |  1554134 |   196352 |    67582      5 |        5 |      712
703.62/704.00	c  701s |      16 |  1562205 |   196952 |    67582      5 |        5 |      712
705.52/705.83	c  703s |      17 |  1567939 |   197432 |    67582      5 |        5 |      712
707.52/707.86	c  705s |      17 |  1573643 |   197832 |    67582      5 |        5 |      712
709.52/709.88	c  707s |      17 |  1578485 |   198432 |    67582      5 |        5 |      712
711.62/711.94	c  709s |      17 |  1583836 |   198932 |    67582      5 |        5 |      712
718.62/718.99	c  716s |      17 |  1585705 |   199032 |    67582      5 |        5 |      712
721.02/721.36	c  719s |      17 |  1592058 |   199532 |    67582      5 |        5 |      712
723.32/723.60	c  721s |      17 |  1598583 |   200332 |    67582      5 |        5 |      712
725.52/725.88	c  723s |      17 |  1606946 |   200932 |    67582      5 |        5 |      712
727.93/728.23	c  725s |      17 |  1614285 |   201432 |    67582      5 |        5 |      712
729.92/730.27	c  727s |      17 |  1619067 |   201932 |    67582      5 |        5 |      712
732.12/732.48	c  730s |      17 |  1622345 |   202532 |    67582      5 |        5 |      712
734.63/734.92	c  732s |      17 |  1628198 |   203032 |    67582      5 |        5 |      712
737.02/737.36	c  735s |      17 |  1635777 |   203532 |    67582      5 |        5 |      712
739.12/739.43	c  737s |      17 |  1643793 |   204332 |    67582      5 |        5 |      712
741.12/741.48	c  739s |      17 |  1650277 |   204832 |    67582      5 |        5 |      712
743.42/743.73	c  741s |      17 |  1656254 |   205332 |    67582      5 |        5 |      712
745.52/745.81	c  743s |      17 |  1660196 |   205932 |    67582      5 |        5 |      712
747.72/748.05	c  745s |      17 |  1663970 |   206432 |    67582      5 |        5 |      712
750.02/750.31	c  748s |      17 |  1668649 |   207032 |    67582      5 |        5 |      712
752.32/752.65	c  750s |      17 |  1673234 |   207832 |    67582      5 |        5 |      712
754.62/754.92	c  752s |      17 |  1679921 |   208332 |    67582      5 |        5 |      712
756.72/757.07	c  754s |      17 |  1685563 |   209132 |    67582      5 |        5 |      712
759.01/759.33	c  757s |      17 |  1691891 |   209732 |    67582      5 |        5 |      712
761.31/761.60	c  759s |      17 |  1699435 |   210532 |    67582      5 |        5 |      712
763.31/763.61	c  761s |      17 |  1705259 |   211132 |    67582      5 |        5 |      712
765.32/765.68	c  763s |      17 |  1709028 |   211732 |    67582      5 |        5 |      712
767.41/767.71	c  765s |      17 |  1713901 |   212232 |    67582      5 |        5 |      712
769.41/769.77	c  767s |      17 |  1716368 |   212732 |    67582      6 |        5 |      712
771.71/772.03	c  769s |      17 |  1723037 |   213532 |    67582      6 |        5 |      712
773.91/774.22	c  771s |      17 |  1727013 |   214132 |    67582      6 |        5 |      712
776.01/776.35	c  774s |      17 |  1730020 |   214732 |    67582      6 |        5 |      712
778.11/778.41	c  776s |      17 |  1735404 |   215332 |    67582      6 |        5 |      712
780.11/780.43	c  778s |      17 |  1741611 |   216132 |    67582      6 |        5 |      712
782.41/782.74	c  780s |      17 |  1746296 |   216832 |    67582      6 |        5 |      712
784.61/784.97	c  782s |      17 |  1750707 |   217632 |    67582      6 |        5 |      712
786.81/787.16	c  784s |      17 |  1754446 |   218232 |    67582      6 |        5 |      712
788.81/789.17	c  786s |      17 |  1757496 |   218932 |    67582      6 |        5 |      712
790.91/791.25	c  788s |      17 |  1760410 |   219632 |    67582      6 |        5 |      712
793.01/793.30	c  791s |      17 |  1763779 |   220332 |    67582      6 |        5 |      712
795.21/795.50	c  793s |      17 |  1767185 |   221132 |    67582      6 |        5 |      712
797.21/797.56	c  795s |      17 |  1770740 |   221932 |    67582      6 |        5 |      712
799.41/799.78	c  797s |      17 |  1774085 |   222932 |    67582      6 |        5 |      712
807.50/807.87	c  805s |      17 |  1775487 |   223232 |    67582      6 |        5 |      712
809.70/810.00	c  807s |      17 |  1780448 |   223832 |    67582      6 |        5 |      712
812.00/812.33	c  810s |      17 |  1786554 |   224532 |    67582      6 |        5 |      712
814.40/814.78	c  812s |      17 |  1791534 |   224932 |    67582      6 |        5 |      712
816.90/817.25	c  814s |      17 |  1796106 |   225432 |    67582      6 |        5 |      712
819.21/819.55	c  817s |      17 |  1799984 |   226132 |    67582      6 |        5 |      712
821.30/821.64	c  819s |      17 |  1805739 |   226632 |    67582      6 |        5 |      712
823.61/823.95	c  821s |      17 |  1811166 |   227232 |    67582      6 |        5 |      712
825.81/826.17	c  823s |      17 |  1815378 |   228032 |    67582      6 |        5 |      712
828.01/828.38	c  826s |      17 |  1820539 |   228632 |    67582      6 |        5 |      712
830.30/830.61	c  828s |      17 |  1826199 |   229232 |    67582      6 |        5 |      712
832.30/832.68	c  830s |      17 |  1828168 |   229832 |    67582      6 |        5 |      712
834.50/834.82	c  832s |      17 |  1833003 |   230332 |    67582      6 |        5 |      712
836.50/836.86	c  834s |      17 |  1837469 |   230932 |    67582      6 |        5 |      712
838.80/839.18	c  836s |      17 |  1843906 |   231732 |    67582      6 |        5 |      712
840.90/841.23	c  838s |      17 |  1851010 |   232532 |    67582      6 |        5 |      712
843.20/843.55	c  841s |      17 |  1856378 |   233332 |    67582      6 |        5 |      712
845.50/845.84	c  843s |      17 |  1861577 |   234032 |    67582      6 |        5 |      712
847.60/847.99	c  845s |      17 |  1866590 |   234732 |    67582      6 |        5 |      712
849.89/850.26	c  847s |      17 |  1870559 |   235432 |    67582      6 |        5 |      712
851.99/852.37	c  850s |      17 |  1875046 |   236232 |    67582      6 |        5 |      712
853.99/854.38	c  852s |      17 |  1879507 |   236932 |    67582      6 |        5 |      712
856.09/856.41	c  854s |      17 |  1882683 |   237632 |    67582      6 |        5 |      712
858.09/858.48	c  856s |      17 |  1884445 |   238232 |    67582      6 |        5 |      712
860.39/860.70	c  858s |      17 |  1886482 |   238932 |    67582      6 |        5 |      712
862.69/863.03	c  860s |      17 |  1888628 |   239632 |    67582      6 |        5 |      712
864.69/865.05	c  862s |      17 |  1893928 |   240332 |    67582      6 |        5 |      712
866.89/867.23	c  864s |      17 |  1899666 |   240832 |    67582      6 |        5 |      712
868.99/869.34	c  867s |      17 |  1904822 |   241232 |    67582      6 |        5 |      712
871.00/871.37	c  869s |      17 |  1909946 |   241832 |    67582      6 |        5 |      712
873.39/873.70	c  871s |      17 |  1915097 |   242332 |    67582      6 |        5 |      712
875.59/875.92	c  873s |      17 |  1920440 |   242932 |    67582      6 |        5 |      712
877.99/878.36	c  876s |      17 |  1924929 |   243532 |    67582      6 |        5 |      712
880.09/880.44	c  878s |      17 |  1930567 |   243932 |    67582      6 |        5 |      712
882.39/882.76	c  880s |      17 |  1936367 |   244732 |    67582      6 |        5 |      712
884.59/884.91	c  882s |      17 |  1941369 |   245232 |    67582      6 |        5 |      712
886.89/887.27	c  884s |      17 |  1948451 |   245732 |    67582      6 |        5 |      712
889.19/889.54	c  887s |      17 |  1954101 |   246232 |    67582      6 |        5 |      712
891.69/892.05	c  889s |      17 |  1959393 |   246932 |    67582      7 |        5 |      712
893.79/894.10	c  891s |      17 |  1963710 |   247332 |    67582      7 |        5 |      712
896.09/896.48	c  894s |      17 |  1971638 |   248232 |    67582      7 |        5 |      712
898.39/898.78	c  896s |      17 |  1977858 |   248832 |    67582      7 |        5 |      712
900.49/900.84	c  898s |      17 |  1984227 |   249632 |    67582      7 |        5 |      712
902.58/902.91	c  900s |      17 |  1989101 |   250332 |    67582      7 |        5 |      712
904.78/905.14	c  902s |      17 |  1994268 |   251032 |    67582      7 |        5 |      712
906.78/907.15	c  904s |      17 |  1999461 |   251632 |    67582      7 |        5 |      712
908.98/909.32	c  907s |      17 |  2005707 |   252232 |    67582      7 |        5 |      712
910.98/911.39	c  909s |      17 |  2010913 |   252932 |    67582      7 |        5 |      712
913.08/913.40	c  911s |      17 |  2014109 |   253532 |    67582      7 |        5 |      712
915.08/915.50	c  913s |      17 |  2019228 |   254232 |    67582      7 |        5 |      712
917.19/917.57	c  915s |      17 |  2023651 |   255032 |    67582      7 |        5 |      712
919.39/919.72	c  917s |      17 |  2028019 |   255832 |    67582      7 |        5 |      712
921.38/921.76	c  919s |      17 |  2031944 |   256432 |    67582      7 |        5 |      712
923.48/923.87	c  921s |      17 |  2038719 |   257432 |    67582      7 |        5 |      712
925.58/925.95	c  923s |      17 |  2044178 |   258232 |    67582      7 |        5 |      712
927.88/928.22	c  925s |      17 |  2049286 |   259132 |    67582      7 |        5 |      712
929.88/930.24	c  927s |      17 |  2053432 |   259932 |    67582      7 |        5 |      712
932.08/932.45	c  930s |      17 |  2056360 |   260732 |    67582      7 |        5 |      712
934.28/934.60	c  932s |      17 |  2059765 |   261732 |    67582      7 |        5 |      712
936.38/936.71	c  934s |      17 |  2061778 |   262532 |    67582      7 |        5 |      712
938.58/938.99	c  936s |      17 |  2064644 |   263432 |    67582      7 |        5 |      712
940.88/941.25	c  938s |      17 |  2067261 |   264332 |    67582      7 |        5 |      712
942.88/943.29	c  941s |      17 |  2070482 |   265232 |    67582      7 |        5 |      712
945.08/945.49	c  943s |      17 |  2074074 |   266032 |    67582      7 |        5 |      712
947.48/947.81	c  945s |      17 |  2077604 |   266832 |    67582      7 |        5 |      712
949.78/950.11	c  947s |      17 |  2081769 |   267632 |    67582      7 |        5 |      712
951.88/952.21	c  949s |      17 |  2085874 |   268332 |    67582      7 |        5 |      712
953.98/954.35	c  952s |      17 |  2089630 |   269032 |    67582      7 |        5 |      712
956.28/956.63	c  954s |      17 |  2094276 |   269832 |    67582      7 |        5 |      712
958.28/958.65	c  956s |      17 |  2098762 |   270532 |    67582      7 |        5 |      712
960.68/961.07	c  958s |      17 |  2103979 |   271332 |    67582      7 |        5 |      712
963.07/963.46	c  961s |      17 |  2107086 |   271832 |    67582      7 |        5 |      712
965.48/965.90	c  963s |      17 |  2111834 |   272532 |    67582      7 |        5 |      712
967.57/967.94	c  965s |      17 |  2115516 |   273032 |    67582      7 |        5 |      712
969.57/969.94	c  967s |      17 |  2120263 |   273632 |    67582      7 |        5 |      712
971.97/972.31	c  970s |      17 |  2124694 |   274332 |    67582      7 |        5 |      712
974.28/974.63	c  972s |      17 |  2129137 |   275032 |    67582      7 |        5 |      712
976.28/976.63	c  974s |      17 |  2133396 |   275532 |    67582      7 |        5 |      712
978.28/978.68	c  976s |      17 |  2137753 |   276232 |    67582      7 |        5 |      712
980.48/980.81	c  978s |      17 |  2141238 |   276732 |    67582      7 |        5 |      712
982.68/983.09	c  980s |      17 |  2145157 |   277432 |    67582      7 |        5 |      712
985.08/985.41	c  983s |      17 |  2149283 |   278132 |    67582      7 |        5 |      712
987.08/987.49	c  985s |      17 |  2152639 |   278732 |    67582      7 |        5 |      712
989.38/989.71	c  987s |      17 |  2155946 |   279432 |    67582      7 |        5 |      712
991.58/991.92	c  989s |      17 |  2160124 |   280132 |    67582      7 |        5 |      712
993.78/994.12	c  991s |      17 |  2163611 |   280732 |    67582      7 |        5 |      712
995.98/996.37	c  994s |      17 |  2166847 |   281432 |    67582      7 |        5 |      712
998.18/998.50	c  996s |      17 |  2169090 |   282032 |    67582      7 |        5 |      712
1000.38/1000.78	c  998s |      17 |  2171184 |   282732 |    67582      7 |        5 |      712
1002.58/1002.90	c 1000s |      17 |  2172263 |   283232 |    67582      8 |        5 |      712
1004.68/1005.00	c 1002s |      17 |  2175383 |   284132 |    67582      8 |        5 |      712
1006.68/1007.02	c 1004s |      17 |  2178062 |   285032 |    67582      8 |        5 |      712
1008.78/1009.19	c 1006s |      17 |  2180823 |   286032 |    67582      8 |        5 |      712
1010.88/1011.27	c 1008s |      17 |  2183121 |   286832 |    67582      8 |        5 |      712
1012.88/1013.28	c 1011s |      17 |  2184859 |   287432 |    67582      8 |        5 |      712
1014.98/1015.31	c 1013s |      17 |  2188493 |   288332 |    67582      8 |        5 |      712
1017.18/1017.55	c 1015s |      17 |  2191669 |   289132 |    67582      8 |        5 |      712
1019.38/1019.71	c 1017s |      17 |  2194860 |   289932 |    67582      8 |        5 |      712
1021.47/1021.82	c 1019s |      17 |  2197614 |   290732 |    67582      8 |        5 |      712
1023.67/1024.03	c 1021s |      17 |  2199748 |   291632 |    67582      8 |        5 |      712
1025.67/1026.10	c 1023s |      17 |  2201766 |   292532 |    67582      8 |        5 |      712
1027.77/1028.14	c 1025s |      17 |  2204165 |   293332 |    67582      8 |        5 |      712
1029.97/1030.32	c 1028s |      17 |  2208332 |   294232 |    74341      8 |        5 |      712
1032.07/1032.44	c 1030s |      17 |  2212257 |   295032 |    74341      8 |        5 |      712
1034.07/1034.47	c 1032s |      17 |  2215776 |   295832 |    74341      8 |        5 |      712
1035.37/1035.75	c 1033s |      18 |  2217206 |   296252 |    74341      8 |        5 |      712
1041.17/1041.56	c 1039s |      18 |  2218937 |   296352 |    74341      8 |        5 |      712
1043.47/1043.90	c 1041s |      18 |  2224761 |   296852 |    74341      8 |        5 |      712
1045.87/1046.26	c 1043s |      18 |  2229175 |   297552 |    74341      8 |        5 |      712
1047.86/1048.27	c 1045s |      18 |  2234399 |   297952 |    74341      8 |        5 |      712
1049.86/1050.27	c 1047s |      18 |  2238990 |   298352 |    74341      8 |        5 |      712
1052.16/1052.54	c 1050s |      18 |  2243427 |   298952 |    74341      8 |        5 |      712
1054.67/1055.01	c 1052s |      18 |  2248893 |   299552 |    74341      8 |        5 |      712
1056.66/1057.06	c 1054s |      18 |  2254051 |   300252 |    74341      8 |        5 |      712
1058.86/1059.29	c 1057s |      18 |  2258159 |   300752 |    74341      8 |        5 |      712
1060.86/1061.29	c 1059s |      18 |  2262663 |   301152 |    74341      8 |        5 |      712
1063.06/1063.42	c 1061s |      18 |  2267195 |   301752 |    74341      8 |        5 |      712
1065.46/1065.88	c 1063s |      18 |  2272036 |   302252 |    74341      8 |        5 |      712
1067.56/1067.90	c 1065s |      18 |  2275561 |   302652 |    74341      8 |        5 |      712
1069.76/1070.10	c 1067s |      18 |  2280716 |   303352 |    74341      8 |        5 |      712
1071.96/1072.34	c 1070s |      18 |  2286485 |   303852 |    74341      8 |        5 |      712
1074.16/1074.56	c 1072s |      18 |  2292215 |   304552 |    74341      8 |        5 |      712
1076.57/1076.96	c 1074s |      18 |  2296751 |   305152 |    74341      8 |        5 |      712
1078.66/1079.03	c 1076s |      18 |  2299878 |   305752 |    74341      8 |        5 |      712
1080.86/1081.26	c 1078s |      18 |  2303879 |   306252 |    74341      8 |        5 |      712
1083.27/1083.62	c 1081s |      18 |  2308430 |   306952 |    74341      8 |        5 |      712
1085.47/1085.80	c 1083s |      18 |  2312460 |   307552 |    74341      8 |        5 |      712
1087.56/1087.91	c 1085s |      18 |  2314730 |   308052 |    74341      8 |        5 |      712
1089.76/1090.17	c 1087s |      18 |  2318932 |   308652 |    74341      8 |        5 |      712
1091.86/1092.24	c 1089s |      18 |  2322293 |   309252 |    74341      8 |        5 |      712
1094.16/1094.54	c 1092s |      18 |  2327141 |   309952 |    74341      8 |        5 |      712
1096.26/1096.61	c 1094s |      18 |  2329880 |   310452 |    74341      8 |        5 |      712
1098.56/1098.99	c 1096s |      18 |  2333450 |   311152 |    74341      8 |        5 |      712
1100.66/1101.09	c 1098s |      18 |  2336459 |   311752 |    74341      8 |        5 |      712
1102.96/1103.33	c 1101s |      18 |  2339030 |   312352 |    74341      8 |        5 |      712
1105.06/1105.50	c 1103s |      18 |  2341658 |   312952 |    74341      8 |        5 |      712
1107.15/1107.59	c 1105s |      18 |  2345225 |   313652 |    74341      8 |        5 |      712
1109.35/1109.70	c 1107s |      18 |  2348893 |   314352 |    74341      8 |        5 |      712
1111.45/1111.89	c 1109s |      18 |  2351933 |   315052 |    74341      8 |        5 |      712
1113.55/1113.97	c 1111s |      18 |  2355104 |   315952 |    74341      8 |        5 |      712
1121.26/1121.64	c 1119s |      18 |  2357695 |   316652 |    74341      8 |        5 |      712
1131.86/1132.25	c 1129s |      18 |  2360986 |   316852 |    74341      8 |        5 |      712
1133.86/1134.27	c 1132s |      18 |  2365704 |   317252 |    74341      8 |        5 |      712
1136.26/1136.64	c 1134s |      18 |  2370962 |   318052 |    74341      8 |        5 |      712
1138.36/1138.78	c 1136s |      18 |  2373977 |   318452 |    74341      8 |        5 |      712
1140.95/1141.36	c 1139s |      18 |  2380093 |   318952 |    74341      8 |        5 |      712
1143.25/1143.66	c 1141s |      18 |  2385224 |   319352 |    74341      8 |        5 |      712
1145.45/1145.81	c 1143s |      18 |  2389287 |   319952 |    74341      8 |        5 |      712
1147.65/1148.02	c 1145s |      18 |  2394738 |   320552 |    74341      8 |        5 |      712
1149.85/1150.20	c 1147s |      18 |  2400377 |   320952 |    74341      8 |        5 |      712
1151.95/1152.31	c 1150s |      18 |  2405012 |   321452 |    74341      8 |        5 |      712
1153.95/1154.33	c 1152s |      18 |  2407896 |   321952 |    74341      8 |        5 |      712
1156.45/1156.85	c 1154s |      18 |  2412863 |   322452 |    74341      8 |        5 |      712
1159.75/1160.14	c 1157s |      18 |  2417941 |   322852 |    74341      9 |        5 |      712
1162.25/1162.60	c 1160s |      18 |  2419051 |   322952 |    74341      9 |        5 |      712
1164.56/1164.93	c 1162s |      18 |  2425372 |   323352 |    74341      9 |        5 |      712
1166.76/1167.18	c 1164s |      18 |  2430721 |   323852 |    74341      9 |        5 |      712
1168.75/1169.19	c 1166s |      18 |  2434617 |   324552 |    74341      9 |        5 |      712
1170.75/1171.19	c 1168s |      18 |  2441499 |   325052 |    74341      9 |        5 |      712
1172.95/1173.33	c 1171s |      18 |  2448433 |   325752 |    74341      9 |        5 |      712
1175.15/1175.51	c 1173s |      18 |  2454109 |   326452 |    74341      9 |        5 |      712
1177.25/1177.68	c 1175s |      18 |  2459498 |   326952 |    74341      9 |        5 |      712
1179.35/1179.76	c 1177s |      18 |  2466155 |   327552 |    74341      9 |        5 |      712
1181.55/1181.93	c 1179s |      18 |  2471187 |   328352 |    74341      9 |        5 |      712
1183.85/1184.22	c 1181s |      18 |  2475854 |   328852 |    74341      9 |        5 |      712
1185.84/1186.26	c 1183s |      18 |  2481532 |   329552 |    74341      9 |        5 |      712
1188.04/1188.48	c 1186s |      18 |  2487369 |   330152 |    74341      9 |        5 |      712
1190.24/1190.65	c 1188s |      18 |  2492642 |   330852 |    74341      9 |        5 |      712
1192.34/1192.71	c 1190s |      18 |  2497999 |   331452 |    74341      9 |        5 |      712
1194.44/1194.86	c 1192s |      18 |  2503609 |   332252 |    74341      9 |        5 |      712
1196.64/1197.00	c 1194s |      18 |  2507946 |   332752 |    74341      9 |        5 |      712
1198.75/1199.16	c 1196s |      18 |  2512553 |   333452 |    74341      9 |        5 |      712
1201.04/1201.47	c 1199s |      18 |  2517879 |   334152 |    74341      9 |        5 |      712
1203.15/1203.55	c 1201s |      18 |  2521949 |   334652 |    74341      9 |        5 |      712
1205.54/1205.96	c 1203s |      18 |  2526402 |   335452 |    74341      9 |        5 |      712
1207.74/1208.16	c 1205s |      18 |  2530934 |   336052 |    74341      9 |        5 |      712
1210.04/1210.46	c 1208s |      18 |  2535560 |   336852 |    74341      9 |        5 |      712
1212.34/1212.70	c 1210s |      18 |  2539437 |   337452 |    74341      9 |        5 |      712
1214.44/1214.88	c 1212s |      18 |  2543717 |   338152 |    74341      9 |        5 |      712
1216.84/1217.23	c 1214s |      18 |  2548073 |   338952 |    74341      9 |        5 |      712
1219.04/1219.45	c 1217s |      18 |  2552876 |   339652 |    74341      9 |        5 |      712
1221.24/1221.61	c 1219s |      18 |  2557987 |   340352 |    74341      9 |        5 |      712
1223.44/1223.82	c 1221s |      18 |  2562134 |   341152 |    74341      9 |        5 |      712
1225.44/1225.89	c 1223s |      18 |  2566709 |   341952 |    74341      9 |        5 |      712
1227.54/1227.91	c 1225s |      18 |  2570971 |   342652 |    74341      9 |        5 |      712
1229.64/1230.07	c 1227s |      18 |  2573618 |   343352 |    74341      9 |        5 |      712
1231.94/1232.31	c 1230s |      18 |  2576485 |   344052 |    74341      9 |        5 |      712
1233.94/1234.36	c 1232s |      18 |  2579828 |   344852 |    74341      9 |        5 |      712
1236.04/1236.42	c 1234s |      18 |  2583440 |   345652 |    74341      9 |        5 |      712
1238.14/1238.56	c 1236s |      18 |  2586348 |   346552 |    74341      9 |        5 |      712
1240.24/1240.63	c 1238s |      18 |  2588908 |   347452 |    74341      9 |        5 |      712
1242.44/1242.80	c 1240s |      18 |  2592251 |   348452 |    74341      9 |        5 |      712
1244.63/1245.00	c 1242s |      18 |  2598979 |   348952 |    74341      9 |        5 |      712
1246.63/1247.08	c 1244s |      18 |  2603575 |   349552 |    74341      9 |        5 |      712
1248.83/1249.30	c 1247s |      18 |  2609060 |   350152 |    74341      9 |        5 |      712
1251.13/1251.52	c 1249s |      18 |  2613199 |   350552 |    74341      9 |        5 |      712
1253.33/1253.70	c 1251s |      18 |  2618460 |   350952 |    74341      9 |        5 |      712
1255.53/1255.98	c 1253s |      18 |  2622336 |   351452 |    74341      9 |        5 |      712
1257.73/1258.12	c 1255s |      18 |  2627678 |   352152 |    74341      9 |        5 |      712
1259.73/1260.13	c 1257s |      18 |  2633065 |   352552 |    74341      9 |        5 |      712
1261.93/1262.38	c 1260s |      18 |  2638777 |   353252 |    74341      9 |        5 |      712
1264.23/1264.68	c 1262s |      18 |  2643710 |   353752 |    74341      9 |        5 |      712
1266.33/1266.78	c 1264s |      18 |  2648773 |   354152 |    74341      9 |        5 |      712
1268.63/1269.02	c 1266s |      18 |  2654890 |   354652 |    74341      9 |        5 |      712
1270.93/1271.38	c 1269s |      18 |  2659359 |   355252 |    74341      9 |        5 |      712
1273.33/1273.73	c 1271s |      18 |  2664607 |   355852 |    74341      9 |        5 |      712
1275.74/1276.13	c 1273s |      18 |  2668556 |   356352 |    74341      9 |        5 |      712
1277.84/1278.23	c 1275s |      18 |  2673010 |   356952 |    74341      9 |        5 |      712
1279.93/1280.37	c 1278s |      18 |  2678171 |   357452 |    74341      9 |        5 |      712
1282.24/1282.61	c 1280s |      18 |  2683539 |   358052 |    74341      9 |        5 |      712
1284.63/1285.08	c 1282s |      18 |  2688907 |   358752 |    74341      9 |        5 |      712
1286.83/1287.27	c 1284s |      18 |  2696176 |   359252 |    74341      9 |        5 |      712
1288.83/1289.30	c 1287s |      18 |  2701180 |   359952 |    74341      9 |        5 |      712
1291.03/1291.47	c 1289s |      18 |  2706255 |   360452 |    74341      9 |        5 |      712
1293.23/1293.62	c 1291s |      18 |  2710223 |   361152 |    74341      9 |        5 |      712
1295.23/1295.65	c 1293s |      18 |  2712888 |   361452 |    74341     10 |        5 |      712
1297.32/1297.74	c 1295s |      18 |  2716330 |   362052 |    74341     10 |        5 |      712
1299.52/1299.91	c 1297s |      18 |  2721196 |   362652 |    74341     10 |        5 |      712
1301.52/1301.96	c 1299s |      18 |  2725460 |   363352 |    74341     10 |        5 |      712
1303.52/1303.98	c 1301s |      18 |  2729640 |   364052 |    74341     10 |        5 |      712
1305.72/1306.14	c 1303s |      18 |  2736361 |   364752 |    74341     10 |        5 |      712
1307.82/1308.28	c 1306s |      18 |  2740279 |   365452 |    74341     10 |        5 |      712
1309.92/1310.38	c 1308s |      18 |  2742791 |   366152 |    74341     10 |        5 |      712
1312.03/1312.47	c 1310s |      18 |  2745923 |   366852 |    74341     10 |        5 |      712
1314.32/1314.71	c 1312s |      18 |  2749926 |   367552 |    74341     10 |        5 |      712
1316.62/1317.00	c 1314s |      18 |  2754729 |   368352 |    74341     10 |        5 |      712
1318.63/1319.01	c 1316s |      18 |  2759671 |   369152 |    74341     10 |        5 |      712
1320.62/1321.01	c 1318s |      18 |  2763930 |   369952 |    74341     10 |        5 |      712
1322.62/1323.06	c 1320s |      18 |  2766177 |   370652 |    74341     10 |        5 |      712
1324.82/1325.24	c 1322s |      18 |  2768215 |   371452 |    74341     10 |        5 |      712
1326.92/1327.37	c 1325s |      18 |  2770065 |   372352 |    74341     10 |        5 |      712
1329.12/1329.57	c 1327s |      18 |  2774334 |   372652 |    74341     10 |        5 |      712
1331.32/1331.78	c 1329s |      18 |  2779690 |   373252 |    74341     10 |        5 |      712
1333.52/1333.95	c 1331s |      18 |  2785827 |   374052 |    74341     10 |        5 |      712
1335.92/1336.31	c 1334s |      18 |  2792017 |   374552 |    74341     10 |        5 |      712
1338.22/1338.61	c 1336s |      18 |  2796573 |   374952 |    74341     10 |        5 |      712
1340.52/1340.98	c 1338s |      18 |  2798013 |   375452 |    74341     10 |        5 |      712
1342.72/1343.18	c 1340s |      18 |  2800945 |   375852 |    74341     10 |        5 |      712
1345.02/1345.41	c 1343s |      18 |  2804017 |   376452 |    74341     10 |        5 |      712
1347.42/1347.85	c 1345s |      18 |  2808439 |   377052 |    74341     10 |        5 |      712
1349.52/1349.94	c 1347s |      18 |  2812417 |   377452 |    74341     10 |        5 |      712
1351.52/1351.96	c 1349s |      18 |  2816207 |   377852 |    74341     10 |        5 |      712
1353.72/1354.19	c 1351s |      18 |  2819237 |   378452 |    74341     10 |        5 |      712
1356.21/1356.64	c 1354s |      18 |  2824270 |   379052 |    74341     10 |        5 |      712
1358.22/1358.69	c 1356s |      18 |  2828180 |   379452 |    74341     10 |        5 |      712
1360.51/1360.90	c 1358s |      18 |  2832696 |   379952 |    74341     10 |        5 |      712
1362.71/1363.10	c 1360s |      18 |  2836471 |   380552 |    74341     10 |        5 |      712
1365.01/1365.41	c 1363s |      18 |  2839511 |   381152 |    74341     10 |        5 |      712
1367.02/1367.42	c 1365s |      18 |  2843824 |   381752 |    74341     10 |        5 |      712
1369.22/1369.67	c 1367s |      18 |  2848547 |   382352 |    74341     10 |        5 |      712
1371.71/1372.16	c 1369s |      18 |  2853512 |   382852 |    74341     10 |        5 |      712
1373.81/1374.21	c 1371s |      18 |  2857358 |   383352 |    74341     10 |        5 |      712
1375.91/1376.31	c 1374s |      18 |  2860823 |   383952 |    74341     10 |        5 |      712
1378.21/1378.66	c 1376s |      18 |  2866654 |   384452 |    74341     10 |        5 |      712
1380.51/1380.90	c 1378s |      18 |  2871827 |   385052 |    74341     10 |        5 |      712
1382.71/1383.18	c 1380s |      18 |  2876357 |   385752 |    74341     10 |        5 |      712
1385.01/1385.48	c 1383s |      18 |  2880592 |   386252 |    74341     10 |        5 |      712
1387.11/1387.59	c 1385s |      18 |  2884093 |   386952 |    74341     10 |        5 |      712
1389.51/1389.98	c 1387s |      18 |  2889791 |   387552 |    74341     10 |        5 |      712
1391.91/1392.31	c 1390s |      18 |  2893047 |   388252 |    74341     10 |        5 |      712
1394.11/1394.54	c 1392s |      18 |  2896622 |   388752 |    74341     10 |        5 |      712
1396.41/1396.88	c 1394s |      18 |  2900861 |   389452 |    74341     10 |        5 |      712
1398.61/1399.02	c 1396s |      18 |  2904494 |   389952 |    74341     10 |        5 |      712
1400.91/1401.36	c 1399s |      18 |  2907856 |   390652 |    74341     10 |        5 |      712
1402.91/1403.38	c 1401s |      18 |  2911275 |   391252 |    74341     10 |        5 |      712
1405.31/1405.78	c 1403s |      18 |  2915176 |   391852 |    74341     10 |        5 |      712
1407.51/1407.98	c 1405s |      18 |  2919091 |   392452 |    74341     10 |        5 |      712
1410.02/1410.41	c 1408s |      18 |  2922698 |   393152 |    74341     10 |        5 |      712
1412.32/1412.73	c 1410s |      18 |  2927552 |   393852 |    74341     10 |        5 |      712
1414.42/1414.84	c 1412s |      18 |  2930152 |   394452 |    74341     10 |        5 |      712
1416.52/1416.93	c 1414s |      18 |  2932992 |   395052 |    74341     10 |        5 |      712
1418.72/1419.16	c 1416s |      18 |  2936160 |   395752 |    74341     10 |        5 |      712
1420.82/1421.21	c 1418s |      18 |  2939450 |   396452 |    74341     10 |        5 |      712
1422.91/1423.38	c 1421s |      18 |  2942265 |   397152 |    74341     10 |        5 |      712
1425.01/1425.47	c 1423s |      18 |  2945607 |   397952 |    74341     10 |        5 |      712
1427.11/1427.54	c 1425s |      18 |  2948945 |   398852 |    74341     10 |        5 |      712
1430.31/1430.73	c 1428s |      18 |  2952362 |   399752 |    74341     11 |        5 |      712
1432.40/1432.83	c 1430s |      18 |  2955784 |   400052 |    74341     11 |        5 |      712
1434.60/1435.01	c 1432s |      18 |  2961304 |   400652 |    74341     11 |        5 |      712
1436.80/1437.26	c 1434s |      18 |  2968061 |   401352 |    74341     11 |        5 |      712
1438.80/1439.28	c 1437s |      18 |  2974517 |   402152 |    74341     11 |        5 |      712
1440.90/1441.31	c 1439s |      18 |  2978972 |   402652 |    74341     11 |        5 |      712
1443.00/1443.45	c 1441s |      18 |  2985069 |   403152 |    74341     11 |        5 |      712
1445.01/1445.46	c 1443s |      18 |  2990144 |   403652 |    74341     11 |        5 |      712
1447.31/1447.78	c 1445s |      18 |  2995138 |   404452 |    74341     11 |        5 |      712
1449.70/1450.10	c 1447s |      18 |  2999663 |   404952 |    74341     11 |        5 |      712
1452.00/1452.40	c 1450s |      18 |  3006275 |   405752 |    74341     11 |        5 |      712
1454.40/1454.87	c 1452s |      18 |  3012293 |   406352 |    74341     11 |        5 |      712
1456.60/1457.03	c 1454s |      18 |  3017534 |   406852 |    74341     11 |        5 |      712
1458.60/1459.09	c 1456s |      18 |  3021592 |   407552 |    74341     11 |        5 |      712
1460.70/1461.13	c 1458s |      18 |  3026556 |   408152 |    74341     11 |        5 |      712
1463.10/1463.55	c 1461s |      18 |  3031556 |   408952 |    74341     11 |        5 |      712
1465.10/1465.58	c 1463s |      18 |  3035952 |   409452 |    74341     11 |        5 |      712
1467.30/1467.77	c 1465s |      18 |  3039848 |   410152 |    74341     11 |        5 |      712
1469.30/1469.77	c 1467s |      18 |  3043854 |   410752 |    74341     11 |        5 |      712
1471.70/1472.11	c 1469s |      18 |  3047699 |   411452 |    74341     11 |        5 |      712
1473.91/1474.31	c 1472s |      18 |  3052496 |   411952 |    74341     11 |        5 |      712
1476.01/1476.44	c 1474s |      18 |  3058090 |   412752 |    74341     11 |        5 |      712
1478.21/1478.61	c 1476s |      18 |  3064185 |   413552 |    74341     11 |        5 |      712
1480.31/1480.73	c 1478s |      18 |  3068905 |   414152 |    74341     11 |        5 |      712
1482.41/1482.83	c 1480s |      18 |  3072774 |   414852 |    74341     11 |        5 |      712
1484.50/1484.95	c 1482s |      18 |  3078948 |   415652 |    74341     11 |        5 |      712
1486.50/1486.98	c 1484s |      18 |  3082758 |   416352 |    74341     11 |        5 |      712
1488.60/1489.00	c 1486s |      18 |  3086450 |   417052 |    74341     11 |        5 |      712
1490.60/1491.08	c 1488s |      18 |  3090332 |   417652 |    74341     11 |        5 |      712
1492.70/1493.17	c 1490s |      18 |  3093123 |   418352 |    74341     11 |        5 |      712
1494.70/1495.19	c 1492s |      18 |  3096109 |   419052 |    74341     11 |        5 |      712
1497.10/1497.50	c 1495s |      18 |  3099157 |   419852 |    74341     11 |        5 |      712
1499.20/1499.69	c 1497s |      18 |  3102506 |   420652 |    74341     11 |        5 |      712
1501.40/1501.89	c 1499s |      18 |  3104926 |   421552 |    74341     11 |        5 |      712
1503.50/1503.92	c 1501s |      18 |  3107655 |   422452 |    74341     11 |        5 |      712
1505.61/1506.09	c 1503s |      18 |  3110658 |   423052 |    74341     11 |        5 |      712
1507.81/1508.20	c 1505s |      18 |  3114896 |   423552 |    74341     11 |        5 |      712
1510.10/1510.58	c 1508s |      18 |  3119062 |   424252 |    74341     11 |        5 |      712
1512.50/1512.97	c 1510s |      18 |  3123800 |   424752 |    74341     11 |        5 |      712
1514.70/1515.11	c 1512s |      18 |  3127051 |   425352 |    74341     11 |        5 |      712
1516.90/1517.30	c 1515s |      18 |  3132174 |   425952 |    74341     11 |        5 |      712
1519.30/1519.75	c 1517s |      18 |  3137311 |   426452 |    74341     11 |        5 |      712
1521.30/1521.78	c 1519s |      18 |  3141077 |   427052 |    74341     11 |        5 |      712
1523.70/1524.19	c 1521s |      18 |  3147176 |   427652 |    74341     11 |        5 |      712
1526.10/1526.55	c 1524s |      18 |  3151472 |   428152 |    74341     11 |        5 |      712
1528.10/1528.58	c 1526s |      18 |  3154936 |   428752 |    74341     11 |        5 |      712
1530.60/1531.00	c 1528s |      18 |  3160502 |   429352 |    74341     11 |        5 |      712
1532.80/1533.20	c 1530s |      18 |  3165767 |   429952 |    74341     11 |        5 |      712
1535.20/1535.63	c 1533s |      18 |  3170160 |   430652 |    74341     11 |        5 |      712
1537.29/1537.78	c 1535s |      18 |  3173477 |   431152 |    74341     11 |        5 |      712
1539.70/1540.11	c 1537s |      18 |  3177426 |   431752 |    74341     11 |        5 |      712
1541.69/1542.15	c 1539s |      18 |  3183380 |   432352 |    74341     11 |        5 |      712
1544.10/1544.52	c 1542s |      18 |  3188548 |   433052 |    74341     11 |        5 |      712
1546.30/1546.76	c 1544s |      18 |  3192822 |   433652 |    74341     11 |        5 |      712
1548.59/1549.03	c 1546s |      18 |  3196555 |   434352 |    74341     11 |        5 |      712
1550.99/1551.49	c 1549s |      18 |  3201987 |   435152 |    74341     11 |        5 |      712
1553.09/1553.51	c 1551s |      18 |  3205454 |   435652 |    74341     11 |        5 |      712
1555.29/1555.74	c 1553s |      18 |  3209495 |   436352 |    74341     11 |        5 |      712
1557.49/1557.91	c 1555s |      18 |  3212752 |   436952 |    74341     11 |        5 |      712
1559.50/1559.93	c 1557s |      18 |  3215321 |   437552 |    74341     11 |        5 |      712
1561.70/1562.17	c 1559s |      18 |  3219120 |   438152 |    74341     11 |        5 |      712
1563.80/1564.22	c 1561s |      18 |  3222620 |   438852 |    74341     11 |        5 |      712
1565.79/1566.26	c 1563s |      18 |  3225355 |   439352 |    74341     12 |        5 |      712
1567.89/1568.34	c 1566s |      18 |  3229337 |   440152 |    74341     12 |        5 |      712
1570.09/1570.50	c 1568s |      18 |  3232883 |   441052 |    74341     12 |        5 |      712
1572.19/1572.60	c 1570s |      18 |  3236198 |   442052 |    81776     12 |        5 |      712
1574.79/1575.20	c 1572s |      18 |  3238164 |   442852 |    81776     12 |        5 |      712
1576.99/1577.40	c 1575s |      18 |  3241990 |   443352 |    81776     12 |        5 |      712
1579.29/1579.78	c 1577s |      18 |  3246149 |   444052 |    81776     12 |        5 |      712
1581.28/1581.72	c 1579s |      19 |  3250259 |   444482 |    81776     12 |        5 |      712
1583.38/1583.83	c 1581s |      19 |  3256190 |   444982 |    81776     12 |        5 |      712
1585.58/1586.00	c 1583s |      19 |  3260776 |   445682 |    81776     12 |        5 |      712
1587.68/1588.17	c 1585s |      19 |  3264417 |   446282 |    81776     12 |        5 |      712
1589.98/1590.47	c 1588s |      19 |  3269194 |   446882 |    81776     12 |        5 |      712
1592.18/1592.62	c 1590s |      19 |  3273391 |   447382 |    81776     12 |        5 |      712
1594.48/1594.93	c 1592s |      19 |  3277799 |   448082 |    81776     12 |        5 |      712
1596.48/1596.94	c 1594s |      19 |  3282581 |   448582 |    81776     12 |        5 |      712
1598.58/1599.02	c 1596s |      19 |  3287184 |   449282 |    81776     12 |        5 |      712
1600.88/1601.33	c 1599s |      19 |  3292491 |   449982 |    81776     12 |        5 |      712
1603.08/1603.54	c 1601s |      19 |  3296322 |   450682 |    81776     12 |        5 |      712
1605.18/1605.60	c 1603s |      19 |  3300798 |   451382 |    81776     12 |        5 |      712
1607.38/1607.81	c 1605s |      19 |  3305605 |   451982 |    81776     12 |        5 |      712
1609.38/1609.84	c 1607s |      19 |  3309355 |   452682 |    81776     12 |        5 |      712
1611.68/1612.10	c 1609s |      19 |  3312834 |   453382 |    81776     12 |        5 |      712
1613.98/1614.42	c 1612s |      19 |  3316626 |   453982 |    81776     12 |        5 |      712
1615.98/1616.49	c 1614s |      19 |  3320276 |   454782 |    81776     12 |        5 |      712
1618.08/1618.58	c 1616s |      19 |  3324596 |   455382 |    81776     12 |        5 |      712
1620.08/1620.59	c 1618s |      19 |  3328814 |   456082 |    81776     12 |        5 |      712
1622.38/1622.83	c 1620s |      19 |  3332457 |   456882 |    81776     12 |        5 |      712
1624.48/1624.93	c 1622s |      19 |  3337005 |   457782 |    81776     12 |        5 |      712
1626.48/1626.95	c 1624s |      19 |  3340707 |   458582 |    81776     12 |        5 |      712
1628.58/1629.09	c 1626s |      19 |  3345272 |   459682 |    81776     12 |        5 |      712
1630.68/1631.11	c 1628s |      19 |  3347691 |   460682 |    81776     12 |        5 |      712
1683.57/1684.02	c 1681s |      19 |  3350210 |   461182 |    81776     12 |        5 |      712
1685.77/1686.25	c 1683s |      19 |  3355212 |   461582 |    81776     12 |        5 |      712
1687.86/1688.33	c 1686s |      19 |  3360651 |   462082 |    81776     12 |        5 |      712
1690.06/1690.52	c 1688s |      19 |  3365277 |   462682 |    81776     12 |        5 |      712
1692.16/1692.61	c 1690s |      19 |  3370072 |   463082 |    81776     12 |        5 |      712
1694.16/1694.64	c 1692s |      19 |  3374169 |   463482 |    81776     12 |        5 |      712
1696.46/1696.96	c 1694s |      19 |  3376343 |   464082 |    81776     12 |        5 |      712
1698.46/1698.97	c 1696s |      19 |  3381151 |   464582 |    81776     12 |        5 |      712
1700.76/1701.29	c 1699s |      19 |  3385574 |   464982 |    81776     12 |        5 |      712
1702.86/1703.32	c 1701s |      19 |  3389390 |   465382 |    81776     12 |        5 |      712
1704.96/1705.43	c 1703s |      19 |  3392721 |   465982 |    81776     12 |        5 |      712
1706.96/1707.45	c 1705s |      19 |  3397603 |   466482 |    81776     12 |        5 |      712
1708.97/1709.45	c 1707s |      19 |  3403351 |   466882 |    81776     12 |        5 |      712
1711.36/1711.80	c 1709s |      19 |  3407894 |   467382 |    81776     12 |        5 |      712
1713.37/1713.90	c 1711s |      19 |  3411333 |   467982 |    81776     12 |        5 |      712
1715.46/1715.90	c 1713s |      19 |  3416049 |   468382 |    81776     12 |        5 |      712
1717.77/1718.27	c 1716s |      19 |  3420558 |   468882 |    81776     12 |        5 |      712
1719.97/1720.45	c 1718s |      19 |  3424705 |   469582 |    81776     12 |        5 |      712
1722.17/1722.68	c 1720s |      19 |  3430642 |   470082 |    81776     12 |        5 |      712
1724.47/1724.98	c 1722s |      19 |  3435251 |   470582 |    81776     12 |        5 |      712
1726.96/1727.43	c 1725s |      19 |  3440175 |   471282 |    81776     12 |        5 |      712
1729.06/1729.60	c 1727s |      19 |  3445567 |   471782 |    81776     12 |        5 |      712
1731.26/1731.70	c 1729s |      19 |  3449186 |   472382 |    81776     12 |        5 |      712
1733.36/1733.88	c 1731s |      19 |  3454164 |   472882 |    81776     12 |        5 |      712
1735.66/1736.13	c 1733s |      19 |  3458831 |   473582 |    81776     12 |        5 |      712
1737.96/1738.45	c 1736s |      19 |  3463468 |   474082 |    81776     12 |        5 |      712
1740.36/1740.80	c 1738s |      19 |  3470225 |   474682 |    81776     12 |        5 |      712
1742.36/1742.85	c 1740s |      19 |  3472905 |   475282 |    81776     12 |        5 |      712
1744.56/1745.02	c 1742s |      19 |  3479286 |   475882 |    81776     12 |        5 |      712
1746.56/1747.06	c 1744s |      19 |  3482974 |   476482 |    81776     12 |        5 |      712
1748.76/1749.21	c 1746s |      19 |  3487358 |   476982 |    81776     12 |        5 |      712
1750.87/1751.32	c 1749s |      19 |  3491084 |   477582 |    81776     12 |        5 |      712
1753.26/1753.79	c 1751s |      19 |  3494365 |   478282 |    81776     12 |        5 |      712
1755.36/1755.80	c 1753s |      19 |  3498323 |   478882 |    81776     12 |        5 |      712
1757.66/1758.16	c 1755s |      19 |  3503171 |   479482 |    81776     12 |        5 |      712
1759.96/1760.45	c 1758s |      19 |  3506550 |   480182 |    81776     12 |        5 |      712
1762.16/1762.60	c 1760s |      19 |  3510576 |   480782 |    81776     12 |        5 |      712
1764.26/1764.73	c 1762s |      19 |  3514238 |   481482 |    81776     12 |        5 |      712
1766.27/1766.80	c 1764s |      19 |  3519408 |   482382 |    81776     12 |        5 |      712
1768.47/1768.99	c 1766s |      19 |  3522420 |   482982 |    81776     12 |        5 |      712
1770.67/1771.14	c 1768s |      19 |  3524730 |   483582 |    81776     12 |        5 |      712
1772.77/1773.28	c 1771s |      19 |  3528679 |   484382 |    81776     12 |        5 |      712
1774.97/1775.45	c 1773s |      19 |  3532229 |   485182 |    81776     12 |        5 |      712
1777.06/1777.59	c 1775s |      19 |  3534760 |   485982 |    81776     12 |        5 |      712
1779.16/1779.63	c 1777s |      19 |  3536302 |   486582 |    81776     13 |        5 |      712
1785.05/1785.58	c 1783s |      19 |  3538233 |   486882 |    81776     13 |        5 |      712
1787.06/1787.59	c 1785s |      19 |  3539425 |   486982 |    81776     13 |        5 |      712
1789.15/1789.64	c 1787s |      19 |  3543693 |   487382 |    81776     13 |        5 |      712
1791.46/1791.97	c 1789s |      19 |  3548108 |   488082 |    81776     13 |        5 |      712
1793.85/1794.30	c 1792s |      19 |  3553375 |   488582 |    81776     13 |        5 |      712
1796.15/1796.63	c 1794s |      19 |  3558128 |   488982 |    81776     13 |        5 |      712
1798.25/1798.70	c 1796s |      19 |  3562136 |   489382 |    81776     13 |        5 |      712

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.28 1.59 1.89 3/171 21594
/proc/meminfo: memFree=30936700/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 2841 0 0 0 0 0 0 0 20 0 4 0 13901624 778498048 3202 33554432000 4194304 16246674 140735235940832 140735235940256 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21594/statm: 190575 3209 441 2943 0 187469 0
[pid=21594/tid=21596] ppid=21590 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 796323840 3270 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 801566720 3289 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=786876 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13901625 805761024 3308 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100188 s]
/proc/loadavg: 1.28 1.59 1.89 3/171 21594
/proc/meminfo: memFree=30936700/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 27035 0 0 0 5 4 0 0 20 0 4 0 13901624 1333334016 27335 33554432000 4194304 16246674 140735235940832 140735235940144 7889646 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21594/statm: 325521 27351 800 2943 0 322415 0
[pid=21594/tid=21596] ppid=21590 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1333334016 27363 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1333334016 27374 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1333334016 27385 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200534 s]
/proc/loadavg: 1.28 1.59 1.89 3/171 21594
/proc/meminfo: memFree=30936700/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 47655 0 0 0 12 7 0 0 20 0 4 0 13901624 1344868352 48465 33554432000 4194304 16246674 140735235940832 140735235940144 7852941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21594/statm: 328337 48465 800 2943 0 325231 0
[pid=21594/tid=21596] ppid=21590 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 48465 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 48465 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 48465 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300491 s]
/proc/loadavg: 1.28 1.59 1.89 3/171 21594
/proc/meminfo: memFree=30936700/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 56561 0 0 0 21 8 0 0 20 0 4 0 13901624 1344868352 57371 33554432000 4194304 16246674 140735235940832 140735235940144 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21594/statm: 328337 57371 800 2943 0 325231 0
[pid=21594/tid=21596] ppid=21590 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 57371 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 57371 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 57371 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700421 s]
/proc/loadavg: 1.28 1.59 1.89 3/171 21594
/proc/meminfo: memFree=30936700/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 69947 0 0 0 59 10 0 0 20 0 4 0 13901624 1344868352 70757 33554432000 4194304 16246674 140735235940832 140735235923824 4220936 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21594/statm: 328337 70757 802 2943 0 325231 0
[pid=21594/tid=21596] ppid=21590 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 70757 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 70757 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 70757 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 1.28 1.59 1.89 3/183 21606
/proc/meminfo: memFree=30075992/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 214585 0 0 0 119 30 0 0 20 0 4 0 13901624 1344868352 215395 33554432000 4194304 16246674 140735235940832 140735235922752 6757465 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21594/statm: 328337 215411 836 2943 0 325231 0
[pid=21594/tid=21596] ppid=21590 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 215421 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 215429 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1344868352 215434 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 1.34 1.60 1.89 3/183 21606
/proc/meminfo: memFree=28760064/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1324612 CPUtime=3.08 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 271609 0 0 0 272 36 0 0 20 0 4 0 13901624 1356402688 272419 33554432000 4194304 16246674 140735235940832 140735235922752 5813280 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21594/statm: 331153 272419 881 2943 0 328047 0
[pid=21594/tid=21596] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272419 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272419 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272419 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1324612

[startup+6.30038 s]
/proc/loadavg: 1.34 1.60 1.89 3/183 21606
/proc/meminfo: memFree=28757892/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1324612 CPUtime=6.28 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 271822 0 0 0 592 36 0 0 20 0 4 0 13901624 1356402688 272632 33554432000 4194304 16246674 140735235940832 140735235922752 5661595 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21594/statm: 331153 272632 884 2943 0 328047 0
[pid=21594/tid=21596] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272632 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272632 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272632 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1324612

[startup+12.7004 s]
/proc/loadavg: 1.44 1.61 1.89 3/183 21606
/proc/meminfo: memFree=28757580/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1324612 CPUtime=12.68 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 271823 0 0 0 1232 36 0 0 20 0 4 0 13901624 1356402688 272633 33554432000 4194304 16246674 140735235940832 140735235922752 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21594/statm: 331153 272633 884 2943 0 328047 0
[pid=21594/tid=21596] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272633 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272633 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272633 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1324612

[startup+25.5005 s]
/proc/loadavg: 1.60 1.64 1.90 3/183 21606
/proc/meminfo: memFree=28758604/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1324612 CPUtime=25.48 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 271823 0 0 0 2512 36 0 0 20 0 4 0 13901624 1356402688 272633 33554432000 4194304 16246674 140735235940832 140735235922752 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21594/statm: 331153 272633 884 2943 0 328047 0
[pid=21594/tid=21596] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272633 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272633 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272633 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1324612

[startup+51.1005 s]
/proc/loadavg: 1.73 1.67 1.90 3/183 21606
/proc/meminfo: memFree=28758572/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1324612 CPUtime=51.07 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 271842 0 0 0 5071 36 0 0 20 0 4 0 13901624 1356402688 272635 33554432000 4194304 16246674 140735235940832 140735235922752 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21594/statm: 331153 272635 886 2943 0 328047 0
[pid=21594/tid=21596] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272635 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272635 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272635 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1324612

[startup+102.3 s]
/proc/loadavg: 2.02 1.76 1.92 3/184 21610
/proc/meminfo: memFree=28759004/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1324612 CPUtime=102.27 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 271847 0 0 0 10190 37 0 0 20 0 4 0 13901624 1356402688 272635 33554432000 4194304 16246674 140735235940832 140735235922752 5827984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21594/statm: 331153 272635 886 2943 0 328047 0
[pid=21594/tid=21596] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272635 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272635 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1356402688 272635 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1324612


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

/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1428754432 290302 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1395268

[startup+1362.3 s]
/proc/loadavg: 2.17 2.14 2.07 3/183 21641
/proc/meminfo: memFree=28563000/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1395268 CPUtime=1361.91 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 289778 0 0 0 136143 48 0 0 20 0 4 0 13901624 1428754432 290302 33554432000 4194304 16246674 140735235940832 140735235922752 5822848 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21594/statm: 348817 290302 888 2943 0 345711 0
[pid=21594/tid=21596] ppid=21590 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1428754432 290302 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1428754432 290302 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1428754432 290302 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1395268

[startup+1422.3 s]
/proc/loadavg: 2.22 2.16 2.08 3/183 21643
/proc/meminfo: memFree=28562820/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1395268 CPUtime=1421.92 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 289778 0 0 0 142143 49 0 0 20 0 4 0 13901624 1428754432 290302 33554432000 4194304 16246674 140735235940832 140735235922752 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21594/statm: 348817 290302 888 2943 0 345711 0
[pid=21594/tid=21596] ppid=21590 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1428754432 290302 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1428754432 290302 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1428754432 290302 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1395268

[startup+1482.3 s]
/proc/loadavg: 2.19 2.16 2.09 3/183 21644
/proc/meminfo: memFree=28414236/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1544772 CPUtime=1481.9 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 326957 0 0 0 148136 54 0 0 20 0 4 0 13901624 1581846528 327481 33554432000 4194304 16246674 140735235940832 140735235922752 5823737 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21594/statm: 386193 327481 888 2943 0 383087 0
[pid=21594/tid=21596] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327481 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327481 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327481 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1544772

[startup+1542.31 s]
/proc/loadavg: 2.10 2.14 2.09 3/183 21645
/proc/meminfo: memFree=28414840/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1544772 CPUtime=1541.9 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 326957 0 0 0 154136 54 0 0 20 0 4 0 13901624 1581846528 327481 33554432000 4194304 16246674 140735235940832 140735235922752 5754969 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21594/statm: 386193 327481 888 2943 0 383087 0
[pid=21594/tid=21596] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327481 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327481 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327481 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1544772

[startup+1602.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 21646
/proc/meminfo: memFree=28413952/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1544772 CPUtime=1601.88 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 327154 0 0 0 160134 54 0 0 20 0 4 0 13901624 1581846528 327678 33554432000 4194304 16246674 140735235940832 140735235922752 5661532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21594/statm: 386193 327678 888 2943 0 383087 0
[pid=21594/tid=21596] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1544772

[startup+1662.3 s]
/proc/loadavg: 2.21 2.17 2.10 3/183 21647
/proc/meminfo: memFree=28413820/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1544772 CPUtime=1661.88 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 327154 0 0 0 166130 58 0 0 20 0 4 0 13901624 1581846528 327678 33554432000 4194304 16246674 140735235940832 140735235939928 4220495 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21594/statm: 386193 327678 888 2943 0 383087 0
[pid=21594/tid=21596] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1544772

[startup+1722.3 s]
/proc/loadavg: 2.13 2.15 2.09 3/183 21649
/proc/meminfo: memFree=28413644/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1544772 CPUtime=1721.86 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 327154 0 0 0 172126 60 0 0 20 0 4 0 13901624 1581846528 327678 33554432000 4194304 16246674 140735235940832 140735235922752 5677392 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21594/statm: 386193 327678 888 2943 0 383087 0
[pid=21594/tid=21596] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1544772

[startup+1782.3 s]
/proc/loadavg: 2.21 2.18 2.10 3/183 21650
/proc/meminfo: memFree=28413844/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1544772 CPUtime=1781.86 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 327154 0 0 0 178125 61 0 0 20 0 4 0 13901624 1581846528 327678 33554432000 4194304 16246674 140735235940832 140735235939928 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21594/statm: 386193 327678 888 2943 0 383087 0
[pid=21594/tid=21596] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1544772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.19 2.10 3/183 21650
/proc/meminfo: memFree=28413972/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1544772 CPUtime=1800.05 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 327154 0 0 0 179944 61 0 0 20 0 4 0 13901624 1581846528 327678 33554432000 4194304 16246674 140735235940832 140735235922752 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21594/statm: 386193 327678 888 2943 0 383087 0
[pid=21594/tid=21596] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1544772

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

[startup+1800.5 s]
/proc/loadavg: 2.23 2.19 2.10 3/183 21650
/proc/meminfo: memFree=28413972/32872528 swapFree=876280/941688
[pid=21594] ppid=21590 vsize=1544772 CPUtime=1800.05 cores=1,3,5,7
/proc/21594/stat : 21594 (toysat) R 21590 21594 17444 0 -1 4202496 327154 0 0 0 179944 61 0 0 20 0 4 0 13901624 1581846528 327678 33554432000 4194304 16246674 140735235940832 140735235922752 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21594/statm: 386193 327678 888 2943 0 383087 0
[pid=21594/tid=21596] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21596/stat : 21596 (toysat) S 21590 21594 17444 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176091229424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21594/tid=21597] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21597/stat : 21597 (toysat) S 21590 21594 17444 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176080739568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21594/tid=21598] ppid=21590 vsize=1544772 CPUtime=0 cores=1,3,5,7
/proc/21594/task/21598/stat : 21598 (toysat) S 21590 21594 17444 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13901625 1581846528 327678 33554432000 4194304 16246674 140735235940832 140176070266032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1544772

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1799.45
CPU system time (s): 0.627904
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1544772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.627904
maximum resident set size= 1310712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327154
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= 312
involuntary context switches= 2027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54431 second user time and 6.96494 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-17 01:08:47
IDJOB=4097842
IDBENCH=107815
IDSOLVER=2542
FILE ID=node113/4097842-1466118527
RUNJOBID= node113-1466118527-21570
PBS_JOBID= 19904068
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_18.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097842-1466118527/watcher-4097842-1466118527 -o /tmp/evaluation-result-4097842-1466118527/solver-4097842-1466118527 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466118527-21570 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097842-1466118527.opb

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

MD5SUM BENCH= 8d379ca3dcc1813408eb4744b290ded2
RANDOM SEED=643843427

node113.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.799
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.59
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.799
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.799
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.799
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.799
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.799
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.54
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.799
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.54
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.799
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30938328 kB
Buffers:           71716 kB
Cached:           213320 kB
SwapCached:         2160 kB
Active:           169356 kB
Inactive:         117828 kB
Active(anon):       3544 kB
Inactive(anon):     1612 kB
Active(file):     165812 kB
Inactive(file):   116216 kB
Unevictable:      941688 kB
Mlocked:          876280 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:             41556 kB
Writeback:             0 kB
AnonPages:        943676 kB
Mapped:             6928 kB
Shmem:                 0 kB
Slab:             572284 kB
SReclaimable:      16576 kB
SUnreclaim:       555708 kB
KernelStack:        1392 kB
PageTables:         5448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1038072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 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= 71664 MiB
End job on node113 at 2016-06-17 01:38:48