Trace number 4078772

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb
MD5SUM5bedad9895f21a4b5e521b3abd33ba08
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.036993
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3660
Total number of constraints121
Number of constraints which are clauses61
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint61
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T21:18:30+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-4078772-1465240710.opb"]
0.00/0.01	c use --random-gen="3424720121 2584326745 2939115446 3450718178 473104719 1100403284 2091330519 789103860 622624490 1024302161 3575706950 2338262629 2737305350 1651823055 854228975 3832168823 2951506479 1084914942 545410073 1946293121 360591957 3365352581 1173156506 1590181799 840145349 2595007235 2480913195 561766845 2992830261 4264027570 603241711 4186159608 236452107 3307445517 381924147 3263470008 2183166588 3279603991 1126426964 3875371858 1016620968 1173856514 3514080262 1167987250 4086497128 2017406738 3123944012 2667401863 3414231401 3500937141 3631632884 3615715475 4006964703 1602674750 2150024515 904220405 3975182437 3069904674 3877469253 2763594385 1077157370 2680396564 2401648651 1439067603 3699114139 2010363785 3403047662 1635320170 1079314906 4028908265 1197826387 930461918 658698324 1077604604 446559871 1310819551 2173793980 2950037868 969881676 2175882330 2911943146 548663084 501000948 145400221 580125824 4026519775 2030137270 4261148049 276381714 2429869511 1886800863 3117448138 1074152379 91925385 2227781039 3067567457 2464355910 346240415 3798077951 4132101044 2275015640 125484496 3862158475 3385148304 3155566012 241678110 789429768 2455092607 1976594535 378342470 475391461 710278004 2694538370 3057166510 3748908089 2142814694 556598758 1777173469 1637051346 1331232857 2319322030 1696791172 2919692552 2120901695 213409438 3152069203 934115991 3784042511 3783503072 4144818697 731993904 2317526252 3916612087 678555126 1916512001 1972417338 2041135182 3547824479 2641360910 2251432045 1567440637 2730459996 979624983 2005974081 1474740009 367134740 2775150214 636271294 3501301265 3727830889 3424344245 365546576 716480067 513033141 4168217531 841764717 72089398 127919537 2036089910 14745742 2620446780 473276791 4014963074 674851259 1690034088 3697038828 2247807624 1003531635 3369124837 4119605648 3721455456 423280927 1491110080 269251098 3788992526 2277720625 3055084202 3310328690 2758051719 1434642698 1263801625 2614499054 1260064947 3522242120 3113405396 2690622468 1304671276 2357263533 967192587 1690468538 497624805 3525748733 1534287858 180325637 860185225 3068557953 311864694 3157178104 823875413 2072792294 2271950924 1306939666 3980018673 1349463323 776852223 3873640617 1114385651 800772079 2261994815 4011205050 1589284435 503553409 4279042392 1350042519 3794288017 1769796513 4131463208 3546404518 1138710338 73360016 3276424260 2846526310 2109462660 2939796610 2087404371 3458807262 3809876429 3263011831 3722164536 1211352007 3443639147 3416091411 686531286 1835905609 2089316149 4293153593 3932737790 2966531725 4242488591 2740476201 807277227 779208801 1430517987 2666716055 3887090809 2492327134 1456593752 3825930279 1637722456 2412679825 2930485585 1090380586 126142088 1864266482 347582346 355552664 255 362436" option to reproduce the execution
0.00/0.03	c #vars 3660
0.00/0.03	c #constraints 121
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |     1260      0 |        0 |        0
0.09/0.10	c  0.1s |       1 |      177 |      100 |     1260      0 |        0 |        0
0.19/0.27	c  0.2s |       2 |     1915 |      250 |     1386      0 |        0 |        0
0.48/0.59	c  0.6s |       3 |     3862 |      475 |     1525      0 |        0 |        0
1.09/1.11	c  1.1s |       4 |     6627 |      813 |     1678      0 |        0 |        0
1.79/1.85	c  1.8s |       5 |     9625 |     1320 |     1846      0 |        0 |        0
2.79/2.82	c  2.8s |       6 |    12334 |     2081 |     2235      0 |        0 |        0
4.09/4.12	c  4.1s |       7 |    15722 |     3223 |     2459      0 |        0 |        0
6.09/6.19	c  6.2s |       7 |    19408 |     4823 |     2459      1 |        0 |        0
6.29/6.34	c  6.3s |       8 |    19555 |     4936 |     2705      1 |        0 |        0
8.39/8.46	c  8.4s |       8 |    23016 |     6336 |     2705      2 |        0 |        0
10.49/10.56	c 10.5s |       8 |    24314 |     7436 |     2705      2 |        0 |        0
10.69/10.73	c 10.7s |       9 |    24391 |     7506 |     2976      2 |        0 |        0
12.79/12.87	c 12.8s |       9 |    27945 |     8706 |     2976      3 |        0 |        0
15.09/15.16	c 15.1s |       9 |    29044 |     9706 |     2976      3 |        0 |        0
17.28/17.30	c 17.3s |       9 |    30455 |    10406 |     2976      3 |        0 |        0
19.38/19.43	c 19.4s |       9 |    31662 |    11206 |     2976      3 |        0 |        0
19.69/19.79	c 19.7s |      10 |    32324 |    11361 |     3274      3 |        0 |        0
21.88/21.96	c 21.9s |      10 |    35921 |    12761 |     3274      4 |        0 |        0
23.88/23.98	c 23.9s |      10 |    37272 |    13961 |     3274      4 |        0 |        0
25.98/26.09	c 26.0s |      10 |    38484 |    15061 |     3274      4 |        0 |        0
28.08/28.14	c 28.1s |      10 |    39482 |    15961 |     3274      5 |        0 |        0
30.18/30.27	c 30.2s |      10 |    40404 |    16761 |     3274      5 |        0 |        0
31.38/31.40	c 31.4s |      11 |    40818 |    17144 |     3602      5 |        0 |        0
33.48/33.55	c 33.5s |      11 |    42806 |    18444 |     3602      6 |        0 |        0
35.58/35.61	c 35.6s |      11 |    44414 |    19844 |     3602      7 |        0 |        0
37.68/37.73	c 37.7s |      11 |    46048 |    21244 |     3602      8 |        0 |        0
39.78/39.85	c 39.8s |      11 |    49265 |    22844 |     3602      8 |        0 |        0
41.89/41.96	c 41.9s |      11 |    50455 |    23944 |     3602      8 |        0 |        0
44.09/44.13	c 44.1s |      11 |    51540 |    24944 |     3602      8 |        0 |        0
45.98/46.07	c 46.0s |      12 |    52518 |    25819 |     3963      8 |        0 |        0
48.08/48.13	c 48.1s |      12 |    55753 |    26819 |     3963      9 |        0 |        0
50.08/50.16	c 50.1s |      12 |    56880 |    27819 |     3963      9 |        0 |        0
52.18/52.22	c 52.2s |      12 |    57974 |    28819 |     3963      9 |        0 |        0
54.18/54.23	c 54.2s |      12 |    58983 |    29719 |     3963      9 |        0 |        0
56.28/56.37	c 56.3s |      12 |    59962 |    30619 |     3963     10 |        0 |        0
58.39/58.45	c 58.4s |      12 |    60866 |    31419 |     3963     10 |        0 |        0
60.48/60.53	c 60.5s |      12 |    61645 |    32119 |     3963     10 |        0 |        0
62.68/62.73	c 62.7s |      12 |    62413 |    32819 |     3963     10 |        0 |        0
64.88/65.00	c 65.0s |      12 |    63176 |    33519 |     3963     10 |        0 |        0
66.98/67.01	c 67.0s |      12 |    63814 |    34119 |     3963     11 |        0 |        0
69.08/69.14	c 69.1s |      12 |    64702 |    34919 |     3963     11 |        0 |        0
71.18/71.23	c 71.2s |      12 |    65592 |    35719 |     3963     11 |        0 |        0
73.38/73.43	c 73.4s |      12 |    66393 |    36419 |     3963     11 |        0 |        0
75.48/75.55	c 75.5s |      12 |    67140 |    37119 |     3963     11 |        0 |        0
77.58/77.69	c 77.6s |      12 |    67927 |    37819 |     3963     12 |        0 |        0
79.77/79.86	c 79.8s |      12 |    68780 |    38619 |     4360     12 |        0 |        0
80.28/80.32	c 80.3s |      13 |    69054 |    38832 |     4360     12 |        0 |        0
82.37/82.46	c 82.4s |      13 |    72223 |    40132 |     4360     13 |        0 |        0
84.57/84.60	c 84.6s |      13 |    73578 |    41332 |     4360     13 |        0 |        0
86.68/86.71	c 86.7s |      13 |    74847 |    42432 |     4360     13 |        0 |        0
88.78/88.82	c 88.8s |      13 |    76076 |    43532 |     4360     13 |        0 |        0
90.78/90.82	c 90.8s |      13 |    76949 |    44332 |     4360     14 |        0 |        0
92.87/92.95	c 92.9s |      13 |    78106 |    45332 |     4360     14 |        0 |        0
95.08/95.12	c 95.1s |      13 |    79386 |    46432 |     4360     14 |        0 |        0
97.07/97.19	c 97.1s |      13 |    80498 |    47432 |     4360     14 |        0 |        0
99.17/99.29	c 99.2s |      13 |    81508 |    48332 |     4360     15 |        0 |        0
101.28/101.31	c  101s |      13 |    82511 |    49232 |     4360     15 |        0 |        0
103.37/103.44	c  103s |      13 |    83509 |    50132 |     4360     15 |        0 |        0
105.47/105.59	c  105s |      13 |    84491 |    51032 |     4360     15 |        0 |        0
107.67/107.72	c  107s |      13 |    85376 |    51832 |     4360     15 |        0 |        0
109.77/109.84	c  109s |      13 |    86175 |    52532 |     4360     16 |        0 |        0
111.87/111.94	c  111s |      13 |    87205 |    53432 |     4360     16 |        0 |        0
113.97/114.02	c  113s |      13 |    88198 |    54332 |     4360     16 |        0 |        0
115.97/116.09	c  116s |      13 |    89123 |    55132 |     4360     16 |        0 |        0
118.47/118.50	c  118s |      13 |    90075 |    55932 |     4360     17 |        0 |        0
120.47/120.59	c  120s |      13 |    91037 |    56732 |     4360     17 |        0 |        0
122.77/122.82	c  122s |      13 |    92056 |    57632 |     4360     17 |        0 |        0
124.47/124.54	c  124s |      14 |    92957 |    58352 |     4796     17 |        0 |        0
126.47/126.59	c  126s |      14 |    96430 |    59952 |     4796     18 |        0 |        0
128.67/128.71	c  128s |      14 |    98139 |    61452 |     4796     18 |        0 |        0
130.66/130.79	c  130s |      14 |    99751 |    62852 |     4796     18 |        0 |        0
132.77/132.87	c  132s |      14 |   101230 |    64152 |     4796     19 |        0 |        0
134.87/134.93	c  134s |      14 |   102616 |    65352 |     4796     19 |        0 |        0
136.97/137.06	c  137s |      14 |   104156 |    66652 |     4796     19 |        0 |        0
139.07/139.12	c  139s |      14 |   105307 |    67652 |     4796     20 |        0 |        0
141.16/141.21	c  141s |      14 |   106610 |    68752 |     4796     20 |        0 |        0
143.16/143.29	c  143s |      14 |   107861 |    69852 |     4796     20 |        0 |        0
145.27/145.39	c  145s |      14 |   108971 |    70852 |     4796     20 |        0 |        0
147.47/147.57	c  147s |      14 |   109964 |    71752 |     4796     21 |        0 |        0
149.47/149.59	c  149s |      14 |   111096 |    72752 |     4796     21 |        0 |        0
151.57/151.67	c  151s |      14 |   112349 |    73852 |     4796     21 |        0 |        0
153.66/153.73	c  153s |      14 |   113602 |    74952 |     4796     21 |        0 |        0
155.66/155.77	c  155s |      14 |   114608 |    75852 |     4796     22 |        0 |        0
157.76/157.85	c  157s |      14 |   115908 |    77052 |     4796     22 |        0 |        0
159.86/159.90	c  159s |      14 |   117097 |    78152 |     4796     22 |        0 |        0
161.86/161.92	c  161s |      14 |   118076 |    79052 |     4796     22 |        0 |        0
164.26/164.38	c  164s |      14 |   119061 |    79952 |     4796     23 |        0 |        0
166.47/166.57	c  166s |      14 |   120120 |    80952 |     4796     23 |        0 |        0
168.56/168.62	c  168s |      14 |   121101 |    81852 |     4796     23 |        0 |        0
170.76/170.86	c  170s |      14 |   122204 |    82852 |     4796     23 |        0 |        0
173.06/173.10	c  173s |      14 |   123181 |    83752 |     4796     23 |        0 |        0
175.06/175.14	c  175s |      14 |   123976 |    84452 |     4796     24 |        0 |        0
177.17/177.28	c  177s |      14 |   125344 |    85652 |     4796     24 |        0 |        0
179.37/179.47	c  179s |      14 |   126471 |    86652 |     4796     24 |        0 |        0
181.57/181.69	c  181s |      14 |   127487 |    87552 |     5276     24 |        0 |        0
181.76/181.89	c  181s |      15 |   127600 |    87632 |     5276     24 |        0 |        0
183.96/184.04	c  183s |      15 |   130684 |    88932 |     5276     25 |        0 |        0
186.06/186.10	c  186s |      15 |   132319 |    90332 |     5276     25 |        0 |        0
188.06/188.15	c  188s |      15 |   133575 |    91432 |     5276     25 |        0 |        0
190.06/190.19	c  190s |      15 |   134645 |    92332 |     5276     25 |        0 |        0
192.36/192.40	c  192s |      15 |   135562 |    93132 |     5276     26 |        0 |        0
194.56/194.67	c  194s |      15 |   136651 |    94032 |     5276     26 |        0 |        0
196.66/196.74	c  196s |      15 |   137577 |    94832 |     5276     26 |        0 |        0
198.76/198.88	c  198s |      15 |   138485 |    95632 |     5276     26 |        0 |        0
200.86/200.97	c  200s |      15 |   139306 |    96332 |     5276     26 |        0 |        0
203.16/203.24	c  203s |      15 |   140014 |    96932 |     5276     27 |        0 |        0
205.15/205.26	c  205s |      15 |   140816 |    97632 |     5276     27 |        0 |        0
207.45/207.53	c  207s |      15 |   141743 |    98432 |     5276     27 |        0 |        0
209.56/209.69	c  209s |      15 |   142666 |    99232 |     5276     27 |        0 |        0
211.66/211.74	c  211s |      15 |   143431 |    99932 |     5276     27 |        0 |        0
213.86/213.96	c  213s |      15 |   144211 |   100632 |     5276     27 |        0 |        0
216.06/216.17	c  216s |      15 |   144884 |   101232 |     5276     28 |        0 |        0
218.15/218.23	c  218s |      15 |   145664 |   101932 |     5276     28 |        0 |        0
220.15/220.23	c  220s |      15 |   146441 |   102632 |     5276     28 |        0 |        0
222.16/222.28	c  222s |      15 |   147237 |   103332 |     5276     28 |        0 |        0
224.36/224.42	c  224s |      15 |   148287 |   104232 |     5276     28 |        0 |        0
226.46/226.58	c  226s |      15 |   149317 |   105132 |     5276     28 |        0 |        0
228.46/228.59	c  228s |      15 |   150144 |   105832 |     5276     29 |        0 |        0
230.56/230.63	c  230s |      15 |   151061 |   106632 |     5276     29 |        0 |        0
232.75/232.80	c  232s |      15 |   152012 |   107432 |     5276     29 |        0 |        0
234.85/234.98	c  234s |      15 |   152784 |   108132 |     5276     29 |        0 |        0
236.96/237.03	c  236s |      15 |   153590 |   108832 |     5276     29 |        0 |        0
239.15/239.23	c  239s |      15 |   154361 |   109532 |     5276     29 |        0 |        0
241.35/241.40	c  241s |      15 |   155023 |   110132 |     5276     30 |        0 |        0
243.35/243.48	c  243s |      15 |   155810 |   110832 |     5276     30 |        0 |        0
245.55/245.61	c  245s |      15 |   156612 |   111532 |     5276     30 |        0 |        0
247.75/247.87	c  247s |      15 |   157193 |   112032 |     5276     30 |        0 |        0
249.95/250.02	c  249s |      15 |   157851 |   112632 |     5276     30 |        0 |        0
252.05/252.13	c  252s |      15 |   158531 |   113232 |     5276     30 |        0 |        0
254.16/254.22	c  254s |      15 |   159081 |   113732 |     5276     30 |        0 |        0
256.45/256.59	c  256s |      15 |   159788 |   114332 |     5276     31 |        0 |        0
258.56/258.69	c  258s |      15 |   160804 |   115232 |     5276     31 |        0 |        0
260.65/260.73	c  260s |      15 |   161746 |   116032 |     5276     31 |        0 |        0
262.85/262.96	c  262s |      15 |   162647 |   116832 |     5276     31 |        0 |        0
265.06/265.12	c  265s |      15 |   163464 |   117532 |     5276     31 |        0 |        0
267.05/267.17	c  267s |      15 |   164397 |   118332 |     5276     31 |        0 |        0
269.15/269.22	c  269s |      15 |   165262 |   119032 |     5276     32 |        0 |        0
271.25/271.39	c  271s |      15 |   166212 |   119832 |     5276     32 |        0 |        0
273.44/273.50	c  273s |      15 |   167081 |   120532 |     5276     32 |        0 |        0
275.65/275.74	c  275s |      15 |   168107 |   121432 |     5276     32 |        0 |        0
277.85/277.95	c  277s |      15 |   169044 |   122232 |     5276     32 |        0 |        0
280.04/280.13	c  280s |      15 |   169845 |   122932 |     5276     32 |        0 |        0
282.34/282.44	c  282s |      15 |   170614 |   123632 |     5276     33 |        0 |        0
284.34/284.49	c  284s |      15 |   171329 |   124232 |     5276     33 |        0 |        0
286.44/286.52	c  286s |      15 |   172288 |   125032 |     5276     33 |        0 |        0
288.54/288.61	c  288s |      15 |   173226 |   125832 |     5276     33 |        0 |        0
290.65/290.74	c  290s |      15 |   174054 |   126532 |     5276     33 |        0 |        0
292.84/292.91	c  292s |      15 |   174903 |   127232 |     5276     33 |        0 |        0
294.94/295.06	c  295s |      15 |   175760 |   127932 |     5276     34 |        0 |        0
297.05/297.12	c  297s |      15 |   176587 |   128632 |     5276     34 |        0 |        0
299.25/299.38	c  299s |      15 |   177513 |   129432 |     5276     34 |        0 |        0
301.64/301.73	c  301s |      15 |   178491 |   130232 |     5276     34 |        0 |        0
303.74/303.86	c  303s |      15 |   179304 |   130932 |     5804     34 |        0 |        0
305.75/305.90	c  305s |      16 |   180033 |   131552 |     5804     34 |        0 |        0
307.95/308.02	c  307s |      16 |   183118 |   132952 |     5804     35 |        0 |        0
310.04/310.11	c  310s |      16 |   184896 |   134452 |     5804     35 |        0 |        0
312.14/312.21	c  312s |      16 |   186253 |   135652 |     5804     35 |        0 |        0
314.14/314.23	c  314s |      16 |   187274 |   136552 |     5804     36 |        0 |        0
316.24/316.33	c  316s |      16 |   188452 |   137552 |     5804     36 |        0 |        0
318.34/318.49	c  318s |      16 |   189581 |   138552 |     5804     36 |        0 |        0
320.63/320.72	c  320s |      16 |   190577 |   139452 |     5804     36 |        0 |        0
322.84/322.97	c  322s |      16 |   191587 |   140352 |     5804     36 |        0 |        0
324.84/324.99	c  324s |      16 |   192347 |   141052 |     5804     36 |        0 |        0
327.04/327.11	c  327s |      16 |   193142 |   141752 |     5804     37 |        0 |        0
329.04/329.19	c  329s |      16 |   194282 |   142752 |     5804     37 |        0 |        0
331.24/331.31	c  331s |      16 |   195407 |   143752 |     5804     37 |        0 |        0
333.44/333.52	c  333s |      16 |   196396 |   144652 |     5804     37 |        0 |        0
335.44/335.53	c  335s |      16 |   197421 |   145552 |     5804     37 |        0 |        0
337.53/337.68	c  337s |      16 |   198255 |   146252 |     5804     38 |        0 |        0
339.64/339.74	c  339s |      16 |   199261 |   147152 |     5804     38 |        0 |        0
341.74/341.86	c  341s |      16 |   200153 |   147952 |     5804     38 |        0 |        0
343.94/344.08	c  344s |      16 |   201161 |   148852 |     5804     38 |        0 |        0
346.04/346.15	c  346s |      16 |   202050 |   149652 |     5804     38 |        0 |        0
348.03/348.18	c  348s |      16 |   202837 |   150352 |     5804     38 |        0 |        0
350.13/350.27	c  350s |      16 |   203638 |   151052 |     5804     39 |        0 |        0
352.23/352.35	c  352s |      16 |   204670 |   151952 |     5804     39 |        0 |        0
354.33/354.45	c  354s |      16 |   205713 |   152852 |     5804     39 |        0 |        0
356.45/356.57	c  356s |      16 |   206619 |   153652 |     5804     39 |        0 |        0
358.54/358.66	c  358s |      16 |   207502 |   154452 |     5804     39 |        0 |        0
360.74/360.87	c  360s |      16 |   208428 |   155252 |     5804     40 |        0 |        0
362.83/363.00	c  362s |      16 |   209440 |   156152 |     5804     40 |        0 |        0
365.03/365.11	c  365s |      16 |   210381 |   156952 |     5804     40 |        0 |        0
367.23/367.30	c  367s |      16 |   211302 |   157752 |     5804     40 |        0 |        0
369.33/369.40	c  369s |      16 |   212169 |   158552 |     5804     40 |        0 |        0
371.53/371.65	c  371s |      16 |   213068 |   159352 |     5804     40 |        0 |        0
373.73/373.81	c  373s |      16 |   213838 |   160052 |     5804     41 |        0 |        0
375.73/375.89	c  375s |      16 |   214579 |   160752 |     5804     41 |        0 |        0
378.03/378.19	c  378s |      16 |   215438 |   161552 |     5804     41 |        0 |        0
380.23/380.36	c  380s |      16 |   216471 |   162452 |     5804     41 |        0 |        0
382.33/382.45	c  382s |      16 |   217510 |   163352 |     5804     41 |        0 |        0
384.73/384.83	c  384s |      16 |   218577 |   164252 |     5804     42 |        0 |        0
386.83/386.93	c  386s |      16 |   219363 |   164952 |     5804     42 |        0 |        0
388.93/389.06	c  389s |      16 |   220240 |   165752 |     5804     42 |        0 |        0
391.03/391.17	c  391s |      16 |   221135 |   166552 |     5804     42 |        0 |        0
393.23/393.37	c  393s |      16 |   222032 |   167352 |     5804     42 |        0 |        0
395.53/395.62	c  395s |      16 |   222933 |   168152 |     5804     42 |        0 |        0
398.03/398.20	c  398s |      16 |   223694 |   168852 |     5804     43 |        0 |        0
400.23/400.39	c  400s |      16 |   224452 |   169552 |     5804     43 |        0 |        0
402.42/402.54	c  402s |      16 |   225406 |   170352 |     5804     43 |        0 |        0
404.62/404.72	c  404s |      16 |   226322 |   171152 |     5804     43 |        0 |        0
406.72/406.82	c  406s |      16 |   227160 |   171852 |     5804     43 |        0 |        0
408.83/408.99	c  408s |      16 |   228093 |   172652 |     5804     43 |        0 |        0
411.53/411.64	c  411s |      16 |   229010 |   173452 |     5804     44 |        0 |        0
413.83/413.91	c  413s |      16 |   229936 |   174252 |     5804     44 |        0 |        0
415.93/416.02	c  415s |      16 |   230946 |   175152 |     5804     44 |        0 |        0
417.93/418.07	c  418s |      16 |   231992 |   176052 |     5804     44 |        0 |        0
420.23/420.34	c  420s |      16 |   233025 |   176952 |     5804     44 |        0 |        0
422.22/422.34	c  422s |      16 |   233812 |   177652 |     5804     44 |        0 |        0
424.22/424.34	c  424s |      16 |   234475 |   178252 |     5804     45 |        0 |        0
426.23/426.36	c  426s |      16 |   235379 |   179052 |     5804     45 |        0 |        0
428.32/428.47	c  428s |      16 |   236269 |   179852 |     5804     45 |        0 |        0
430.52/430.69	c  430s |      16 |   237294 |   180752 |     5804     45 |        0 |        0
432.62/432.75	c  432s |      16 |   238164 |   181552 |     5804     45 |        0 |        0
434.72/434.80	c  434s |      16 |   238939 |   182252 |     5804     45 |        0 |        0
436.82/436.92	c  436s |      16 |   239780 |   182952 |     5804     46 |        0 |        0
438.93/439.05	c  439s |      16 |   240681 |   183752 |     5804     46 |        0 |        0
441.13/441.23	c  441s |      16 |   241679 |   184652 |     5804     46 |        0 |        0
443.43/443.51	c  443s |      16 |   242821 |   185452 |     5804     46 |        0 |        0
445.53/445.64	c  445s |      16 |   243719 |   186252 |     5804     46 |        0 |        0
447.63/447.80	c  447s |      16 |   244524 |   186952 |     5804     46 |        0 |        0
449.82/450.00	c  449s |      16 |   245225 |   187552 |     5804     47 |        0 |        0
452.02/452.17	c  452s |      16 |   246111 |   188352 |     5804     47 |        0 |        0
454.12/454.30	c  454s |      16 |   246911 |   189052 |     5804     47 |        0 |        0
456.32/456.40	c  456s |      16 |   247857 |   189852 |     5804     47 |        0 |        0
458.32/458.41	c  458s |      16 |   248684 |   190552 |     5804     47 |        0 |        0
460.42/460.59	c  460s |      16 |   249590 |   191352 |     5804     47 |        0 |        0
462.71/462.89	c  462s |      16 |   250265 |   191952 |     5804     48 |        0 |        0
465.02/465.16	c  465s |      16 |   251044 |   192652 |     5804     48 |        0 |        0
467.22/467.35	c  467s |      16 |   252067 |   193552 |     5804     48 |        0 |        0
469.31/469.43	c  469s |      16 |   253268 |   194352 |     5804     48 |        0 |        0
471.31/471.49	c  471s |      16 |   254082 |   195052 |     5804     48 |        0 |        0
473.61/473.78	c  473s |      16 |   255045 |   195852 |     5804     48 |        0 |        0
475.82/475.91	c  475s |      16 |   255864 |   196552 |     6385     48 |        0 |        0
477.82/477.93	c  477s |      16 |   256517 |   197152 |     6385     49 |        0 |        0
478.53/478.61	c  478s |      17 |   256853 |   197432 |     6385     49 |        0 |        0
480.52/480.66	c  480s |      17 |   260553 |   199432 |     6385     49 |        0 |        0
482.62/482.75	c  482s |      17 |   262228 |   200932 |     6385     49 |        0 |        0
484.82/484.92	c  484s |      17 |   263433 |   202032 |     6385     50 |        0 |        0
486.92/487.02	c  486s |      17 |   264854 |   203332 |     6385     50 |        0 |        0
488.92/489.06	c  489s |      17 |   266045 |   204432 |     6385     50 |        0 |        0
491.12/491.26	c  491s |      17 |   267285 |   205532 |     6385     50 |        0 |        0
493.12/493.27	c  493s |      17 |   268170 |   206332 |     6385     50 |        0 |        0
495.31/495.45	c  495s |      17 |   268933 |   207032 |     6385     51 |        0 |        0
497.31/497.49	c  497s |      17 |   269911 |   207932 |     6385     51 |        0 |        0
499.51/499.68	c  499s |      17 |   271003 |   208932 |     6385     51 |        0 |        0
501.81/501.90	c  501s |      17 |   271974 |   209832 |     6385     51 |        0 |        0
503.81/503.93	c  503s |      17 |   272940 |   210732 |     6385     51 |        0 |        0
505.92/506.03	c  505s |      17 |   273773 |   211532 |     6385     51 |        0 |        0
508.01/508.17	c  508s |      17 |   274863 |   212432 |     6385     52 |        0 |        0
510.01/510.18	c  510s |      17 |   275980 |   213432 |     6385     52 |        0 |        0
512.31/512.41	c  512s |      17 |   276961 |   214332 |     6385     52 |        0 |        0
514.41/514.59	c  514s |      17 |   277936 |   215232 |     6385     52 |        0 |        0
516.71/516.83	c  516s |      17 |   278777 |   216032 |     6385     52 |        0 |        0
519.22/519.39	c  519s |      17 |   279518 |   216732 |     6385     53 |        0 |        0
521.32/521.41	c  521s |      17 |   280539 |   217632 |     6385     53 |        0 |        0
523.52/523.61	c  523s |      17 |   281729 |   218732 |     6385     53 |        0 |        0
525.72/525.81	c  525s |      17 |   282836 |   219732 |     6385     53 |        0 |        0
527.71/527.85	c  527s |      17 |   283703 |   220532 |     6385     53 |        0 |        0
530.01/530.10	c  530s |      17 |   284669 |   221432 |     6385     53 |        0 |        0
532.21/532.33	c  532s |      17 |   285526 |   222232 |     6385     54 |        0 |        0
534.40/534.53	c  534s |      17 |   286498 |   223132 |     6385     54 |        0 |        0
536.60/536.74	c  536s |      17 |   287500 |   224032 |     6385     54 |        0 |        0
538.70/538.84	c  538s |      17 |   288610 |   225032 |     6385     54 |        0 |        0
540.80/540.97	c  540s |      17 |   289503 |   225832 |     6385     54 |        0 |        0
543.81/543.99	c  543s |      17 |   290250 |   226532 |     6385     55 |        0 |        0
546.11/546.22	c  546s |      17 |   291229 |   227432 |     6385     55 |        0 |        0
548.30/548.46	c  548s |      17 |   292080 |   228232 |     6385     55 |        0 |        0
550.40/550.60	c  550s |      17 |   293076 |   229132 |     6385     55 |        0 |        0
552.50/552.64	c  552s |      17 |   293956 |   229932 |     6385     55 |        0 |        0
554.60/554.73	c  554s |      17 |   294711 |   230632 |     6385     55 |        0 |        0
556.90/557.09	c  557s |      17 |   295467 |   231332 |     6385     56 |        0 |        0
559.11/559.24	c  559s |      17 |   296424 |   232232 |     6385     56 |        0 |        0
561.20/561.36	c  561s |      17 |   297177 |   232932 |     6385     56 |        0 |        0
563.41/563.57	c  563s |      17 |   298261 |   233932 |     6385     56 |        0 |        0
565.60/565.76	c  565s |      17 |   299122 |   234732 |     6385     56 |        0 |        0
567.61/567.77	c  567s |      17 |   299864 |   235432 |     6385     56 |        0 |        0
570.00/570.16	c  570s |      17 |   300730 |   236232 |     6385     57 |        0 |        0
572.20/572.31	c  572s |      17 |   301624 |   237032 |     6385     57 |        0 |        0
574.30/574.47	c  574s |      17 |   302467 |   237832 |     6385     57 |        0 |        0
576.41/576.58	c  576s |      17 |   303481 |   238732 |     6385     57 |        0 |        0
578.70/578.83	c  578s |      17 |   304445 |   239632 |     6385     57 |        0 |        0
580.89/581.09	c  581s |      17 |   305305 |   240432 |     6385     57 |        0 |        0
583.69/583.86	c  583s |      17 |   306075 |   241132 |     6385     58 |        0 |        0
585.80/585.94	c  585s |      17 |   307042 |   242032 |     6385     58 |        0 |        0
587.90/588.04	c  587s |      17 |   307905 |   242832 |     6385     58 |        0 |        0
590.00/590.12	c  590s |      17 |   309029 |   243832 |     6385     58 |        0 |        0
592.00/592.19	c  592s |      17 |   310519 |   245132 |     6385     58 |        0 |        0
594.20/594.33	c  594s |      17 |   311670 |   246132 |     6385     59 |        0 |        0
596.21/596.34	c  596s |      17 |   312974 |   247232 |     6385     59 |        0 |        0
598.30/598.48	c  598s |      17 |   314112 |   248232 |     6385     59 |        0 |        0
600.50/600.66	c  600s |      17 |   315236 |   249232 |     6385     59 |        0 |        0
602.60/602.72	c  602s |      17 |   316221 |   250132 |     6385     59 |        0 |        0
604.70/604.82	c  604s |      17 |   317004 |   250832 |     6385     60 |        0 |        0
606.80/606.93	c  606s |      17 |   318270 |   251932 |     6385     60 |        0 |        0
608.90/609.01	c  608s |      17 |   319547 |   253032 |     6385     60 |        0 |        0
611.00/611.11	c  611s |      17 |   320700 |   254032 |     6385     60 |        0 |        0
613.20/613.35	c  613s |      17 |   321728 |   254932 |     6385     60 |        0 |        0
615.30/615.47	c  615s |      17 |   322634 |   255732 |     6385     60 |        0 |        0
617.59/617.72	c  617s |      17 |   323446 |   256432 |     6385     61 |        0 |        0
619.79/619.93	c  619s |      17 |   324724 |   257532 |     6385     61 |        0 |        0
621.89/622.06	c  622s |      17 |   325850 |   258532 |     6385     61 |        0 |        0
624.09/624.24	c  624s |      17 |   326941 |   259532 |     6385     61 |        0 |        0
626.19/626.35	c  626s |      17 |   327930 |   260432 |     6385     61 |        0 |        0
628.29/628.45	c  628s |      17 |   328685 |   261132 |     6385     62 |        0 |        0
630.39/630.58	c  630s |      17 |   329794 |   262132 |     6385     62 |        0 |        0
632.60/632.74	c  632s |      17 |   330772 |   263032 |     6385     62 |        0 |        0
634.80/634.95	c  634s |      17 |   331663 |   263832 |     6385     62 |        0 |        0
637.00/637.17	c  637s |      17 |   332795 |   264832 |     6385     62 |        0 |        0
639.39/639.55	c  639s |      17 |   333677 |   265632 |     6385     63 |        0 |        0
641.59/641.75	c  641s |      17 |   334796 |   266632 |     6385     63 |        0 |        0
643.69/643.83	c  643s |      17 |   335693 |   267432 |     6385     63 |        0 |        0
645.70/645.85	c  645s |      17 |   336711 |   268332 |     6385     63 |        0 |        0
647.90/648.08	c  648s |      17 |   337836 |   269332 |     6385     63 |        0 |        0
649.99/650.19	c  650s |      17 |   338838 |   270232 |     6385     63 |        0 |        0
652.09/652.28	c  652s |      17 |   339645 |   270932 |     6385     64 |        0 |        0
654.19/654.30	c  654s |      17 |   340891 |   272032 |     6385     64 |        0 |        0
656.39/656.51	c  656s |      17 |   342036 |   273032 |     6385     64 |        0 |        0
658.59/658.70	c  658s |      17 |   342996 |   273832 |     6385     64 |        0 |        0
660.69/660.84	c  660s |      17 |   343993 |   274732 |     6385     64 |        0 |        0
662.79/662.97	c  662s |      17 |   344859 |   275532 |     6385     65 |        0 |        0
664.89/665.03	c  664s |      17 |   345995 |   276532 |     6385     65 |        0 |        0
666.98/667.19	c  667s |      17 |   347097 |   277532 |     6385     65 |        0 |        0
669.18/669.35	c  669s |      17 |   347973 |   278332 |     6385     65 |        0 |        0
671.29/671.40	c  671s |      17 |   348991 |   279232 |     6385     65 |        0 |        0
673.29/673.41	c  673s |      17 |   349894 |   280032 |     6385     65 |        0 |        0
675.39/675.55	c  675s |      17 |   350782 |   280832 |     6385     66 |        0 |        0
677.49/677.66	c  677s |      17 |   351881 |   281832 |     6385     66 |        0 |        0
679.58/679.79	c  679s |      17 |   352856 |   282732 |     6385     66 |        0 |        0
681.79/681.95	c  681s |      17 |   353832 |   283632 |     6385     66 |        0 |        0
683.99/684.13	c  684s |      17 |   354692 |   284432 |     6385     66 |        0 |        0
686.18/686.38	c  686s |      17 |   355636 |   285232 |     6385     67 |        0 |        0
688.28/688.44	c  688s |      17 |   356792 |   286232 |     6385     67 |        0 |        0
690.38/690.53	c  690s |      17 |   357789 |   287132 |     6385     67 |        0 |        0
692.58/692.70	c  692s |      17 |   358777 |   288032 |     6385     67 |        0 |        0
694.58/694.77	c  694s |      17 |   359682 |   288832 |     6385     67 |        0 |        0
696.68/696.88	c  696s |      17 |   360564 |   289632 |     6385     67 |        0 |        0
698.88/699.00	c  698s |      17 |   361350 |   290332 |     6385     68 |        0 |        0
700.98/701.17	c  701s |      17 |   362447 |   291332 |     6385     68 |        0 |        0
703.18/703.36	c  703s |      17 |   363528 |   292332 |     6385     68 |        0 |        0
705.48/705.64	c  705s |      17 |   364481 |   293232 |     6385     68 |        0 |        0
707.58/707.73	c  707s |      17 |   365132 |   293832 |     6385     68 |        0 |        0
709.68/709.82	c  709s |      17 |   365907 |   294532 |     7024     68 |        0 |        0
711.68/711.84	c  711s |      17 |   366654 |   295232 |     7024     68 |        0 |        0
713.79/713.99	c  713s |      17 |   367527 |   296032 |     7024     69 |        0 |        0
714.58/714.73	c  714s |      18 |   367760 |   296252 |     7024     69 |        0 |        0
716.58/716.79	c  716s |      18 |   370621 |   297352 |     7024     69 |        0 |        0
718.77/718.92	c  718s |      18 |   372268 |   298752 |     7024     69 |        0 |        0
720.87/721.07	c  721s |      18 |   373529 |   299852 |     7024     69 |        0 |        0
722.97/723.17	c  723s |      18 |   374573 |   300752 |     7024     70 |        0 |        0
725.08/725.21	c  725s |      18 |   375568 |   301652 |     7024     70 |        0 |        0
727.18/727.34	c  727s |      18 |   376565 |   302552 |     7024     70 |        0 |        0
729.18/729.38	c  729s |      18 |   377479 |   303352 |     7024     70 |        0 |        0
731.48/731.64	c  731s |      18 |   378353 |   304152 |     7024     70 |        0 |        0
733.58/733.71	c  733s |      18 |   379125 |   304852 |     7024     70 |        0 |        0
735.67/735.82	c  735s |      18 |   379890 |   305552 |     7024     70 |        0 |        0
737.77/737.99	c  737s |      18 |   380572 |   306152 |     7024     71 |        0 |        0
739.87/740.08	c  740s |      18 |   381470 |   306952 |     7024     71 |        0 |        0
742.18/742.31	c  742s |      18 |   382356 |   307752 |     7024     71 |        0 |        0
744.37/744.59	c  744s |      18 |   383311 |   308552 |     7024     71 |        0 |        0
746.67/746.88	c  746s |      18 |   384092 |   309252 |     7024     71 |        0 |        0
748.87/749.00	c  748s |      18 |   385010 |   310052 |     7024     71 |        0 |        0
750.87/751.00	c  750s |      18 |   385789 |   310752 |     7024     71 |        0 |        0
753.06/753.26	c  753s |      18 |   386466 |   311352 |     7024     72 |        0 |        0
755.27/755.45	c  755s |      18 |   387327 |   312152 |     7024     72 |        0 |        0
757.27/757.49	c  757s |      18 |   388116 |   312852 |     7024     72 |        0 |        0
759.47/759.63	c  759s |      18 |   389002 |   313652 |     7024     72 |        0 |        0
761.57/761.76	c  761s |      18 |   389843 |   314352 |     7024     72 |        0 |        0
763.66/763.83	c  763s |      18 |   390630 |   315052 |     7024     72 |        0 |        0
765.77/765.93	c  765s |      18 |   391538 |   315852 |     7024     72 |        0 |        0
767.87/768.01	c  767s |      18 |   392223 |   316452 |     7024     73 |        0 |        0
770.07/770.20	c  770s |      18 |   393275 |   317352 |     7024     73 |        0 |        0
772.07/772.27	c  772s |      18 |   394218 |   318152 |     7024     73 |        0 |        0
774.27/774.49	c  774s |      18 |   395262 |   319052 |     7024     73 |        0 |        0
776.47/776.66	c  776s |      18 |   396134 |   319852 |     7024     73 |        0 |        0
778.77/778.93	c  778s |      18 |   397130 |   320752 |     7024     73 |        0 |        0
780.77/780.97	c  780s |      18 |   397905 |   321452 |     7024     73 |        0 |        0
782.87/783.10	c  783s |      18 |   398717 |   322152 |     7024     74 |        0 |        0
784.97/785.19	c  785s |      18 |   399532 |   322852 |     7024     74 |        0 |        0
787.27/787.43	c  787s |      18 |   400532 |   323752 |     7024     74 |        0 |        0
789.46/789.63	c  789s |      18 |   401639 |   324652 |     7024     74 |        0 |        0
791.66/791.80	c  791s |      18 |   402538 |   325452 |     7024     74 |        0 |        0
793.76/793.97	c  793s |      18 |   403318 |   326152 |     7024     74 |        0 |        0
796.06/796.24	c  796s |      18 |   404080 |   326852 |     7024     74 |        0 |        0
798.06/798.27	c  798s |      18 |   404745 |   327452 |     7024     75 |        0 |        0
800.37/800.55	c  800s |      18 |   405685 |   328252 |     7024     75 |        0 |        0
802.66/802.82	c  802s |      18 |   406432 |   328952 |     7024     75 |        0 |        0
804.66/804.83	c  804s |      18 |   407070 |   329552 |     7024     75 |        0 |        0
806.76/806.94	c  806s |      18 |   407778 |   330152 |     7024     75 |        0 |        0
809.06/809.20	c  809s |      18 |   408698 |   330952 |     7024     75 |        0 |        0
811.16/811.37	c  811s |      18 |   409607 |   331652 |     7024     75 |        0 |        0
813.26/813.47	c  813s |      18 |   410176 |   332152 |     7024     76 |        0 |        0
815.66/815.80	c  815s |      18 |   411173 |   332952 |     7024     76 |        0 |        0
817.65/817.82	c  817s |      18 |   411982 |   333652 |     7024     76 |        0 |        0
819.66/819.85	c  819s |      18 |   412760 |   334352 |     7024     76 |        0 |        0
821.96/822.12	c  822s |      18 |   413537 |   335052 |     7024     76 |        0 |        0
824.16/824.33	c  824s |      18 |   414208 |   335652 |     7024     76 |        0 |        0
826.36/826.51	c  826s |      18 |   414862 |   336252 |     7024     76 |        0 |        0
828.55/828.70	c  828s |      18 |   415520 |   336852 |     7024     76 |        0 |        0
830.66/830.84	c  830s |      18 |   416062 |   337352 |     7024     77 |        0 |        0
832.86/833.02	c  832s |      18 |   416820 |   338052 |     7024     77 |        0 |        0
834.86/835.03	c  834s |      18 |   417465 |   338652 |     7024     77 |        0 |        0
837.15/837.30	c  837s |      18 |   418250 |   339352 |     7024     77 |        0 |        0
839.27/839.45	c  839s |      18 |   418945 |   339952 |     7024     77 |        0 |        0
841.37/841.53	c  841s |      18 |   419490 |   340452 |     7024     77 |        0 |        0
843.46/843.65	c  843s |      18 |   420132 |   341052 |     7024     77 |        0 |        0
845.45/845.69	c  845s |      18 |   420820 |   341652 |     7024     77 |        0 |        0
847.55/847.70	c  847s |      18 |   421380 |   342152 |     7024     77 |        0 |        0
849.85/850.09	c  850s |      18 |   421905 |   342652 |     7024     78 |        0 |        0
852.14/852.31	c  852s |      18 |   422577 |   343252 |     7024     78 |        0 |        0
854.35/854.56	c  854s |      18 |   423459 |   344052 |     7024     78 |        0 |        0
856.65/856.89	c  856s |      18 |   424232 |   344752 |     7024     78 |        0 |        0
858.64/858.89	c  858s |      18 |   424903 |   345352 |     7024     78 |        0 |        0
860.95/861.12	c  861s |      18 |   425818 |   346152 |     7024     78 |        0 |        0
863.15/863.39	c  863s |      18 |   426613 |   346852 |     7024     78 |        0 |        0
865.24/865.42	c  865s |      18 |   427282 |   347452 |     7024     78 |        0 |        0
867.34/867.53	c  867s |      18 |   427830 |   347952 |     7024     79 |        0 |        0
869.64/869.82	c  869s |      18 |   428596 |   348652 |     7024     79 |        0 |        0
871.64/871.89	c  871s |      18 |   429379 |   349352 |     7024     79 |        0 |        0
873.94/874.14	c  874s |      18 |   430158 |   350052 |     7024     79 |        0 |        0
876.14/876.36	c  876s |      18 |   430815 |   350652 |     7024     79 |        0 |        0
878.24/878.41	c  878s |      18 |   431350 |   351152 |     7024     79 |        0 |        0
880.34/880.57	c  880s |      18 |   432407 |   351952 |     7024     79 |        0 |        0
882.43/882.64	c  882s |      18 |   433202 |   352652 |     7024     79 |        0 |        0
884.73/884.92	c  884s |      18 |   433920 |   353252 |     7024     80 |        0 |        0
886.73/886.96	c  886s |      18 |   434775 |   353952 |     7024     80 |        0 |        0
889.14/889.31	c  889s |      18 |   435602 |   354652 |     7024     80 |        0 |        0
891.43/891.63	c  891s |      18 |   436419 |   355352 |     7024     80 |        0 |        0
893.63/893.83	c  893s |      18 |   437224 |   356052 |     7024     80 |        0 |        0
895.73/895.94	c  895s |      18 |   438008 |   356752 |     7024     80 |        0 |        0
898.03/898.29	c  898s |      18 |   438750 |   357452 |     7024     80 |        0 |        0
900.32/900.50	c  900s |      18 |   439391 |   358052 |     7024     80 |        0 |        0
902.63/902.86	c  902s |      18 |   439971 |   358552 |     7024     81 |        0 |        0
904.82/905.06	c  905s |      18 |   440610 |   359152 |     7024     81 |        0 |        0
907.12/907.31	c  907s |      18 |   441534 |   359952 |     7024     81 |        0 |        0
909.32/909.54	c  909s |      18 |   442426 |   360752 |     7024     81 |        0 |        0
911.42/911.67	c  911s |      18 |   443216 |   361452 |     7024     81 |        0 |        0
913.71/913.91	c  913s |      18 |   443884 |   362052 |     7024     81 |        0 |        0
916.12/916.34	c  916s |      18 |   444416 |   362552 |     7024     81 |        0 |        0
918.22/918.42	c  918s |      18 |   444839 |   362952 |     7024     81 |        0 |        0
920.63/920.84	c  920s |      18 |   445579 |   363552 |     7024     82 |        0 |        0
922.62/922.84	c  922s |      18 |   446548 |   364352 |     7024     82 |        0 |        0
924.71/924.93	c  924s |      18 |   447318 |   365052 |     7024     82 |        0 |        0
927.01/927.22	c  927s |      18 |   448188 |   365852 |     7024     82 |        0 |        0
929.21/929.44	c  929s |      18 |   448965 |   366552 |     7024     82 |        0 |        0
931.31/931.51	c  931s |      18 |   449640 |   367152 |     7024     82 |        0 |        0
933.41/933.64	c  933s |      18 |   450330 |   367752 |     7024     82 |        0 |        0
935.50/935.70	c  935s |      18 |   451109 |   368452 |     7024     82 |        0 |        0
937.70/937.94	c  937s |      18 |   451765 |   369052 |     7024     83 |        0 |        0
940.00/940.20	c  940s |      18 |   452510 |   369752 |     7024     83 |        0 |        0
942.00/942.21	c  942s |      18 |   453262 |   370452 |     7024     83 |        0 |        0
943.99/944.29	c  944s |      18 |   454057 |   371152 |     7024     83 |        0 |        0
946.10/946.36	c  946s |      18 |   454803 |   371852 |     7024     83 |        0 |        0
948.20/948.48	c  948s |      18 |   455433 |   372452 |     7024     83 |        0 |        0
950.40/950.66	c  950s |      18 |   456090 |   373052 |     7024     83 |        0 |        0
952.50/952.76	c  952s |      18 |   456723 |   373652 |     7024     83 |        0 |        0
955.08/955.35	c  955s |      18 |   457246 |   374152 |     7024     84 |        0 |        0
957.49/957.73	c  957s |      18 |   457903 |   374752 |     7024     84 |        0 |        0
959.69/959.96	c  959s |      18 |   459084 |   375752 |     7024     84 |        0 |        0
961.89/962.12	c  962s |      18 |   460294 |   376552 |     7024     84 |        0 |        0
963.98/964.23	c  964s |      18 |   461107 |   377252 |     7024     84 |        0 |        0
966.28/966.58	c  966s |      18 |   461887 |   377952 |     7024     84 |        0 |        0
968.38/968.67	c  968s |      18 |   462532 |   378552 |     7024     84 |        0 |        0
970.48/970.78	c  970s |      18 |   463189 |   379152 |     7024     84 |        0 |        0
972.98/973.24	c  973s |      18 |   463792 |   379652 |     7024     85 |        0 |        0
974.98/975.27	c  975s |      18 |   464789 |   380552 |     7024     85 |        0 |        0
977.08/977.39	c  977s |      18 |   465669 |   381352 |     7024     85 |        0 |        0
979.28/979.56	c  979s |      18 |   466656 |   382152 |     7024     85 |        0 |        0
981.57/981.82	c  981s |      18 |   467596 |   382952 |     7024     85 |        0 |        0
983.77/984.02	c  983s |      18 |   468380 |   383652 |     7024     85 |        0 |        0
986.07/986.38	c  986s |      18 |   469255 |   384452 |     7024     85 |        0 |        0
988.27/988.56	c  988s |      18 |   469946 |   385052 |     7024     86 |        0 |        0
990.47/990.74	c  990s |      18 |   470588 |   385652 |     7024     86 |        0 |        0
992.67/992.99	c  992s |      18 |   471479 |   386452 |     7024     86 |        0 |        0
994.76/995.04	c  994s |      18 |   472279 |   387152 |     7024     86 |        0 |        0
997.06/997.31	c  997s |      18 |   473111 |   387852 |     7024     86 |        0 |        0
999.36/999.63	c  999s |      18 |   473898 |   388552 |     7024     86 |        0 |        0
1001.57/1001.81	c 1001s |      18 |   474533 |   389152 |     7024     86 |        0 |        0
1004.27/1004.58	c 1004s |      18 |   475179 |   389752 |     7024     87 |        0 |        0
1006.27/1006.59	c 1006s |      18 |   475847 |   390352 |     7024     87 |        0 |        0
1008.47/1008.71	c 1008s |      18 |   476657 |   391052 |     7024     87 |        0 |        0
1010.56/1010.90	c 1010s |      18 |   477552 |   391852 |     7024     87 |        0 |        0
1012.87/1013.18	c 1013s |      18 |   478416 |   392652 |     7024     87 |        0 |        0
1015.25/1015.50	c 1015s |      18 |   479167 |   393352 |     7024     87 |        0 |        0
1017.26/1017.54	c 1017s |      18 |   479861 |   393952 |     7024     87 |        0 |        0
1019.46/1019.78	c 1019s |      18 |   480504 |   394552 |     7024     87 |        0 |        0
1021.86/1022.16	c 1022s |      18 |   481047 |   395052 |     7024     88 |        0 |        0
1024.15/1024.41	c 1024s |      18 |   481897 |   395752 |     7024     88 |        0 |        0
1026.25/1026.57	c 1026s |      18 |   482566 |   396352 |     7024     88 |        0 |        0
1028.36/1028.69	c 1028s |      18 |   483238 |   396952 |     7024     88 |        0 |        0
1030.46/1030.73	c 1030s |      18 |   483779 |   397452 |     7024     88 |        0 |        0
1032.75/1033.05	c 1033s |      18 |   484555 |   398052 |     7024     88 |        0 |        0
1034.85/1035.16	c 1035s |      18 |   485093 |   398552 |     7024     88 |        0 |        0
1037.34/1037.60	c 1037s |      18 |   485786 |   399152 |     7024     88 |        0 |        0
1039.44/1039.75	c 1039s |      18 |   486314 |   399652 |     7024     88 |        0 |        0
1042.34/1042.69	c 1042s |      18 |   486998 |   400252 |     7024     89 |        0 |        0
1044.54/1044.81	c 1044s |      18 |   487667 |   400852 |     7024     89 |        0 |        0
1046.64/1046.97	c 1046s |      18 |   488378 |   401452 |     7024     89 |        0 |        0
1049.04/1049.34	c 1049s |      18 |   489052 |   402052 |     7024     89 |        0 |        0
1051.14/1051.46	c 1051s |      18 |   489935 |   402852 |     7024     89 |        0 |        0
1053.24/1053.55	c 1053s |      18 |   490687 |   403552 |     7024     89 |        0 |        0
1055.53/1055.85	c 1055s |      18 |   491429 |   404252 |     7024     89 |        0 |        0
1057.73/1058.01	c 1057s |      18 |   492212 |   404952 |     7024     89 |        0 |        0
1059.73/1060.06	c 1060s |      18 |   492762 |   405452 |     7024     90 |        0 |        0
1061.93/1062.22	c 1062s |      18 |   493517 |   406152 |     7024     90 |        0 |        0
1064.03/1064.30	c 1064s |      18 |   494170 |   406752 |     7024     90 |        0 |        0
1066.13/1066.42	c 1066s |      18 |   494819 |   407352 |     7024     90 |        0 |        0
1068.13/1068.44	c 1068s |      18 |   495574 |   408052 |     7024     90 |        0 |        0
1070.33/1070.68	c 1070s |      18 |   496351 |   408752 |     7024     90 |        0 |        0
1072.43/1072.76	c 1072s |      18 |   496987 |   409352 |     7024     90 |        0 |        0
1074.72/1075.03	c 1074s |      18 |   497765 |   410052 |     7024     90 |        0 |        0
1076.73/1077.05	c 1077s |      18 |   498426 |   410652 |     7024     90 |        0 |        0
1078.72/1079.05	c 1079s |      18 |   498957 |   411152 |     7024     91 |        0 |        0
1080.92/1081.22	c 1081s |      18 |   499632 |   411752 |     7024     91 |        0 |        0
1083.12/1083.41	c 1083s |      18 |   500313 |   412352 |     7024     91 |        0 |        0
1085.22/1085.55	c 1085s |      18 |   501024 |   412952 |     7024     91 |        0 |        0
1087.52/1087.84	c 1087s |      18 |   501674 |   413552 |     7024     91 |        0 |        0
1089.72/1090.02	c 1089s |      18 |   502339 |   414152 |     7024     91 |        0 |        0
1092.02/1092.31	c 1092s |      18 |   503005 |   414752 |     7024     91 |        0 |        0
1094.22/1094.53	c 1094s |      18 |   503565 |   415252 |     7024     91 |        0 |        0
1096.31/1096.66	c 1096s |      18 |   504103 |   415752 |     7024     91 |        0 |        0
1098.31/1098.68	c 1098s |      18 |   504537 |   416152 |     7024     92 |        0 |        0
1100.51/1100.88	c 1100s |      18 |   505196 |   416752 |     7024     92 |        0 |        0
1102.61/1102.93	c 1102s |      18 |   505854 |   417352 |     7024     92 |        0 |        0
1104.70/1105.08	c 1105s |      18 |   506488 |   417952 |     7024     92 |        0 |        0
1106.81/1107.11	c 1107s |      18 |   507021 |   418452 |     7024     92 |        0 |        0
1109.11/1109.46	c 1109s |      18 |   507674 |   419052 |     7024     92 |        0 |        0
1111.51/1111.86	c 1111s |      18 |   508349 |   419652 |     7024     92 |        0 |        0
1113.90/1114.23	c 1114s |      18 |   508993 |   420252 |     7024     92 |        0 |        0
1116.00/1116.34	c 1116s |      18 |   509539 |   420752 |     7024     92 |        0 |        0
1118.09/1118.48	c 1118s |      18 |   509961 |   421152 |     7024     93 |        0 |        0
1120.50/1120.80	c 1120s |      18 |   510626 |   421752 |     7024     93 |        0 |        0
1122.50/1122.87	c 1122s |      18 |   511181 |   422252 |     7024     93 |        0 |        0
1124.79/1125.15	c 1125s |      18 |   511867 |   422852 |     7024     93 |        0 |        0
1127.09/1127.44	c 1127s |      18 |   512530 |   423452 |     7024     93 |        0 |        0
1129.40/1129.80	c 1129s |      18 |   513187 |   424052 |     7024     93 |        0 |        0
1131.89/1132.21	c 1132s |      18 |   513833 |   424652 |     7024     93 |        0 |        0
1134.09/1134.44	c 1134s |      18 |   514386 |   425152 |     7024     93 |        0 |        0
1136.39/1136.76	c 1136s |      18 |   514923 |   425652 |     7024     93 |        0 |        0
1138.59/1138.98	c 1138s |      18 |   515478 |   426152 |     7024     93 |        0 |        0
1140.59/1140.99	c 1140s |      18 |   515948 |   426552 |     7024     94 |        0 |        0
1142.69/1143.04	c 1142s |      18 |   516653 |   427152 |     7024     94 |        0 |        0
1144.88/1145.26	c 1145s |      18 |   517298 |   427752 |     7024     94 |        0 |        0
1147.08/1147.44	c 1147s |      18 |   517992 |   428352 |     7024     94 |        0 |        0
1149.38/1149.76	c 1149s |      18 |   518642 |   428952 |     7024     94 |        0 |        0
1151.49/1151.87	c 1151s |      18 |   519096 |   429352 |     7024     94 |        0 |        0
1153.68/1154.08	c 1154s |      18 |   519656 |   429852 |     7024     94 |        0 |        0
1156.07/1156.48	c 1156s |      18 |   520203 |   430352 |     7024     94 |        0 |        0
1158.27/1158.68	c 1158s |      18 |   520758 |   430852 |     7024     94 |        0 |        0
1160.37/1160.73	c 1160s |      18 |   521218 |   431252 |     7024     94 |        0 |        0
1162.37/1162.80	c 1162s |      18 |   521554 |   431552 |     7024     95 |        0 |        0
1164.68/1165.01	c 1164s |      18 |   522120 |   432052 |     7024     95 |        0 |        0
1166.97/1167.37	c 1167s |      18 |   522804 |   432652 |     7024     95 |        0 |        0
1169.08/1169.48	c 1169s |      18 |   523367 |   433152 |     7024     95 |        0 |        0
1171.37/1171.73	c 1171s |      18 |   523945 |   433652 |     7024     95 |        0 |        0
1173.76/1174.10	c 1174s |      18 |   524649 |   434252 |     7024     95 |        0 |        0
1176.16/1176.57	c 1176s |      18 |   525188 |   434752 |     7024     95 |        0 |        0
1178.26/1178.61	c 1178s |      18 |   525746 |   435252 |     7024     95 |        0 |        0
1180.27/1180.66	c 1180s |      18 |   526451 |   435852 |     7024     95 |        0 |        0
1182.67/1183.08	c 1183s |      18 |   527127 |   436452 |     7024     95 |        0 |        0
1184.86/1185.30	c 1185s |      18 |   527547 |   436852 |     7024     96 |        0 |        0
1186.96/1187.30	c 1187s |      18 |   528244 |   437452 |     7024     96 |        0 |        0
1188.96/1189.37	c 1189s |      18 |   528915 |   438052 |     7024     96 |        0 |        0
1191.36/1191.75	c 1191s |      18 |   529546 |   438652 |     7024     96 |        0 |        0
1193.36/1193.77	c 1193s |      18 |   530125 |   439152 |     7024     96 |        0 |        0
1195.46/1195.89	c 1195s |      18 |   530665 |   439652 |     7024     96 |        0 |        0
1197.75/1198.19	c 1198s |      18 |   531183 |   440152 |     7024     96 |        0 |        0
1200.05/1200.43	c 1200s |      18 |   531732 |   440652 |     7024     96 |        0 |        0
1202.36/1202.75	c 1202s |      18 |   532283 |   441152 |     7024     96 |        0 |        0
1204.85/1205.23	c 1205s |      18 |   532836 |   441652 |     7727     96 |        0 |        0
1206.84/1207.28	c 1207s |      18 |   533287 |   442052 |     7727     96 |        0 |        0
1209.24/1209.65	c 1209s |      18 |   533954 |   442652 |     7727     96 |        0 |        0
1211.44/1211.82	c 1211s |      18 |   534291 |   442952 |     7727     97 |        0 |        0
1213.54/1213.91	c 1213s |      18 |   534736 |   443352 |     7727     97 |        0 |        0
1216.03/1216.44	c 1216s |      18 |   535323 |   443852 |     7727     97 |        0 |        0
1217.93/1218.33	c 1218s |      19 |   536006 |   444482 |     7727     97 |        0 |        0
1220.03/1220.43	c 1220s |      19 |   538629 |   445582 |     7727     97 |        0 |        0
1222.13/1222.57	c 1222s |      19 |   540052 |   446882 |     7727     97 |        0 |        0
1224.24/1224.60	c 1224s |      19 |   541325 |   447982 |     7727     97 |        0 |        0
1226.24/1226.69	c 1226s |      19 |   542122 |   448682 |     7727     98 |        0 |        0
1228.53/1228.91	c 1228s |      19 |   543013 |   449482 |     7727     98 |        0 |        0
1230.54/1230.95	c 1230s |      19 |   543785 |   450182 |     7727     98 |        0 |        0
1232.74/1233.18	c 1233s |      19 |   544672 |   450982 |     7727     98 |        0 |        0
1234.93/1235.38	c 1235s |      19 |   545565 |   451782 |     7727     98 |        0 |        0
1237.02/1237.43	c 1237s |      19 |   546451 |   452582 |     7727     98 |        0 |        0
1239.12/1239.52	c 1239s |      19 |   547217 |   453282 |     7727     98 |        0 |        0
1241.52/1241.98	c 1241s |      19 |   547902 |   453882 |     7727     99 |        0 |        0
1243.62/1244.00	c 1243s |      19 |   548784 |   454682 |     7727     99 |        0 |        0
1245.82/1246.25	c 1246s |      19 |   549645 |   455482 |     7727     99 |        0 |        0
1247.82/1248.29	c 1248s |      19 |   550439 |   456182 |     7727     99 |        0 |        0
1250.01/1250.43	c 1250s |      19 |   551228 |   456882 |     7727     99 |        0 |        0
1252.01/1252.47	c 1252s |      19 |   552007 |   457582 |     7727     99 |        0 |        0
1254.11/1254.60	c 1254s |      19 |   552787 |   458282 |     7727     99 |        0 |        0
1256.21/1256.63	c 1256s |      19 |   553702 |   459082 |     7727     99 |        0 |        0
1258.21/1258.66	c 1258s |      19 |   554547 |   459782 |     7727    100 |        0 |        0
1260.32/1260.74	c 1260s |      19 |   555442 |   460582 |     7727    100 |        0 |        0
1263.41/1263.83	c 1263s |      19 |   556550 |   461482 |     7727    100 |        0 |        0
1265.50/1265.99	c 1265s |      19 |   557590 |   462382 |     7727    100 |        0 |        0
1267.80/1268.22	c 1268s |      19 |   558336 |   463082 |     7727    100 |        0 |        0
1270.11/1270.59	c 1270s |      19 |   559127 |   463782 |     7727    100 |        0 |        0
1272.31/1272.73	c 1272s |      19 |   559925 |   464482 |     7727    100 |        0 |        0
1274.50/1274.96	c 1274s |      19 |   560594 |   465082 |     7727    101 |        0 |        0
1276.81/1277.21	c 1277s |      19 |   561478 |   465882 |     7727    101 |        0 |        0
1278.79/1279.23	c 1279s |      19 |   562148 |   466482 |     7727    101 |        0 |        0
1280.89/1281.31	c 1281s |      19 |   562798 |   467082 |     7727    101 |        0 |        0
1283.00/1283.44	c 1283s |      19 |   563453 |   467682 |     7727    101 |        0 |        0
1285.20/1285.62	c 1285s |      19 |   564216 |   468382 |     7727    101 |        0 |        0
1287.20/1287.63	c 1287s |      19 |   564869 |   468982 |     7727    101 |        0 |        0
1289.39/1289.85	c 1289s |      19 |   565538 |   469582 |     7727    101 |        0 |        0
1291.49/1291.95	c 1291s |      19 |   566317 |   470282 |     7727    101 |        0 |        0
1293.49/1293.98	c 1293s |      19 |   566975 |   470882 |     7727    102 |        0 |        0
1295.69/1296.11	c 1296s |      19 |   567736 |   471582 |     7727    102 |        0 |        0
1297.89/1298.31	c 1298s |      19 |   568485 |   472282 |     7727    102 |        0 |        0
1299.98/1300.42	c 1300s |      19 |   569235 |   472982 |     7727    102 |        0 |        0
1301.99/1302.43	c 1302s |      19 |   569882 |   473582 |     7727    102 |        0 |        0
1304.08/1304.57	c 1304s |      19 |   570548 |   474182 |     7727    102 |        0 |        0
1306.28/1306.75	c 1306s |      19 |   571202 |   474782 |     7727    102 |        0 |        0
1308.38/1308.86	c 1308s |      19 |   571831 |   475382 |     7727    102 |        0 |        0
1310.38/1310.87	c 1310s |      19 |   572380 |   475882 |     7727    102 |        0 |        0
1312.68/1313.16	c 1313s |      19 |   572953 |   476382 |     7727    103 |        0 |        0
1314.78/1315.24	c 1315s |      19 |   573832 |   477182 |     7727    103 |        0 |        0
1316.97/1317.43	c 1317s |      19 |   574719 |   477982 |     7727    103 |        0 |        0
1319.17/1319.68	c 1319s |      19 |   575467 |   478682 |     7727    103 |        0 |        0
1321.37/1321.84	c 1321s |      19 |   576116 |   479282 |     7727    103 |        0 |        0
1323.57/1324.06	c 1324s |      19 |   576833 |   479982 |     7727    103 |        0 |        0
1325.67/1326.16	c 1326s |      19 |   577474 |   480582 |     7727    103 |        0 |        0
1327.97/1328.47	c 1328s |      19 |   578214 |   481282 |     7727    103 |        0 |        0
1330.06/1330.55	c 1330s |      19 |   578755 |   481782 |     7727    104 |        0 |        0
1332.27/1332.70	c 1332s |      19 |   579306 |   482282 |     7727    104 |        0 |        0
1334.47/1334.95	c 1334s |      19 |   580072 |   482982 |     7727    104 |        0 |        0
1336.57/1337.00	c 1336s |      19 |   580726 |   483582 |     7727    104 |        0 |        0
1338.67/1339.13	c 1339s |      19 |   581385 |   484182 |     7727    104 |        0 |        0
1340.77/1341.25	c 1341s |      19 |   582027 |   484782 |     7727    104 |        0 |        0
1343.06/1343.52	c 1343s |      19 |   582667 |   485382 |     7727    104 |        0 |        0
1345.26/1345.79	c 1345s |      19 |   583431 |   486082 |     7727    104 |        0 |        0
1347.66/1348.16	c 1348s |      19 |   584207 |   486782 |     7727    104 |        0 |        0
1349.86/1350.34	c 1350s |      19 |   584774 |   487282 |     7727    105 |        0 |        0
1351.96/1352.44	c 1352s |      19 |   585545 |   487982 |     7727    105 |        0 |        0
1354.06/1354.50	c 1354s |      19 |   586317 |   488682 |     7727    105 |        0 |        0
1356.35/1356.83	c 1356s |      19 |   587048 |   489382 |     7727    105 |        0 |        0
1358.55/1359.03	c 1358s |      19 |   587598 |   489882 |     7727    105 |        0 |        0
1360.55/1361.08	c 1361s |      19 |   588262 |   490482 |     7727    105 |        0 |        0
1362.85/1363.37	c 1363s |      19 |   588970 |   491082 |     7727    105 |        0 |        0
1365.24/1365.70	c 1365s |      19 |   589614 |   491682 |     7727    105 |        0 |        0
1367.34/1367.83	c 1367s |      19 |   590149 |   492182 |     7727    105 |        0 |        0
1370.05/1370.56	c 1370s |      19 |   590821 |   492782 |     7727    106 |        0 |        0
1372.15/1372.65	c 1372s |      19 |   591512 |   493382 |     7727    106 |        0 |        0
1374.15/1374.67	c 1374s |      19 |   592169 |   493982 |     7727    106 |        0 |        0
1376.15/1376.69	c 1376s |      19 |   592952 |   494682 |     7727    106 |        0 |        0
1378.35/1378.83	c 1378s |      19 |   593721 |   495382 |     7727    106 |        0 |        0
1380.34/1380.85	c 1380s |      19 |   594431 |   495982 |     7727    106 |        0 |        0
1382.64/1383.15	c 1383s |      19 |   595282 |   496682 |     7727    106 |        0 |        0
1384.75/1385.29	c 1385s |      19 |   595987 |   497282 |     7727    106 |        0 |        0
1386.85/1387.38	c 1387s |      19 |   596599 |   497782 |     7727    106 |        0 |        0
1389.04/1389.52	c 1389s |      19 |   597153 |   498282 |     7727    106 |        0 |        0
1391.24/1391.76	c 1391s |      19 |   597737 |   498782 |     7727    107 |        0 |        0
1393.54/1394.01	c 1393s |      19 |   598417 |   499382 |     7727    107 |        0 |        0
1395.84/1396.36	c 1396s |      19 |   599088 |   499982 |     7727    107 |        0 |        0
1397.84/1398.39	c 1398s |      19 |   599813 |   500582 |     7727    107 |        0 |        0
1400.25/1400.71	c 1400s |      19 |   600624 |   501282 |     7727    107 |        0 |        0
1402.54/1403.04	c 1402s |      19 |   601464 |   501982 |     7727    107 |        0 |        0
1404.84/1405.37	c 1405s |      19 |   602166 |   502582 |     7727    107 |        0 |        0
1407.04/1407.55	c 1407s |      19 |   602722 |   503082 |     7727    107 |        0 |        0
1409.54/1410.02	c 1409s |      19 |   603268 |   503582 |     7727    107 |        0 |        0
1411.64/1412.14	c 1412s |      19 |   603590 |   503882 |     7727    108 |        0 |        0
1413.84/1414.36	c 1414s |      19 |   604166 |   504382 |     7727    108 |        0 |        0
1416.04/1416.52	c 1416s |      19 |   604993 |   505082 |     7727    108 |        0 |        0
1418.14/1418.69	c 1418s |      19 |   605780 |   505782 |     7727    108 |        0 |        0
1420.44/1420.92	c 1420s |      19 |   606542 |   506482 |     7727    108 |        0 |        0
1422.64/1423.13	c 1423s |      19 |   607190 |   507082 |     7727    108 |        0 |        0
1424.84/1425.33	c 1425s |      19 |   607835 |   507682 |     7727    108 |        0 |        0
1426.94/1427.48	c 1427s |      19 |   608513 |   508282 |     7727    108 |        0 |        0
1429.43/1429.90	c 1429s |      19 |   609161 |   508882 |     7727    108 |        0 |        0
1431.44/1431.99	c 1431s |      19 |   609691 |   509382 |     7727    108 |        0 |        0
1433.44/1433.99	c 1433s |      19 |   610259 |   509882 |     7727    109 |        0 |        0
1435.54/1436.08	c 1436s |      19 |   611019 |   510582 |     7727    109 |        0 |        0
1437.64/1438.11	c 1438s |      19 |   611595 |   511082 |     7727    109 |        0 |        0
1439.84/1440.34	c 1440s |      19 |   612269 |   511682 |     7727    109 |        0 |        0
1441.93/1442.47	c 1442s |      19 |   612943 |   512282 |     7727    109 |        0 |        0
1444.13/1444.63	c 1444s |      19 |   613607 |   512882 |     7727    109 |        0 |        0
1446.23/1446.77	c 1446s |      19 |   614265 |   513482 |     7727    109 |        0 |        0
1448.64/1449.14	c 1449s |      19 |   614897 |   514082 |     7727    109 |        0 |        0
1450.74/1451.28	c 1451s |      19 |   615436 |   514582 |     7727    109 |        0 |        0
1452.94/1453.40	c 1453s |      19 |   615872 |   514982 |     7727    110 |        0 |        0
1455.03/1455.51	c 1455s |      19 |   616652 |   515682 |     7727    110 |        0 |        0
1457.04/1457.51	c 1457s |      19 |   617314 |   516282 |     7727    110 |        0 |        0
1459.13/1459.60	c 1459s |      19 |   617957 |   516882 |     7727    110 |        0 |        0
1461.33/1461.85	c 1461s |      19 |   618594 |   517482 |     7727    110 |        0 |        0
1463.53/1464.08	c 1464s |      19 |   619359 |   518182 |     7727    110 |        0 |        0
1465.63/1466.11	c 1466s |      19 |   620050 |   518782 |     7727    110 |        0 |        0
1467.73/1468.23	c 1468s |      19 |   620740 |   519382 |     7727    110 |        0 |        0
1469.73/1470.25	c 1470s |      19 |   621421 |   519982 |     7727    110 |        0 |        0
1472.23/1472.76	c 1472s |      19 |   622069 |   520582 |     7727    111 |        0 |        0
1474.33/1474.80	c 1474s |      19 |   622724 |   521182 |     7727    111 |        0 |        0
1476.43/1476.91	c 1476s |      19 |   623522 |   521882 |     7727    111 |        0 |        0
1478.64/1479.10	c 1479s |      19 |   624166 |   522482 |     7727    111 |        0 |        0
1480.63/1481.14	c 1481s |      19 |   624811 |   523082 |     7727    111 |        0 |        0
1482.63/1483.19	c 1483s |      19 |   625465 |   523682 |     7727    111 |        0 |        0
1484.73/1485.29	c 1485s |      19 |   626116 |   524282 |     7727    111 |        0 |        0
1487.13/1487.62	c 1487s |      19 |   626774 |   524882 |     7727    111 |        0 |        0
1489.13/1489.66	c 1489s |      19 |   627313 |   525382 |     7727    111 |        0 |        0
1491.32/1491.82	c 1491s |      19 |   627880 |   525882 |     7727    111 |        0 |        0
1493.62/1494.10	c 1494s |      19 |   628648 |   526482 |     7727    112 |        0 |        0
1495.83/1496.37	c 1496s |      19 |   629439 |   527182 |     7727    112 |        0 |        0
1497.84/1498.38	c 1498s |      19 |   630280 |   527882 |     7727    112 |        0 |        0
1499.93/1500.46	c 1500s |      19 |   631059 |   528582 |     7727    112 |        0 |        0
1502.03/1502.56	c 1502s |      19 |   631712 |   529182 |     7727    112 |        0 |        0
1504.33/1504.85	c 1504s |      19 |   632614 |   529982 |     7727    112 |        0 |        0
1506.53/1507.08	c 1507s |      19 |   633388 |   530682 |     7727    112 |        0 |        0
1508.62/1509.20	c 1509s |      19 |   634142 |   531382 |     7727    112 |        0 |        0
1510.72/1511.24	c 1511s |      19 |   634585 |   531782 |     7727    113 |        0 |        0
1512.83/1513.35	c 1513s |      19 |   635463 |   532582 |     7727    113 |        0 |        0
1514.93/1515.45	c 1515s |      19 |   636221 |   533282 |     7727    113 |        0 |        0
1517.03/1517.57	c 1517s |      19 |   636902 |   533882 |     7727    113 |        0 |        0
1519.13/1519.65	c 1519s |      19 |   637556 |   534482 |     7727    113 |        0 |        0
1521.22/1521.72	c 1521s |      19 |   638210 |   535082 |     7727    113 |        0 |        0
1523.42/1523.95	c 1523s |      19 |   638869 |   535682 |     7727    113 |        0 |        0
1525.62/1526.14	c 1526s |      19 |   639534 |   536282 |     7727    113 |        0 |        0
1527.82/1528.31	c 1528s |      19 |   640172 |   536882 |     7727    113 |        0 |        0
1530.02/1530.54	c 1530s |      19 |   640719 |   537382 |     7727    114 |        0 |        0
1532.22/1532.75	c 1532s |      19 |   641470 |   538082 |     7727    114 |        0 |        0
1534.42/1534.97	c 1534s |      19 |   642133 |   538682 |     7727    114 |        0 |        0
1536.52/1537.04	c 1536s |      19 |   642781 |   539282 |     7727    114 |        0 |        0
1538.52/1539.05	c 1539s |      19 |   643448 |   539882 |     7727    114 |        0 |        0
1540.82/1541.37	c 1541s |      19 |   644094 |   540482 |     7727    114 |        0 |        0
1543.12/1543.66	c 1543s |      19 |   644755 |   541082 |     7727    114 |        0 |        0
1545.42/1545.90	c 1545s |      19 |   645388 |   541682 |     7727    114 |        0 |        0
1547.62/1548.11	c 1548s |      19 |   646082 |   542282 |     7727    114 |        0 |        0
1549.62/1550.19	c 1550s |      19 |   646643 |   542782 |     7727    115 |        0 |        0
1551.82/1552.30	c 1552s |      19 |   647301 |   543382 |     7727    115 |        0 |        0
1553.93/1554.47	c 1554s |      19 |   648063 |   544082 |     7727    115 |        0 |        0
1556.13/1556.66	c 1556s |      19 |   648822 |   544782 |     7727    115 |        0 |        0
1558.23/1558.77	c 1558s |      19 |   649471 |   545382 |     7727    115 |        0 |        0
1560.43/1560.94	c 1560s |      19 |   650134 |   545982 |     7727    115 |        0 |        0
1562.62/1563.19	c 1563s |      19 |   650925 |   546682 |     7727    115 |        0 |        0
1564.72/1565.23	c 1565s |      19 |   651588 |   547282 |     7727    115 |        0 |        0
1566.91/1567.49	c 1567s |      19 |   652247 |   547882 |     7727    115 |        0 |        0
1569.41/1569.90	c 1569s |      19 |   652776 |   548382 |     7727    116 |        0 |        0
1571.53/1572.05	c 1572s |      19 |   653697 |   549182 |     7727    116 |        0 |        0
1573.63/1574.13	c 1574s |      19 |   654504 |   549882 |     7727    116 |        0 |        0
1575.72/1576.22	c 1576s |      19 |   655264 |   550582 |     7727    116 |        0 |        0
1577.92/1578.40	c 1578s |      19 |   656160 |   551382 |     7727    116 |        0 |        0
1580.22/1580.72	c 1580s |      19 |   656921 |   552082 |     7727    116 |        0 |        0
1582.22/1582.77	c 1582s |      19 |   657707 |   552782 |     7727    116 |        0 |        0
1584.42/1584.97	c 1584s |      19 |   658496 |   553482 |     7727    116 |        0 |        0
1586.82/1587.35	c 1587s |      19 |   658944 |   553882 |     7727    117 |        0 |        0
1589.02/1589.57	c 1589s |      19 |   659586 |   554482 |     7727    117 |        0 |        0
1591.11/1591.61	c 1591s |      19 |   660220 |   555082 |     7727    117 |        0 |        0
1593.21/1593.79	c 1593s |      19 |   660875 |   555682 |     7727    117 |        0 |        0
1595.41/1595.97	c 1595s |      19 |   661422 |   556182 |     7727    117 |        0 |        0
1597.51/1598.06	c 1598s |      19 |   661978 |   556682 |     7727    117 |        0 |        0
1599.61/1600.14	c 1600s |      19 |   662789 |   557382 |     7727    117 |        0 |        0
1601.81/1602.38	c 1602s |      19 |   663571 |   558082 |     7727    117 |        0 |        0
1604.11/1604.62	c 1604s |      19 |   664480 |   558882 |     7727    117 |        0 |        0
1606.21/1606.77	c 1606s |      19 |   665125 |   559482 |     7727    118 |        0 |        0
1608.41/1608.93	c 1608s |      19 |   665903 |   560182 |     7727    118 |        0 |        0
1610.51/1611.07	c 1611s |      19 |   666686 |   560882 |     7727    118 |        0 |        0
1612.81/1613.32	c 1613s |      19 |   667483 |   561582 |     7727    118 |        0 |        0
1615.01/1615.51	c 1615s |      19 |   668251 |   562282 |     7727    118 |        0 |        0
1617.31/1617.82	c 1617s |      19 |   669027 |   562982 |     7727    118 |        0 |        0
1619.41/1619.96	c 1619s |      19 |   669683 |   563582 |     7727    118 |        0 |        0
1621.50/1622.09	c 1622s |      19 |   670340 |   564182 |     7727    118 |        0 |        0
1623.70/1624.23	c 1624s |      19 |   670975 |   564782 |     7727    118 |        0 |        0
1625.91/1626.41	c 1626s |      19 |   671419 |   565182 |     7727    119 |        0 |        0
1628.21/1628.73	c 1628s |      19 |   672184 |   565882 |     7727    119 |        0 |        0
1630.31/1630.81	c 1630s |      19 |   672818 |   566482 |     7727    119 |        0 |        0
1632.31/1632.82	c 1632s |      19 |   673474 |   567082 |     7727    119 |        0 |        0
1634.31/1634.89	c 1634s |      19 |   674128 |   567682 |     7727    119 |        0 |        0
1636.61/1637.14	c 1637s |      19 |   674780 |   568282 |     7727    119 |        0 |        0
1638.80/1639.33	c 1639s |      19 |   675317 |   568782 |     7727    119 |        0 |        0
1641.10/1641.68	c 1641s |      19 |   675843 |   569282 |     7727    119 |        0 |        0
1643.30/1643.88	c 1643s |      19 |   676387 |   569782 |     7727    119 |        0 |        0
1645.60/1646.13	c 1646s |      19 |   676920 |   570282 |     7727    119 |        0 |        0
1647.81/1648.33	c 1648s |      19 |   677356 |   570682 |     7727    120 |        0 |        0
1651.01/1651.54	c 1651s |      19 |   678112 |   571382 |     7727    120 |        0 |        0
1653.21/1653.78	c 1653s |      19 |   678853 |   572082 |     7727    120 |        0 |        0
1655.30/1655.84	c 1655s |      19 |   679477 |   572682 |     7727    120 |        0 |        0
1657.50/1658.09	c 1658s |      19 |   680119 |   573282 |     7727    120 |        0 |        0
1659.70/1660.28	c 1660s |      19 |   680758 |   573882 |     7727    120 |        0 |        0
1662.00/1662.50	c 1662s |      19 |   681391 |   574482 |     7727    120 |        0 |        0
1664.00/1664.59	c 1664s |      19 |   682039 |   575082 |     7727    120 |        0 |        0
1666.20/1666.77	c 1666s |      19 |   682564 |   575582 |     7727    120 |        0 |        0
1668.31/1668.86	c 1668s |      19 |   683094 |   576082 |     7727    120 |        0 |        0
1670.41/1670.91	c 1670s |      19 |   683508 |   576482 |     7727    121 |        0 |        0
1672.40/1672.99	c 1672s |      19 |   684067 |   576982 |     7727    121 |        0 |        0
1674.60/1675.18	c 1675s |      19 |   684841 |   577682 |     7727    121 |        0 |        0
1676.70/1677.28	c 1677s |      19 |   685513 |   578282 |     7727    121 |        0 |        0
1679.00/1679.51	c 1679s |      19 |   686147 |   578882 |     7727    121 |        0 |        0
1681.20/1681.74	c 1681s |      19 |   686808 |   579482 |     7727    121 |        0 |        0
1683.30/1683.85	c 1683s |      19 |   687742 |   580282 |     7727    121 |        0 |        0
1685.40/1685.97	c 1685s |      19 |   688662 |   581082 |     7727    121 |        0 |        0
1688.30/1688.80	c 1688s |      19 |   689471 |   581782 |     7727    122 |        0 |        0
1690.50/1691.04	c 1690s |      19 |   690379 |   582582 |     7727    122 |        0 |        0
1692.70/1693.28	c 1693s |      19 |   691257 |   583382 |     7727    122 |        0 |        0
1694.89/1695.47	c 1695s |      19 |   692202 |   584182 |     7727    122 |        0 |        0
1696.90/1697.48	c 1697s |      19 |   692899 |   584782 |     7727    122 |        0 |        0
1699.10/1699.63	c 1699s |      19 |   693549 |   585382 |     7727    122 |        0 |        0
1701.30/1701.90	c 1701s |      19 |   694343 |   586082 |     7727    122 |        0 |        0
1703.51/1704.09	c 1704s |      19 |   694991 |   586682 |     7727    122 |        0 |        0
1706.40/1706.95	c 1706s |      19 |   695621 |   587282 |     7727    123 |        0 |        0
1708.40/1708.96	c 1708s |      19 |   696273 |   587882 |     7727    123 |        0 |        0
1710.60/1711.14	c 1711s |      19 |   697030 |   588582 |     7727    123 |        0 |        0
1712.79/1713.30	c 1713s |      19 |   697831 |   589282 |     7727    123 |        0 |        0
1714.99/1715.51	c 1715s |      19 |   698616 |   589982 |     7727    123 |        0 |        0
1717.09/1717.66	c 1717s |      19 |   699286 |   590582 |     7727    123 |        0 |        0
1719.29/1719.83	c 1719s |      19 |   699931 |   591182 |     7727    123 |        0 |        0
1721.59/1722.13	c 1722s |      19 |   700584 |   591782 |     7727    123 |        0 |        0
1723.69/1724.27	c 1724s |      19 |   701218 |   592382 |     7727    123 |        0 |        0
1725.89/1726.45	c 1726s |      19 |   701747 |   592882 |     7727    124 |        0 |        0
1728.09/1728.60	c 1728s |      19 |   702291 |   593382 |     7727    124 |        0 |        0
1730.20/1730.76	c 1730s |      19 |   703167 |   594182 |     7727    124 |        0 |        0
1732.40/1732.90	c 1732s |      19 |   703922 |   594882 |     7727    124 |        0 |        0
1734.49/1735.00	c 1734s |      19 |   704576 |   595482 |     7727    124 |        0 |        0
1736.59/1737.16	c 1737s |      19 |   705218 |   596082 |     7727    124 |        0 |        0
1739.09/1739.66	c 1739s |      19 |   705764 |   596582 |     7727    124 |        0 |        0
1741.09/1741.68	c 1741s |      19 |   706664 |   597382 |     7727    124 |        0 |        0
1743.19/1743.70	c 1743s |      19 |   707423 |   598082 |     7727    124 |        0 |        0
1745.39/1745.92	c 1745s |      19 |   708095 |   598682 |     7727    125 |        0 |        0
1747.50/1748.04	c 1747s |      19 |   708908 |   599382 |     7727    125 |        0 |        0
1749.79/1750.31	c 1750s |      19 |   709811 |   600182 |     7727    125 |        0 |        0
1751.90/1752.42	c 1752s |      19 |   710708 |   600982 |     7727    125 |        0 |        0
1754.19/1754.76	c 1754s |      19 |   711490 |   601682 |     7727    125 |        0 |        0
1756.59/1757.13	c 1757s |      19 |   712166 |   602282 |     7727    125 |        0 |        0
1758.89/1759.46	c 1759s |      19 |   712819 |   602882 |     7727    125 |        0 |        0
1761.28/1761.81	c 1761s |      19 |   713469 |   603482 |     7727    125 |        0 |        0
1763.38/1763.90	c 1763s |      19 |   714014 |   603982 |     7727    125 |        0 |        0
1765.58/1766.10	c 1766s |      19 |   714445 |   604382 |     7727    126 |        0 |        0
1767.79/1768.30	c 1768s |      19 |   715206 |   605082 |     7727    126 |        0 |        0
1769.99/1770.52	c 1770s |      19 |   716116 |   605882 |     7727    126 |        0 |        0
1772.09/1772.69	c 1772s |      19 |   716886 |   606582 |     7727    126 |        0 |        0
1774.39/1774.97	c 1774s |      19 |   717649 |   607282 |     7727    126 |        0 |        0
1776.59/1777.17	c 1777s |      19 |   718423 |   607982 |     7727    126 |        0 |        0
1778.89/1779.42	c 1779s |      19 |   719082 |   608582 |     7727    126 |        0 |        0
1780.89/1781.43	c 1781s |      19 |   719654 |   609082 |     7727    126 |        0 |        0
1783.39/1783.92	c 1783s |      19 |   720239 |   609582 |     7727    127 |        0 |        0
1785.59/1786.13	c 1786s |      19 |   721117 |   610382 |     7727    127 |        0 |        0
1787.78/1788.36	c 1788s |      19 |   721878 |   611082 |     7727    127 |        0 |        0
1789.98/1790.59	c 1790s |      19 |   722651 |   611782 |     7727    127 |        0 |        0
1792.18/1792.73	c 1792s |      19 |   723420 |   612482 |     7727    127 |        0 |        0
1794.18/1794.76	c 1794s |      19 |   723954 |   612982 |     7727    127 |        0 |        0
1796.28/1796.83	c 1796s |      19 |   724735 |   613682 |     7727    127 |        0 |        0
1798.39/1798.94	c 1798s |      19 |   725380 |   614282 |     7727    127 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.30 2.31 2.23 3/179 2291
/proc/meminfo: memFree=29294008/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=661948 CPUtime=0 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 2457 0 0 0 0 0 0 0 20 0 4 0 106004551 677834752 2819 33554432000 4194304 16246674 140735973489328 140735973488752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 165999 2827 441 2943 0 162893 0
[pid=2291/tid=2292] ppid=2288 vsize=705980 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 722923520 2992 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=711100 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 728166400 3009 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=715196 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 732360704 3027 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.30 2.31 2.23 3/179 2291
/proc/meminfo: memFree=29294008/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 29042 0 0 0 5 4 0 0 20 0 4 0 106004551 1247350784 29392 33554432000 4194304 16246674 140735973489328 140735973488752 5830026 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 304529 29398 704 2943 0 301423 0
[pid=2291/tid=2292] ppid=2288 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1247350784 29403 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1247350784 29406 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1247350784 29408 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200606 s]
/proc/loadavg: 2.30 2.31 2.23 3/179 2291
/proc/meminfo: memFree=29294008/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 48106 0 0 0 12 7 0 0 20 0 4 0 106004551 1250496512 48436 33554432000 4194304 16246674 140735973489328 140735973471232 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 305297 48436 783 2943 0 302191 0
[pid=2291/tid=2292] ppid=2288 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1250496512 48436 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1250496512 48436 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1250496512 48436 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300515 s]
/proc/loadavg: 2.30 2.31 2.23 3/179 2291
/proc/meminfo: memFree=29294008/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1307204 CPUtime=0.29 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 66807 0 0 0 20 9 0 0 20 0 4 0 106004551 1338576896 67137 33554432000 4194304 16246674 140735973489328 140735973471232 5722816 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 326801 67137 784 2943 0 323695 0
[pid=2291/tid=2292] ppid=2288 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1338576896 67137 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1338576896 67137 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1338576896 67137 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.700413 s]
/proc/loadavg: 2.30 2.31 2.23 3/179 2291
/proc/meminfo: memFree=29294008/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1307204 CPUtime=0.68 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 66807 0 0 0 59 9 0 0 20 0 4 0 106004551 1338576896 67137 33554432000 4194304 16246674 140735973489328 140735973471232 5546219 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 326801 67137 784 2943 0 323695 0
[pid=2291/tid=2292] ppid=2288 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1338576896 67137 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1338576896 67137 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1338576896 67137 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1307204

[startup+1.5004 s]
/proc/loadavg: 2.30 2.31 2.23 3/183 2295
/proc/meminfo: memFree=29026584/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 145695 0 0 0 130 19 0 0 20 0 4 0 106004551 1338576896 146026 33554432000 4194304 16246674 140735973489328 140735973471232 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 326801 146048 784 2943 0 323695 0
[pid=2291/tid=2292] ppid=2288 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1338576896 146066 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1338576896 146081 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1338576896 146097 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10042 s]
/proc/loadavg: 2.35 2.32 2.24 3/183 2295
/proc/meminfo: memFree=28221460/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 267825 0 0 0 276 33 0 0 20 0 4 0 106004551 1339625472 268155 33554432000 4194304 16246674 140735973489328 140735973471232 13191276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 327057 268155 784 2943 0 323951 0
[pid=2291/tid=2292] ppid=2288 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1339625472 268155 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1339625472 268155 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1339625472 268155 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30041 s]
/proc/loadavg: 2.35 2.32 2.24 4/183 2295
/proc/meminfo: memFree=28221988/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 268178 0 0 0 596 33 0 0 20 0 4 0 106004551 1340674048 268508 33554432000 4194304 16246674 140735973489328 140735973471232 5546219 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 327313 268508 789 2943 0 324207 0
[pid=2291/tid=2292] ppid=2288 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1340674048 268508 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1340674048 268508 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1340674048 268508 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.30 2.31 2.23 3/183 2295
/proc/meminfo: memFree=28220784/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 268182 0 0 0 1236 33 0 0 20 0 4 0 106004551 1340674048 268512 33554432000 4194304 16246674 140735973489328 140735973471232 5546252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 327313 268512 791 2943 0 324207 0
[pid=2291/tid=2292] ppid=2288 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1340674048 268512 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1340674048 268512 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1340674048 268512 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.33 2.31 2.24 4/183 2295
/proc/meminfo: memFree=28217284/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1311300 CPUtime=25.48 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 268806 0 0 0 2515 33 0 0 20 0 4 0 106004551 1342771200 269136 33554432000 4194304 16246674 140735973489328 140735973471232 12874974 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 327825 269136 792 2943 0 324719 0
[pid=2291/tid=2292] ppid=2288 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1342771200 269136 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1342771200 269136 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1342771200 269136 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1006 s]
/proc/loadavg: 2.27 2.30 2.23 3/183 2295
/proc/meminfo: memFree=28212048/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 270132 0 0 0 5074 34 0 0 20 0 4 0 106004551 1348014080 270462 33554432000 4194304 16246674 140735973489328 140735973471232 5522909 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 329105 270462 792 2943 0 325999 0
[pid=2291/tid=2292] ppid=2288 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1348014080 270462 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1348014080 270462 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1348014080 270462 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.301 s]
/proc/loadavg: 2.16 2.26 2.22 3/184 2299
/proc/meminfo: memFree=28204184/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1323588 CPUtime=102.28 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 271924 0 0 0 10192 36 0 0 20 0 4 0 106004551 1355354112 272254 33554432000 4194304 16246674 140735973489328 140735973471232 5546233 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 330897 272254 792 2943 0 327791 0
[pid=2291/tid=2292] ppid=2288 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1355354112 272254 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1355354112 272254 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1355354112 272254 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1323588


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

/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1331780

[startup+1302.3 s]
/proc/loadavg: 2.30 2.23 2.22 3/184 2329
/proc/meminfo: memFree=28189364/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1331780 CPUtime=1301.88 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 274291 0 0 0 130078 110 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140735973471232 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 332945 274558 792 2943 0 329839 0
[pid=2291/tid=2292] ppid=2288 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.18 2.22 2.21 3/183 2330
/proc/meminfo: memFree=28189536/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1331780 CPUtime=1361.85 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 274328 0 0 0 136072 113 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140735973471232 6021024 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 332945 274558 792 2943 0 329839 0
[pid=2291/tid=2292] ppid=2288 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.24 2.23 2.22 4/183 2331
/proc/meminfo: memFree=28189860/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1331780 CPUtime=1421.84 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 274335 0 0 0 142067 117 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140735973471232 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 332945 274558 792 2943 0 329839 0
[pid=2291/tid=2292] ppid=2288 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.24 2.22 2.21 3/183 2333
/proc/meminfo: memFree=28189988/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1331780 CPUtime=1481.83 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 274335 0 0 0 148063 120 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140735973471232 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 332945 274558 792 2943 0 329839 0
[pid=2291/tid=2292] ppid=2288 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1363742720 274558 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.20 2.22 2.21 3/183 2334
/proc/meminfo: memFree=28188876/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1332804 CPUtime=1541.83 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 274591 0 0 0 154060 123 0 0 20 0 4 0 106004551 1364791296 274814 33554432000 4194304 16246674 140735973489328 140735973471232 5822488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 333201 274814 792 2943 0 330095 0
[pid=2291/tid=2292] ppid=2288 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1364791296 274814 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1364791296 274814 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1364791296 274814 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.18 2.21 2.20 3/183 2335
/proc/meminfo: memFree=28179092/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1343044 CPUtime=1601.81 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 276921 0 0 0 160057 124 0 0 20 0 4 0 106004551 1375277056 277144 33554432000 4194304 16246674 140735973489328 140735973471232 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 335761 277144 792 2943 0 332655 0
[pid=2291/tid=2292] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277144 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277144 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277144 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1343044

[startup+1662.3 s]
/proc/loadavg: 2.37 2.26 2.22 3/183 2385
/proc/meminfo: memFree=28151264/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1343044 CPUtime=1661.8 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 277151 0 0 0 166053 127 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140735973487232 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 335761 277374 792 2943 0 332655 0
[pid=2291/tid=2292] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1343044

[startup+1722.3 s]
/proc/loadavg: 2.30 2.26 2.22 3/183 2386
/proc/meminfo: memFree=28095096/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1343044 CPUtime=1721.79 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 277151 0 0 0 172050 129 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140735973471232 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 335761 277374 792 2943 0 332655 0
[pid=2291/tid=2292] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1343044

[startup+1782.3 s]
/proc/loadavg: 2.33 2.26 2.22 4/183 2388
/proc/meminfo: memFree=28094608/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1343044 CPUtime=1781.79 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 277151 0 0 0 178047 132 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140735973471232 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 335761 277374 792 2943 0 332655 0
[pid=2291/tid=2292] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1343044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.32 2.27 2.22 3/183 2388
/proc/meminfo: memFree=28094368/32872528 swapFree=16080/1655368
[pid=2291] ppid=2288 vsize=1343044 CPUtime=1800.09 cores=0,2,4,6
/proc/2291/stat : 2291 (toysat) R 2288 2291 32454 0 -1 4202496 277151 0 0 0 179876 133 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140735973471232 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2291/statm: 335761 277374 792 2943 0 332655 0
[pid=2291/tid=2292] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (toysat) S 2288 2291 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140596885826800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2291/tid=2293] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (toysat) S 2288 2291 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140596875336944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2291/tid=2294] ppid=2288 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (toysat) S 2288 2291 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106004551 1375277056 277374 33554432000 4194304 16246674 140735973489328 140596761062576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1343044

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1798.77
CPU system time (s): 1.3308
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1343044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.3308
maximum resident set size= 1109496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277151
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= 376
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.838 second user time and 16.0956 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-06 21:18:30
IDJOB=4078772
IDBENCH=2599
IDSOLVER=2542
FILE ID=node122/4078772-1465240710
RUNJOBID= node122-1465218907-32470
PBS_JOBID= 19843205
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 5bedad9895f21a4b5e521b3abd33ba08
RANDOM SEED=1255334663

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29294800 kB
Buffers:           43008 kB
Cached:           102748 kB
SwapCached:          860 kB
Active:          1151516 kB
Inactive:          67768 kB
Active(anon):    1074180 kB
Inactive(anon):     1584 kB
Active(file):      77336 kB
Inactive(file):    66184 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099464 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       2727996 kB
Mapped:            10252 kB
Shmem:                 0 kB
Slab:             567964 kB
SReclaimable:      12204 kB
SUnreclaim:       555760 kB
KernelStack:        1520 kB
PageTables:         9376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2875016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node122 at 2016-06-06 21:48:31