Trace number 4108565

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.62

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12040_1.std.opb
MD5SUM6fb8c842434b82a13287e61400a56efc
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark82
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245500
Number of constraints which are clauses244300
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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-19T01:13:48+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-4108565-1466291628.opb"]
0.00/0.01	c use --random-gen="319261012 3377748044 1352050253 473667199 2025151476 2794126640 1534437281 1324462928 967489193 2845744316 2301966132 3876936689 3635611755 3341924575 3387901020 307493492 1308751980 3750551700 2458349797 2350730020 3223361400 1994839108 2310149663 236206033 3622596875 3042532150 4006520163 2887634972 521178522 2234358938 2761561309 118217874 1929229477 601073492 3387611365 643350421 1513520802 3812696663 1008453120 3832906971 4252281493 4091300215 3828799627 1988605362 2677974752 2765236392 2501823958 1227348074 556347625 368316151 966142073 813447375 543568566 3307197847 2065659124 128237448 3409432390 1268815556 2921661266 1929060499 4003809102 1976719367 1105808444 1329162830 608171257 144541093 2345255500 3790251533 1245908418 600660862 24883686 1672342225 1834365384 1532844659 4287623499 364934555 3909558085 2810778109 280283644 406033359 1433058808 2892378054 2351692119 36552584 3182099111 3536164816 2119738501 14883620 3093522954 885679723 1606586462 2461276153 3069103868 4004700323 3239627945 2036979097 4121570791 132534605 3989560624 2213347780 479707018 2878664247 2652480544 2340602145 2997557278 3131179250 2365181904 3942986767 663088259 4168640247 3855299330 4162974530 816508744 1500993724 933549093 4243652827 2251779524 3565528435 3275167155 1118872269 1178680354 1623762266 614229108 2302249944 3376369951 3315631948 3915720721 3054162108 4257545390 633854271 2282482469 2733871645 2408302480 2238239974 1820444430 126924205 2348046551 2488698433 681469833 3637504418 1370244993 564003126 2466359397 23210218 4157638373 3763187987 3972169535 3933824506 2685916692 1454935565 3419609264 3543467005 3458746979 3832616007 3671146950 3305649190 214533259 565414673 1403476250 4178882433 1451287193 859352289 3703656864 2653962383 1691992971 3015428066 1780128860 768554719 3397054429 3216810943 350384992 1613082320 3816206368 496228503 2182307000 1056883369 2451385581 1287553596 2103011254 1681024359 2912430848 25475335 3578875384 3814744824 2727101386 4289944305 3162336914 3496679915 2732216509 2003601799 2809438067 2054059426 1487824881 3842874881 920236452 175199280 2850710602 359024089 4291454418 2530696866 3522028995 594727188 4217212943 432827359 3466735508 739679287 1400528901 1159982729 1012133070 17692922 4159660775 1822169447 4002688938 2160786244 2818328434 3332033418 394058877 176358401 3723563631 3831379730 2612129757 519484540 2513144655 500464371 779499526 2108651160 2217412311 4002402718 4099361285 2628672496 42336358 3078347949 734003939 2532218214 2637279775 221545563 177466864 1431387076 3635976455 373603288 3200984592 2700740065 4281405923 2081557412 2512744770 3727216235 636700498 1338606219 194787110 385109471 2513493806 2994471434 33205946 3545721763 2050948989 4224516730 255 362436" option to reproduce the execution
1.49/1.50	c #vars 72842
1.49/1.50	c #constraints 245500
4.78/4.83	c BCD2: Hardening is enabled.
4.78/4.83	c BCD2: BiasedSearch is enabled.
4.78/4.83	c Solving starts ...
4.78/4.83	c ============================[ Search Statistics ]============================
4.78/4.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.78/4.83	c       |         |          |          |    Limit     GC | Var      | Constra 
4.78/4.83	c =============================================================================
4.88/4.94	c  0.0s |       0 |        0 |        0 |    93542      0 |    14811 |        0
5.18/5.21	c  0.3s |       0 |      122 |        0 |    93542      0 |    14811 |    19158
5.18/5.21	c #cpu_time = 0.240s
5.18/5.21	c #wall_clock_time = 0.240s
5.18/5.21	c #decision = 122
5.18/5.21	c #random_decision = 1
5.18/5.21	c #conflict = 0
5.18/5.21	c #restart = 0
5.18/5.21	o 300
5.18/5.21	c BCD2: hardening fixes 1 literals
5.18/5.21	c BCD2: updating upper bound: 45150 -> 299
5.18/5.21	c BCD2: 0 <= obj <= 299
5.18/5.21	c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1
5.18/5.21	c BCD2: #sat=1 #unsat=1 bias=1/2
5.18/5.21	c Solving starts ...
5.18/5.21	c ============================[ Search Statistics ]============================
5.18/5.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.18/5.21	c       |         |          |          |    Limit     GC | Var      | Constra 
5.18/5.21	c =============================================================================
5.18/5.21	c  0.0s |       0 |        0 |        0 |    93542      0 |    15053 |    19158
5.38/5.44	c  0.2s |       0 |      221 |        0 |    93542      0 |    15053 |    19980
5.38/5.44	c #cpu_time = 0.211s
5.38/5.44	c #wall_clock_time = 0.212s
5.38/5.44	c #decision = 221
5.38/5.44	c #random_decision = 0
5.38/5.44	c #conflict = 0
5.38/5.44	c #restart = 0
5.38/5.44	c BCD2: found a new core of size 222: cost of the new core is >=78
5.38/5.44	c lower bound updated to 78
5.38/5.44	c BCD2: 78 <= obj <= 299
5.38/5.44	c BCD2: #cores=1, #unrelaxed=77, #relaxed=222, #hardened=1
5.38/5.44	c BCD2: #sat=1 #unsat=2 bias=2/3
7.08/7.14	c Solving starts ...
7.08/7.14	c ============================[ Search Statistics ]============================
7.08/7.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.08/7.14	c       |         |          |          |    Limit     GC | Var      | Constra 
7.08/7.14	c =============================================================================
7.08/7.14	c  0.0s |       0 |        0 |        0 |    93542      0 |    15053 |    19980
7.38/7.49	c  0.4s |       1 |      206 |      100 |    93542      0 |    15053 |    19980
7.88/7.93	c  0.8s |       2 |      418 |      250 |   102897      0 |    15053 |    19980
8.48/8.59	c  1.5s |       3 |      758 |      475 |   113187      0 |    15053 |    19980
9.28/9.31	c  2.2s |       4 |     1231 |      813 |   124506      0 |    15053 |    19980
10.28/10.37	c  3.2s |       5 |     1954 |     1320 |   136957      0 |    15053 |    19980
11.78/11.83	c  4.7s |       6 |     2963 |     2081 |   165719      0 |    15053 |    19980
13.78/13.85	c  6.7s |       6 |     4326 |     3081 |   165719      0 |    15053 |    19980
14.08/14.17	c  7.0s |       7 |     4505 |     3223 |   182291      0 |    15053 |    19980
16.18/16.20	c  9.1s |       7 |     5895 |     4223 |   182291      0 |    15053 |    19980
17.59/17.63	c 10.5s |       8 |     6777 |     4936 |   200521      0 |    15053 |    19980
19.68/19.75	c 12.6s |       8 |     8112 |     5936 |   200521      0 |    15053 |    19980
21.79/21.83	c 14.7s |       8 |     9474 |     7036 |   200521      0 |    15053 |    19980
22.79/22.85	c 15.7s |       9 |    10061 |     7506 |   220574      0 |    15053 |    19980
24.89/24.91	c 17.8s |       9 |    11317 |     8406 |   220574      0 |    15053 |    19980
26.99/27.02	c 19.9s |       9 |    12705 |     9506 |   220574      0 |    15053 |    19980
29.09/29.17	c 22.0s |       9 |    14083 |    10606 |   220574      0 |    15053 |    19980
31.09/31.10	c 24.0s |      10 |    15079 |    11361 |   242632      0 |    15053 |    19980
33.10/33.17	c 26.0s |      10 |    16121 |    12161 |   242632      0 |    15053 |    19980
35.19/35.28	c 28.1s |      10 |    17272 |    13061 |   242632      0 |    15053 |    19980
37.29/37.35	c 30.2s |      10 |    18389 |    13961 |   242632      0 |    15053 |    19980
39.39/39.47	c 32.3s |      10 |    19566 |    14861 |   242632      0 |    15053 |    19980
41.39/41.49	c 34.4s |      10 |    20846 |    15861 |   242632      0 |    15053 |    19980
43.49/43.52	c 36.4s |      10 |    21919 |    16761 |   242632      0 |    15053 |    19980
44.29/44.39	c 37.3s |      11 |    22418 |    17144 |   266896      0 |    15053 |    19980
46.59/46.60	c 39.5s |      11 |    23709 |    18044 |   266896      0 |    15053 |    19980
48.79/48.84	c 41.7s |      11 |    25013 |    19044 |   266896      0 |    15053 |    19980
50.99/51.05	c 43.9s |      11 |    26357 |    20044 |   266896      0 |    15053 |    19980
53.08/53.12	c 46.0s |      11 |    27414 |    20844 |   266896      0 |    15053 |    19980
55.09/55.18	c 48.0s |      11 |    28426 |    21644 |   266896      0 |    15053 |    19980
57.19/57.21	c 50.1s |      11 |    29264 |    22344 |   266896      0 |    15053 |    19980
59.28/59.38	c 52.2s |      11 |    30246 |    23144 |   266896      0 |    15053 |    19980
61.38/61.44	c 54.3s |      11 |    31084 |    23844 |   266896      0 |    15053 |    19980
63.48/63.54	c 56.4s |      11 |    31902 |    24544 |   266896      0 |    15053 |    19980
65.48/65.58	c 58.4s |      11 |    32601 |    25144 |   266896      0 |    15053 |    19980
67.68/67.75	c 60.6s |      12 |    33455 |    25819 |   293586      0 |    15053 |    19980
69.78/69.89	c 62.8s |      12 |    34252 |    26419 |   293586      0 |    15053 |    19980
71.88/71.93	c 64.8s |      12 |    35092 |    27119 |   293586      0 |    15053 |    19980
73.88/73.98	c 66.8s |      12 |    36158 |    27919 |   293586      0 |    15053 |    19980
76.18/76.23	c 69.1s |      12 |    37080 |    28719 |   293586      0 |    15053 |    19980
78.38/78.43	c 71.3s |      12 |    37893 |    29419 |   293586      0 |    15053 |    19980
80.58/80.63	c 73.5s |      12 |    38757 |    30119 |   293586      0 |    15053 |    19980
82.59/82.69	c 75.5s |      12 |    39611 |    30819 |   293586      0 |    15053 |    19980
84.69/84.79	c 77.6s |      12 |    40460 |    31519 |   293586      0 |    15053 |    19980
86.99/87.02	c 79.9s |      12 |    41310 |    32219 |   293586      0 |    15053 |    19980
89.28/89.39	c 82.3s |      12 |    42186 |    32919 |   293586      0 |    15053 |    19980
91.58/91.60	c 84.5s |      12 |    43063 |    33619 |   293586      0 |    15053 |    19980
93.68/93.75	c 86.6s |      12 |    43807 |    34219 |   293586      0 |    15053 |    19980
95.88/95.97	c 88.8s |      12 |    44519 |    34819 |   293586      0 |    15053 |    19980
97.98/98.02	c 90.9s |      12 |    45141 |    35319 |   293586      0 |    15053 |    19980
100.28/100.32	c 93.2s |      12 |    45928 |    35919 |   293586      0 |    15053 |    19980
102.28/102.37	c 95.2s |      12 |    46751 |    36519 |   293586      0 |    15053 |    19980
104.58/104.60	c 97.5s |      12 |    47681 |    37219 |   293586      0 |    15053 |    19980
106.78/106.85	c 99.7s |      12 |    48491 |    37819 |   293586      0 |    15053 |    19980
109.07/109.10	c  101s |      12 |    49355 |    38519 |   293586      0 |    15053 |    19980
110.17/110.23	c  103s |      13 |    49717 |    38832 |   322945      0 |    15053 |    19980
112.47/112.51	c  105s |      13 |    50409 |    39332 |   322945      0 |    15053 |    19980
114.48/114.54	c  107s |      13 |    51128 |    39932 |   322945      0 |    15053 |    19980
116.58/116.67	c  109s |      13 |    51919 |    40532 |   322945      0 |    15053 |    19980
118.67/118.78	c  111s |      13 |    52668 |    41132 |   322945      0 |    15053 |    19980
120.87/120.97	c  113s |      13 |    53428 |    41732 |   322945      0 |    15053 |    19980
122.97/123.08	c  115s |      13 |    54191 |    42332 |   322945      0 |    15053 |    19980
125.17/125.21	c  118s |      13 |    54941 |    42932 |   322945      0 |    15053 |    19980
127.27/127.34	c  120s |      13 |    55685 |    43532 |   322945      0 |    15053 |    19980
129.27/129.36	c  122s |      13 |    56306 |    44032 |   322945      0 |    15053 |    19980
131.37/131.44	c  124s |      13 |    57058 |    44632 |   322945      0 |    15053 |    19980
133.47/133.52	c  126s |      13 |    57677 |    45132 |   322945      0 |    15053 |    19980
135.67/135.70	c  128s |      13 |    58290 |    45632 |   322945      0 |    15053 |    19980
137.87/137.99	c  130s |      13 |    58920 |    46132 |   322945      0 |    15053 |    19980
140.17/140.24	c  133s |      13 |    59508 |    46632 |   322945      0 |    15053 |    19980
142.57/142.64	c  135s |      13 |    60251 |    47232 |   322945      0 |    15053 |    19980
144.77/144.88	c  137s |      13 |    60843 |    47732 |   322945      0 |    15053 |    19980
147.07/147.16	c  140s |      13 |    61459 |    48232 |   322945      0 |    15053 |    19980
149.27/149.32	c  142s |      13 |    62098 |    48732 |   322945      0 |    15053 |    19980
151.37/151.49	c  144s |      13 |    62740 |    49232 |   322945      0 |    15053 |    19980
153.66/153.77	c  146s |      13 |    63314 |    49732 |   322945      0 |    15053 |    19980
155.76/155.82	c  148s |      13 |    63923 |    50232 |   322945      0 |    15053 |    19980
157.96/158.02	c  150s |      13 |    64512 |    50732 |   322945      0 |    15053 |    19980
160.16/160.25	c  153s |      13 |    65167 |    51232 |   322945      0 |    15053 |    19980
162.66/162.74	c  155s |      13 |    65748 |    51732 |   322945      0 |    15053 |    19980
164.86/164.96	c  157s |      13 |    66345 |    52232 |   322945      0 |    15053 |    19980
167.27/167.35	c  160s |      13 |    66934 |    52732 |   322945      0 |    15053 |    19980
169.47/169.50	c  162s |      13 |    67407 |    53132 |   322945      0 |    15053 |    19980
171.57/171.69	c  164s |      13 |    67885 |    53532 |   322945      0 |    15053 |    19980
173.77/173.85	c  166s |      13 |    68347 |    53932 |   322945      0 |    15053 |    19980
175.97/176.07	c  168s |      13 |    68801 |    54332 |   322945      0 |    15053 |    19980
178.36/178.41	c  171s |      13 |    69284 |    54732 |   322945      0 |    15053 |    19980
180.47/180.57	c  173s |      13 |    69733 |    55132 |   322945      0 |    15053 |    19980
182.67/182.77	c  175s |      13 |    70206 |    55532 |   322945      0 |    15053 |    19980
184.96/185.03	c  177s |      13 |    70688 |    55932 |   322945      0 |    15053 |    19980
187.07/187.17	c  180s |      13 |    71165 |    56332 |   322945      0 |    15053 |    19980
189.36/189.43	c  182s |      13 |    71779 |    56832 |   322945      0 |    15053 |    19980
191.56/191.65	c  184s |      13 |    72419 |    57332 |   322945      0 |    15053 |    19980
193.86/193.92	c  186s |      13 |    73047 |    57832 |   322945      0 |    15053 |    19980
196.06/196.14	c  189s |      13 |    73681 |    58332 |   355240      0 |    15053 |    19980
196.16/196.24	c  189s |      14 |    73712 |    58352 |   355240      0 |    15053 |    19980
198.26/198.34	c  191s |      14 |    74158 |    58652 |   355240      0 |    15053 |    19980
200.46/200.54	c  193s |      14 |    74757 |    59152 |   355240      0 |    15053 |    19980
202.46/202.56	c  195s |      14 |    75376 |    59652 |   355240      0 |    15053 |    19980
204.56/204.61	c  197s |      14 |    76038 |    60152 |   355240      0 |    15053 |    19980
206.66/206.73	c  199s |      14 |    76914 |    60752 |   355240      0 |    15053 |    19980
208.96/209.06	c  201s |      14 |    77528 |    61252 |   355240      0 |    15053 |    19980
211.16/211.27	c  204s |      14 |    78206 |    61752 |   355240      0 |    15053 |    19980
213.36/213.50	c  206s |      14 |    78848 |    62252 |   355240      0 |    15053 |    19980
215.56/215.61	c  208s |      14 |    79431 |    62752 |   355240      0 |    15053 |    19980
217.55/217.66	c  210s |      14 |    80043 |    63252 |   355240      0 |    15053 |    19980
219.65/219.80	c  212s |      14 |    80650 |    63752 |   355240      0 |    15053 |    19980
221.75/221.85	c  214s |      14 |    81242 |    64252 |   355240      0 |    15053 |    19980
224.36/224.41	c  217s |      14 |    81877 |    64752 |   355240      0 |    15053 |    19980
226.45/226.59	c  219s |      14 |    82474 |    65252 |   355240      0 |    15053 |    19980
228.65/228.72	c  221s |      14 |    83128 |    65752 |   355240      0 |    15053 |    19980
230.85/230.96	c  223s |      14 |    83763 |    66252 |   355240      0 |    15053 |    19980
233.05/233.19	c  226s |      14 |    84431 |    66752 |   355240      0 |    15053 |    19980
235.46/235.53	c  228s |      14 |    85019 |    67252 |   355240      0 |    15053 |    19980
237.85/237.90	c  230s |      14 |    85759 |    67852 |   355240      0 |    15053 |    19980
240.35/240.43	c  233s |      14 |    86456 |    68452 |   355240      0 |    15053 |    19980
242.55/242.66	c  235s |      14 |    87037 |    68952 |   355240      0 |    15053 |    19980
244.75/244.81	c  237s |      14 |    87723 |    69452 |   355240      0 |    15053 |    19980
247.05/247.13	c  239s |      14 |    88394 |    69952 |   355240      0 |    15053 |    19980
249.45/249.52	c  242s |      14 |    89019 |    70452 |   355240      0 |    15053 |    19980
251.55/251.62	c  244s |      14 |    89505 |    70852 |   355240      0 |    15053 |    19980
253.55/253.65	c  246s |      14 |    90020 |    71252 |   355240      0 |    15053 |    19980
255.55/255.67	c  248s |      14 |    90555 |    71652 |   355240      0 |    15053 |    19980
257.55/257.69	c  250s |      14 |    91017 |    72052 |   355240      0 |    15053 |    19980
259.75/259.86	c  252s |      14 |    91502 |    72452 |   355240      0 |    15053 |    19980
261.85/261.98	c  254s |      14 |    92005 |    72852 |   355240      0 |    15053 |    19980
264.05/264.13	c  256s |      14 |    92479 |    73252 |   355240      0 |    15053 |    19980
266.25/266.34	c  259s |      14 |    92952 |    73652 |   355240      0 |    15053 |    19980
268.54/268.69	c  261s |      14 |    93593 |    74152 |   355240      0 |    15053 |    19980
270.94/271.03	c  263s |      14 |    94223 |    74652 |   355240      0 |    15053 |    19980
273.34/273.41	c  266s |      14 |    94832 |    75152 |   355240      0 |    15053 |    19980
275.74/275.83	c  268s |      14 |    95442 |    75652 |   355240      0 |    15053 |    19980
277.94/278.05	c  270s |      14 |    95958 |    76052 |   355240      0 |    15053 |    19980
280.24/280.30	c  273s |      14 |    96428 |    76452 |   355240      0 |    15053 |    19980
282.44/282.52	c  275s |      14 |    96924 |    76852 |   355240      0 |    15053 |    19980
284.54/284.60	c  277s |      14 |    97257 |    77152 |   355240      0 |    15053 |    19980
287.05/287.12	c  279s |      14 |    97743 |    77552 |   355240      0 |    15053 |    19980
289.64/289.73	c  282s |      14 |    98216 |    77952 |   355240      0 |    15053 |    19980
292.14/292.29	c  285s |      14 |    98675 |    78352 |   355240      0 |    15053 |    19980
294.34/294.40	c  287s |      14 |    99182 |    78752 |   355240      0 |    15053 |    19980
296.64/296.73	c  289s |      14 |    99674 |    79152 |   355240      0 |    15053 |    19980
298.94/299.05	c  291s |      14 |   100141 |    79552 |   355240      0 |    15053 |    19980
301.45/301.52	c  294s |      14 |   100605 |    79952 |   355240      0 |    15053 |    19980
303.94/304.00	c  296s |      14 |   101068 |    80352 |   355240      0 |    15053 |    19980
306.35/306.45	c  299s |      14 |   101514 |    80752 |   355240      0 |    15053 |    19980
308.75/308.85	c  301s |      14 |   101987 |    81152 |   355240      0 |    15053 |    19980
311.05/311.19	c  304s |      14 |   102452 |    81552 |   355240      0 |    15053 |    19980
313.25/313.35	c  306s |      14 |   102967 |    81952 |   355240      0 |    15053 |    19980
315.75/315.85	c  308s |      14 |   103463 |    82352 |   355240      0 |    15053 |    19980
318.24/318.34	c  311s |      14 |   103935 |    82752 |   355240      0 |    15053 |    19980
320.64/320.72	c  313s |      14 |   104398 |    83152 |   355240      0 |    15053 |    19980
322.74/322.80	c  315s |      14 |   104751 |    83452 |   355240      0 |    15053 |    19980
324.84/324.94	c  317s |      14 |   105103 |    83752 |   355240      0 |    15053 |    19980
327.54/327.63	c  320s |      14 |   105577 |    84152 |   355240      0 |    15053 |    19980
329.54/329.67	c  322s |      14 |   105927 |    84452 |   355240      0 |    15053 |    19980
332.15/332.25	c  325s |      14 |   106376 |    84852 |   355240      0 |    15053 |    19980
334.64/334.79	c  327s |      14 |   106840 |    85252 |   355240      0 |    15053 |    19980
337.04/337.16	c  330s |      14 |   107335 |    85652 |   355240      0 |    15053 |    19980
339.54/339.68	c  332s |      14 |   107796 |    86052 |   355240      0 |    15053 |    19980
342.15/342.23	c  335s |      14 |   108258 |    86452 |   355240      0 |    15053 |    19980
344.74/344.84	c  337s |      14 |   108730 |    86852 |   355240      0 |    15053 |    19980
347.24/347.32	c  340s |      14 |   109188 |    87252 |   390765      0 |    15053 |    19980
349.34/349.49	c  342s |      15 |   109655 |    87632 |   390765      0 |    15053 |    19980
351.84/351.97	c  344s |      15 |   109935 |    87832 |   390765      0 |    15053 |    19980
354.15/354.27	c  347s |      15 |   110425 |    88232 |   390765      0 |    15053 |    19980
356.45/356.57	c  349s |      15 |   110926 |    88632 |   390765      0 |    15053 |    19980
358.74/358.89	c  351s |      15 |   111488 |    89032 |   390765      0 |    15053 |    19980
361.34/361.41	c  354s |      15 |   112013 |    89432 |   390765      0 |    15053 |    19980
363.34/363.45	c  356s |      15 |   112377 |    89732 |   390765      0 |    15053 |    19980
365.84/365.96	c  358s |      15 |   112862 |    90132 |   390765      0 |    15053 |    19980
368.44/368.55	c  361s |      15 |   113397 |    90532 |   390765      0 |    15053 |    19980
370.74/370.81	c  363s |      15 |   113921 |    90932 |   390765      0 |    15053 |    19980
373.14/373.25	c  366s |      15 |   114448 |    91332 |   390765      0 |    15053 |    19980
375.43/375.52	c  368s |      15 |   115089 |    91832 |   390765      0 |    15053 |    19980
377.83/377.99	c  370s |      15 |   115734 |    92332 |   390765      0 |    15053 |    19980
380.03/380.18	c  373s |      15 |   116248 |    92732 |   390765      0 |    15053 |    19980
382.33/382.41	c  375s |      15 |   116772 |    93132 |   390765      0 |    15053 |    19980
384.53/384.67	c  377s |      15 |   117317 |    93532 |   390765      0 |    15053 |    19980
386.83/386.92	c  379s |      15 |   117891 |    93932 |   390765      0 |    15053 |    19980
388.93/389.02	c  381s |      15 |   118400 |    94332 |   390765      0 |    15053 |    19980
391.33/391.43	c  384s |      15 |   118930 |    94732 |   390765      0 |    15053 |    19980
393.53/393.68	c  386s |      15 |   119461 |    95132 |   390765      0 |    15053 |    19980
395.94/396.01	c  388s |      15 |   119957 |    95532 |   390765      0 |    15053 |    19980
397.93/398.05	c  390s |      15 |   120327 |    95832 |   390765      0 |    15053 |    19980
400.53/400.64	c  393s |      15 |   120866 |    96232 |   390765      0 |    15053 |    19980
402.93/403.08	c  395s |      15 |   121353 |    96632 |   390765      0 |    15053 |    19980
405.43/405.59	c  398s |      15 |   121818 |    97032 |   390765      0 |    15053 |    19980
407.93/408.06	c  400s |      15 |   122349 |    97432 |   390765      0 |    15053 |    19980
410.53/410.67	c  403s |      15 |   122871 |    97832 |   390765      0 |    15053 |    19980
412.93/413.07	c  405s |      15 |   123462 |    98232 |   390765      0 |    15053 |    19980
415.43/415.51	c  408s |      15 |   123940 |    98632 |   390765      0 |    15053 |    19980
417.63/417.70	c  410s |      15 |   124300 |    98932 |   390765      0 |    15053 |    19980
419.83/419.94	c  412s |      15 |   124647 |    99232 |   390765      0 |    15053 |    19980
421.93/422.04	c  414s |      15 |   124990 |    99532 |   390765      0 |    15053 |    19980
424.23/424.32	c  417s |      15 |   125492 |    99932 |   390765      0 |    15053 |    19980
426.33/426.45	c  419s |      15 |   126019 |   100332 |   390765      0 |    15053 |    19980
428.93/429.00	c  421s |      15 |   126510 |   100732 |   390765      0 |    15053 |    19980
430.93/431.02	c  423s |      15 |   126883 |   101032 |   390765      0 |    15053 |    19980
433.03/433.16	c  426s |      15 |   127251 |   101332 |   390765      0 |    15053 |    19980
435.63/435.71	c  428s |      15 |   127729 |   101732 |   390765      0 |    15053 |    19980
438.12/438.20	c  431s |      15 |   128235 |   102132 |   390765      0 |    15053 |    19980
440.72/440.81	c  433s |      15 |   128742 |   102532 |   390765      0 |    15053 |    19980
442.82/442.97	c  435s |      15 |   129072 |   102832 |   390765      0 |    15053 |    19980
444.82/444.97	c  437s |      15 |   129440 |   103132 |   390765      0 |    15053 |    19980
447.32/447.40	c  440s |      15 |   129928 |   103532 |   390765      0 |    15053 |    19980
449.52/449.66	c  442s |      15 |   130279 |   103832 |   390765      0 |    15053 |    19980
451.92/452.03	c  444s |      15 |   130798 |   104232 |   390765      0 |    15053 |    19980
454.12/454.24	c  447s |      15 |   131162 |   104532 |   390765      0 |    15053 |    19980
456.22/456.32	c  449s |      15 |   131489 |   104832 |   390765      0 |    15053 |    19980
458.32/458.46	c  451s |      15 |   131820 |   105132 |   390765      0 |    15053 |    19980
460.42/460.58	c  453s |      15 |   132180 |   105432 |   390765      0 |    15053 |    19980
462.62/462.74	c  455s |      15 |   132536 |   105732 |   390765      0 |    15053 |    19980
464.72/464.84	c  457s |      15 |   132921 |   106032 |   390765      0 |    15053 |    19980
466.92/467.00	c  459s |      15 |   133275 |   106332 |   390765      0 |    15053 |    19980
469.12/469.25	c  462s |      15 |   133780 |   106732 |   390765      0 |    15053 |    19980
471.72/471.88	c  464s |      15 |   134255 |   107132 |   390765      0 |    15053 |    19980
474.32/474.40	c  467s |      15 |   134784 |   107532 |   390765      0 |    15053 |    19980
476.82/476.92	c  469s |      15 |   135309 |   107932 |   390765      0 |    15053 |    19980
478.82/478.94	c  471s |      15 |   135663 |   108232 |   390765      0 |    15053 |    19980
481.32/481.45	c  474s |      15 |   136153 |   108632 |   390765      0 |    15053 |    19980
483.42/483.53	c  476s |      15 |   136539 |   108932 |   390765      0 |    15053 |    19980
485.82/485.98	c  478s |      15 |   136874 |   109232 |   390765      0 |    15053 |    19980
488.32/488.43	c  481s |      15 |   137415 |   109632 |   390765      0 |    15053 |    19980
490.91/491.07	c  483s |      15 |   137901 |   110032 |   390765      0 |    15053 |    19980
493.01/493.17	c  486s |      15 |   138286 |   110332 |   390765      0 |    15053 |    19980
495.21/495.37	c  488s |      15 |   138670 |   110632 |   390765      0 |    15053 |    19980
497.41/497.53	c  490s |      15 |   139029 |   110932 |   390765      0 |    15053 |    19980
499.61/499.70	c  492s |      15 |   139403 |   111232 |   390765      0 |    15053 |    19980
502.01/502.13	c  494s |      15 |   139766 |   111532 |   390765      0 |    15053 |    19980
504.41/504.53	c  497s |      15 |   140120 |   111832 |   390765      0 |    15053 |    19980
506.61/506.71	c  499s |      15 |   140486 |   112132 |   390765      0 |    15053 |    19980
508.91/509.02	c  501s |      15 |   140860 |   112432 |   390765      0 |    15053 |    19980
511.01/511.15	c  504s |      15 |   141221 |   112732 |   390765      0 |    15053 |    19980
513.21/513.36	c  506s |      15 |   141577 |   113032 |   390765      0 |    15053 |    19980
515.61/515.74	c  508s |      15 |   141965 |   113332 |   390765      0 |    15053 |    19980
518.12/518.26	c  511s |      15 |   142306 |   113632 |   390765      0 |    15053 |    19980
520.61/520.76	c  513s |      15 |   142649 |   113932 |   390765      0 |    15053 |    19980
523.21/523.32	c  516s |      15 |   142992 |   114232 |   390765      0 |    15053 |    19980
525.61/525.71	c  518s |      15 |   143363 |   114532 |   390765      0 |    15053 |    19980
527.81/527.97	c  520s |      15 |   143716 |   114832 |   390765      0 |    15053 |    19980
530.61/530.75	c  523s |      15 |   144175 |   115232 |   390765      0 |    15053 |    19980
533.21/533.36	c  526s |      15 |   144668 |   115632 |   390765      0 |    15053 |    19980
535.91/536.02	c  528s |      15 |   145134 |   116032 |   390765      0 |    15053 |    19980
538.11/538.22	c  531s |      15 |   145535 |   116332 |   390765      0 |    15053 |    19980
540.41/540.53	c  533s |      15 |   145915 |   116632 |   390765      0 |    15053 |    19980
542.70/542.81	c  535s |      15 |   146277 |   116932 |   390765      0 |    15053 |    19980
544.80/544.97	c  537s |      15 |   146672 |   117232 |   390765      0 |    15053 |    19980
547.40/547.51	c  540s |      15 |   147163 |   117632 |   390765      0 |    15053 |    19980
550.10/550.21	c  543s |      15 |   147686 |   118032 |   390765      0 |    15053 |    19980
552.40/552.57	c  545s |      15 |   148036 |   118332 |   390765      0 |    15053 |    19980
554.70/554.89	c  547s |      15 |   148383 |   118632 |   390765      0 |    15053 |    19980
557.20/557.30	c  550s |      15 |   148737 |   118932 |   390765      0 |    15053 |    19980
559.50/559.67	c  552s |      15 |   149229 |   119332 |   390765      0 |    15053 |    19980
561.60/561.74	c  554s |      15 |   149591 |   119632 |   390765      0 |    15053 |    19980
563.70/563.82	c  556s |      15 |   149951 |   119932 |   390765      0 |    15053 |    19980
566.00/566.11	c  558s |      15 |   150327 |   120232 |   390765      0 |    15053 |    19980
568.00/568.16	c  561s |      15 |   150692 |   120532 |   390765      0 |    15053 |    19980
570.50/570.65	c  563s |      15 |   151055 |   120832 |   390765      0 |    15053 |    19980
572.80/572.95	c  565s |      15 |   151432 |   121132 |   390765      0 |    15053 |    19980
575.30/575.42	c  568s |      15 |   151771 |   121432 |   390765      0 |    15053 |    19980
577.60/577.74	c  570s |      15 |   152142 |   121732 |   390765      0 |    15053 |    19980
579.80/579.98	c  572s |      15 |   152488 |   122032 |   390765      0 |    15053 |    19980
581.90/582.06	c  574s |      15 |   152858 |   122332 |   390765      0 |    15053 |    19980
584.20/584.31	c  577s |      15 |   153204 |   122632 |   390765      0 |    15053 |    19980
586.70/586.81	c  579s |      15 |   153570 |   122932 |   390765      0 |    15053 |    19980
588.90/589.08	c  581s |      15 |   153971 |   123232 |   390765      0 |    15053 |    19980
591.30/591.43	c  584s |      15 |   154333 |   123532 |   390765      0 |    15053 |    19980
593.29/593.44	c  586s |      15 |   154711 |   123832 |   390765      0 |    15053 |    19980
595.39/595.57	c  588s |      15 |   155061 |   124132 |   390765      0 |    15053 |    19980
597.59/597.73	c  590s |      15 |   155422 |   124432 |   390765      0 |    15053 |    19980
599.99/600.11	c  592s |      15 |   155766 |   124732 |   390765      0 |    15053 |    19980
602.29/602.48	c  595s |      15 |   156109 |   125032 |   390765      0 |    15053 |    19980
604.59/604.78	c  597s |      15 |   156457 |   125332 |   390765      0 |    15053 |    19980
607.10/607.24	c  600s |      15 |   156814 |   125632 |   390765      0 |    15053 |    19980
609.69/609.87	c  602s |      15 |   157150 |   125932 |   390765      0 |    15053 |    19980
612.39/612.50	c  605s |      15 |   157529 |   126232 |   390765      0 |    15053 |    19980
614.90/615.07	c  607s |      15 |   157890 |   126532 |   390765      0 |    15053 |    19980
617.29/617.47	c  610s |      15 |   158241 |   126832 |   390765      0 |    15053 |    19980
619.89/620.05	c  612s |      15 |   158596 |   127132 |   390765      0 |    15053 |    19980
622.60/622.72	c  615s |      15 |   158953 |   127432 |   390765      0 |    15053 |    19980
624.80/624.98	c  617s |      15 |   159326 |   127732 |   390765      0 |    15053 |    19980
627.09/627.20	c  620s |      15 |   159697 |   128032 |   390765      0 |    15053 |    19980
629.69/629.80	c  622s |      15 |   160197 |   128432 |   390765      0 |    15053 |    19980
631.79/631.93	c  624s |      15 |   160574 |   128732 |   390765      0 |    15053 |    19980
634.49/634.64	c  627s |      15 |   161083 |   129132 |   390765      0 |    15053 |    19980
636.69/636.87	c  629s |      15 |   161429 |   129432 |   390765      0 |    15053 |    19980
639.39/639.52	c  632s |      15 |   161903 |   129832 |   390765      0 |    15053 |    19980
641.39/641.53	c  634s |      15 |   162295 |   130132 |   390765      0 |    15053 |    19980
643.89/644.01	c  636s |      15 |   162791 |   130532 |   390765      0 |    15053 |    19980
646.29/646.43	c  639s |      15 |   163297 |   130932 |   429842      0 |    15053 |    19980
648.89/649.10	c  641s |      15 |   163796 |   131332 |   429842      0 |    15053 |    19980
650.39/650.59	c  643s |      16 |   164058 |   131552 |   429842      0 |    15053 |    19980
653.39/653.55	c  646s |      16 |   164216 |   131652 |   429842      0 |    15053 |    19980
655.89/656.07	c  648s |      16 |   164747 |   132052 |   429842      0 |    15053 |    19980
657.99/658.17	c  651s |      16 |   165081 |   132352 |   429842      0 |    15053 |    19980
660.18/660.31	c  653s |      16 |   165420 |   132652 |   429842      0 |    15053 |    19980
662.68/662.83	c  655s |      16 |   165882 |   133052 |   429842      0 |    15053 |    19980
665.28/665.44	c  658s |      16 |   166376 |   133452 |   429842      0 |    15053 |    19980
667.28/667.49	c  660s |      16 |   166728 |   133752 |   429842      0 |    15053 |    19980
669.98/670.12	c  662s |      16 |   167196 |   134152 |   429842      0 |    15053 |    19980
672.18/672.36	c  665s |      16 |   167553 |   134452 |   429842      0 |    15053 |    19980
674.19/674.38	c  667s |      16 |   167927 |   134752 |   429842      0 |    15053 |    19980
676.39/676.58	c  669s |      16 |   168305 |   135052 |   429842      0 |    15053 |    19980
678.48/678.60	c  671s |      16 |   168677 |   135352 |   429842      0 |    15053 |    19980
680.58/680.76	c  673s |      16 |   169036 |   135652 |   429842      0 |    15053 |    19980
682.58/682.80	c  675s |      16 |   169399 |   135952 |   429842      0 |    15053 |    19980
685.19/685.34	c  678s |      16 |   169872 |   136352 |   429842      0 |    15053 |    19980
687.28/687.49	c  680s |      16 |   170238 |   136652 |   429842      0 |    15053 |    19980
689.98/690.11	c  682s |      16 |   170758 |   137052 |   429842      0 |    15053 |    19980
692.38/692.57	c  685s |      16 |   171129 |   137352 |   429842      0 |    15053 |    19980
694.98/695.18	c  688s |      16 |   171601 |   137752 |   429842      0 |    15053 |    19980
697.18/697.34	c  690s |      16 |   171934 |   138052 |   429842      0 |    15053 |    19980
699.18/699.39	c  692s |      16 |   172262 |   138352 |   429842      0 |    15053 |    19980
701.79/701.96	c  694s |      16 |   172759 |   138752 |   429842      0 |    15053 |    19980
704.38/704.51	c  697s |      16 |   173229 |   139152 |   429842      0 |    15053 |    19980
706.88/707.06	c  699s |      16 |   173716 |   139552 |   429842      0 |    15053 |    19980
709.28/709.42	c  702s |      16 |   174198 |   139952 |   429842      0 |    15053 |    19980
711.78/711.99	c  704s |      16 |   174652 |   140352 |   429842      0 |    15053 |    19980
713.88/714.01	c  706s |      16 |   174983 |   140652 |   429842      0 |    15053 |    19980
716.28/716.41	c  709s |      16 |   175460 |   141052 |   429842      0 |    15053 |    19980
718.48/718.63	c  711s |      16 |   175835 |   141352 |   429842      0 |    15053 |    19980
720.48/720.65	c  713s |      16 |   176204 |   141652 |   429842      0 |    15053 |    19980
723.17/723.35	c  716s |      16 |   176724 |   142052 |   429842      0 |    15053 |    19980
725.37/725.53	c  718s |      16 |   177091 |   142352 |   429842      0 |    15053 |    19980
727.37/727.54	c  720s |      16 |   177495 |   142652 |   429842      0 |    15053 |    19980
729.87/730.01	c  722s |      16 |   177970 |   143052 |   429842      0 |    15053 |    19980
732.59/732.75	c  725s |      16 |   178498 |   143452 |   429842      0 |    15053 |    19980
734.88/735.09	c  727s |      16 |   178864 |   143752 |   429842      0 |    15053 |    19980
737.08/737.29	c  730s |      16 |   179206 |   144052 |   429842      0 |    15053 |    19980
739.28/739.43	c  732s |      16 |   179579 |   144352 |   429842      0 |    15053 |    19980
741.78/741.98	c  734s |      16 |   179920 |   144652 |   429842      0 |    15053 |    19980
743.97/744.17	c  737s |      16 |   180334 |   144952 |   429842      0 |    15053 |    19980
746.07/746.28	c  739s |      16 |   180699 |   145252 |   429842      0 |    15053 |    19980
748.37/748.58	c  741s |      16 |   181082 |   145552 |   429842      0 |    15053 |    19980
750.67/750.81	c  743s |      16 |   181476 |   145852 |   429842      0 |    15053 |    19980
752.97/753.16	c  746s |      16 |   181880 |   146152 |   429842      0 |    15053 |    19980
755.07/755.28	c  748s |      16 |   182243 |   146452 |   429842      0 |    15053 |    19980
757.27/757.48	c  750s |      16 |   182588 |   146752 |   429842      0 |    15053 |    19980
759.57/759.78	c  752s |      16 |   182933 |   147052 |   429842      0 |    15053 |    19980
762.06/762.25	c  755s |      16 |   183409 |   147452 |   429842      0 |    15053 |    19980
764.16/764.33	c  757s |      16 |   183743 |   147752 |   429842      0 |    15053 |    19980
766.86/767.04	c  759s |      16 |   184266 |   148152 |   429842      0 |    15053 |    19980
768.96/769.18	c  762s |      16 |   184652 |   148452 |   429842      0 |    15053 |    19980
771.07/771.24	c  764s |      16 |   185022 |   148752 |   429842      0 |    15053 |    19980
773.17/773.31	c  766s |      16 |   185420 |   149052 |   429842      0 |    15053 |    19980
775.86/776.02	c  768s |      16 |   185896 |   149452 |   429842      0 |    15053 |    19980
777.96/778.14	c  770s |      16 |   186281 |   149752 |   429842      0 |    15053 |    19980
780.16/780.33	c  773s |      16 |   186663 |   150052 |   429842      0 |    15053 |    19980
782.36/782.52	c  775s |      16 |   187043 |   150352 |   429842      0 |    15053 |    19980
784.55/784.77	c  777s |      16 |   187399 |   150652 |   429842      0 |    15053 |    19980
786.75/786.97	c  779s |      16 |   187771 |   150952 |   429842      0 |    15053 |    19980
788.85/789.09	c  781s |      16 |   188136 |   151252 |   429842      0 |    15053 |    19980
791.05/791.27	c  784s |      16 |   188518 |   151552 |   429842      0 |    15053 |    19980
793.25/793.42	c  786s |      16 |   188887 |   151852 |   429842      0 |    15053 |    19980
795.45/795.62	c  788s |      16 |   189255 |   152152 |   429842      0 |    15053 |    19980
797.85/798.06	c  790s |      16 |   189665 |   152452 |   429842      0 |    15053 |    19980
800.35/800.52	c  793s |      16 |   190054 |   152752 |   429842      0 |    15053 |    19980
802.55/802.77	c  795s |      16 |   190417 |   153052 |   429842      0 |    15053 |    19980
804.85/805.05	c  797s |      16 |   190773 |   153352 |   429842      0 |    15053 |    19980
807.05/807.23	c  800s |      16 |   191126 |   153652 |   429842      0 |    15053 |    19980
809.35/809.50	c  802s |      16 |   191502 |   153952 |   429842      0 |    15053 |    19980
811.54/811.75	c  804s |      16 |   191847 |   154252 |   429842      0 |    15053 |    19980
813.95/814.17	c  807s |      16 |   192190 |   154552 |   429842      0 |    15053 |    19980
816.34/816.59	c  809s |      16 |   192552 |   154852 |   429842      0 |    15053 |    19980
818.84/819.02	c  811s |      16 |   192896 |   155152 |   429842      0 |    15053 |    19980
821.04/821.25	c  814s |      16 |   193242 |   155452 |   429842      0 |    15053 |    19980
823.33/823.57	c  816s |      16 |   193569 |   155752 |   429842      0 |    15053 |    19980
825.73/825.90	c  818s |      16 |   193910 |   156052 |   429842      0 |    15053 |    19980
828.14/828.30	c  821s |      16 |   194272 |   156352 |   429842      0 |    15053 |    19980
830.34/830.60	c  823s |      16 |   194649 |   156652 |   429842      0 |    15053 |    19980
832.73/832.90	c  825s |      16 |   194997 |   156952 |   429842      0 |    15053 |    19980
834.83/835.01	c  827s |      16 |   195377 |   157252 |   429842      0 |    15053 |    19980
837.03/837.28	c  830s |      16 |   195748 |   157552 |   429842      0 |    15053 |    19980
839.43/839.63	c  832s |      16 |   196110 |   157852 |   429842      0 |    15053 |    19980
841.83/842.03	c  834s |      16 |   196466 |   158152 |   429842      0 |    15053 |    19980
844.02/844.21	c  837s |      16 |   196850 |   158452 |   429842      0 |    15053 |    19980
846.32/846.55	c  839s |      16 |   197201 |   158752 |   429842      0 |    15053 |    19980
848.72/848.95	c  841s |      16 |   197550 |   159052 |   429842      0 |    15053 |    19980
851.23/851.42	c  844s |      16 |   197886 |   159352 |   429842      0 |    15053 |    19980
853.91/854.16	c  847s |      16 |   198227 |   159652 |   429842      0 |    15053 |    19980
856.11/856.37	c  849s |      16 |   198638 |   159952 |   429842      0 |    15053 |    19980
858.41/858.69	c  851s |      16 |   199179 |   160352 |   429842      0 |    15053 |    19980
860.81/861.05	c  853s |      16 |   199556 |   160652 |   429842      0 |    15053 |    19980
863.01/863.23	c  856s |      16 |   199934 |   160952 |   429842      0 |    15053 |    19980
865.11/865.38	c  858s |      16 |   200330 |   161252 |   429842      0 |    15053 |    19980
867.21/867.40	c  860s |      16 |   200747 |   161552 |   429842      0 |    15053 |    19980
869.71/869.95	c  862s |      16 |   201220 |   161952 |   429842      0 |    15053 |    19980
872.21/872.43	c  865s |      16 |   201559 |   162252 |   429842      0 |    15053 |    19980
874.20/874.49	c  867s |      16 |   201973 |   162552 |   429842      0 |    15053 |    19980
876.90/877.15	c  870s |      16 |   202467 |   162952 |   429842      0 |    15053 |    19980
879.10/879.36	c  872s |      16 |   202882 |   163252 |   429842      0 |    15053 |    19980
881.60/881.86	c  874s |      16 |   203271 |   163552 |   429842      0 |    15053 |    19980
884.30/884.58	c  877s |      16 |   203625 |   163852 |   429842      0 |    15053 |    19980
886.90/887.13	c  879s |      16 |   203990 |   164152 |   429842      0 |    15053 |    19980
889.50/889.71	c  882s |      16 |   204376 |   164452 |   429842      0 |    15053 |    19980
891.90/892.16	c  885s |      16 |   204745 |   164752 |   429842      0 |    15053 |    19980
894.10/894.37	c  887s |      16 |   205137 |   165052 |   429842      0 |    15053 |    19980
896.40/896.68	c  889s |      16 |   205492 |   165352 |   429842      0 |    15053 |    19980
899.09/899.35	c  892s |      16 |   205829 |   165652 |   429842      0 |    15053 |    19980
901.39/901.68	c  894s |      16 |   206187 |   165952 |   429842      0 |    15053 |    19980
903.59/903.82	c  896s |      16 |   206540 |   166252 |   429842      0 |    15053 |    19980
905.99/906.27	c  899s |      16 |   206877 |   166552 |   429842      0 |    15053 |    19980
908.29/908.51	c  901s |      16 |   207225 |   166852 |   429842      0 |    15053 |    19980
910.39/910.70	c  903s |      16 |   207607 |   167152 |   429842      0 |    15053 |    19980
913.18/913.40	c  906s |      16 |   207944 |   167452 |   429842      0 |    15053 |    19980
915.98/916.24	c  909s |      16 |   208283 |   167752 |   429842      0 |    15053 |    19980
918.68/918.99	c  911s |      16 |   208639 |   168052 |   429842      0 |    15053 |    19980
921.18/921.48	c  914s |      16 |   208991 |   168352 |   429842      0 |    15053 |    19980
923.67/923.96	c  916s |      16 |   209342 |   168652 |   429842      0 |    15053 |    19980
926.27/926.59	c  919s |      16 |   209684 |   168952 |   429842      0 |    15053 |    19980
929.07/929.39	c  922s |      16 |   210032 |   169252 |   429842      0 |    15053 |    19980
931.77/932.01	c  924s |      16 |   210389 |   169552 |   429842      0 |    15053 |    19980
934.07/934.36	c  927s |      16 |   210719 |   169852 |   429842      0 |    15053 |    19980
936.67/936.93	c  929s |      16 |   211072 |   170152 |   429842      0 |    15053 |    19980
939.07/939.38	c  932s |      16 |   211430 |   170452 |   429842      0 |    15053 |    19980
941.87/942.11	c  934s |      16 |   211784 |   170752 |   429842      0 |    15053 |    19980
944.46/944.77	c  937s |      16 |   212156 |   171052 |   429842      0 |    15053 |    19980
947.36/947.69	c  940s |      16 |   212505 |   171352 |   429842      0 |    15053 |    19980
950.06/950.31	c  943s |      16 |   212863 |   171652 |   429842      0 |    15053 |    19980
952.55/952.83	c  945s |      16 |   213207 |   171952 |   429842      0 |    15053 |    19980
955.35/955.65	c  948s |      16 |   213590 |   172252 |   429842      0 |    15053 |    19980
957.86/958.12	c  950s |      16 |   213967 |   172552 |   429842      0 |    15053 |    19980
960.75/961.05	c  953s |      16 |   214316 |   172852 |   429842      0 |    15053 |    19980
963.35/963.66	c  956s |      16 |   214691 |   173152 |   429842      0 |    15053 |    19980
965.85/966.18	c  959s |      16 |   215062 |   173452 |   429842      0 |    15053 |    19980
968.54/968.89	c  961s |      16 |   215401 |   173752 |   429842      0 |    15053 |    19980
971.44/971.75	c  964s |      16 |   215761 |   174052 |   429842      0 |    15053 |    19980
974.24/974.59	c  967s |      16 |   216126 |   174352 |   429842      0 |    15053 |    19980
976.94/977.28	c  970s |      16 |   216511 |   174652 |   429842      0 |    15053 |    19980
979.74/980.07	c  972s |      16 |   216855 |   174952 |   429842      0 |    15053 |    19980
982.53/982.88	c  975s |      16 |   217193 |   175252 |   429842      0 |    15053 |    19980
985.34/985.61	c  978s |      16 |   217537 |   175552 |   429842      0 |    15053 |    19980
987.83/988.15	c  981s |      16 |   217881 |   175852 |   429842      0 |    15053 |    19980
990.53/990.83	c  983s |      16 |   218264 |   176152 |   429842      0 |    15053 |    19980
992.82/993.16	c  986s |      16 |   218649 |   176452 |   429842      0 |    15053 |    19980
995.23/995.51	c  988s |      16 |   219002 |   176752 |   429842      0 |    15053 |    19980
997.62/997.95	c  990s |      16 |   219363 |   177052 |   429842      0 |    15053 |    19980
1000.12/1000.43	c  993s |      16 |   219757 |   177352 |   429842      0 |    15053 |    19980
1002.72/1003.04	c  995s |      16 |   220121 |   177652 |   429842      0 |    15053 |    19980
1005.02/1005.37	c  998s |      16 |   220505 |   177952 |   429842      0 |    15053 |    19980
1007.32/1007.65	c 1000s |      16 |   220904 |   178252 |   429842      0 |    15053 |    19980
1009.82/1010.13	c 1002s |      16 |   221313 |   178552 |   429842      0 |    15053 |    19980
1012.21/1012.56	c 1005s |      16 |   221679 |   178852 |   429842      0 |    15053 |    19980
1014.51/1014.81	c 1007s |      16 |   222028 |   179152 |   429842      0 |    15053 |    19980
1016.81/1017.12	c 1009s |      16 |   222396 |   179452 |   429842      0 |    15053 |    19980
1019.31/1019.61	c 1012s |      16 |   222765 |   179752 |   429842      0 |    15053 |    19980
1022.11/1022.40	c 1015s |      16 |   223157 |   180052 |   429842      0 |    15053 |    19980
1024.51/1024.89	c 1017s |      16 |   223740 |   180452 |   429842      0 |    15053 |    19980
1027.11/1027.45	c 1020s |      16 |   224156 |   180752 |   429842      0 |    15053 |    19980
1029.41/1029.76	c 1022s |      16 |   224518 |   181052 |   429842      0 |    15053 |    19980
1032.20/1032.57	c 1025s |      16 |   224909 |   181352 |   429842      0 |    15053 |    19980
1034.91/1035.29	c 1028s |      16 |   225335 |   181652 |   429842      0 |    15053 |    19980
1037.20/1037.57	c 1030s |      16 |   225716 |   181952 |   429842      0 |    15053 |    19980
1039.50/1039.82	c 1032s |      16 |   226105 |   182252 |   429842      0 |    15053 |    19980
1042.00/1042.30	c 1035s |      16 |   226497 |   182552 |   429842      0 |    15053 |    19980
1044.49/1044.82	c 1037s |      16 |   226874 |   182852 |   429842      0 |    15053 |    19980
1046.79/1047.10	c 1039s |      16 |   227278 |   183152 |   429842      0 |    15053 |    19980
1048.99/1049.38	c 1042s |      16 |   227671 |   183452 |   429842      0 |    15053 |    19980
1051.49/1051.81	c 1044s |      16 |   228040 |   183752 |   429842      0 |    15053 |    19980
1053.49/1053.86	c 1046s |      16 |   228287 |   183952 |   429842      0 |    15053 |    19980
1055.89/1056.25	c 1049s |      16 |   228659 |   184252 |   429842      0 |    15053 |    19980
1058.39/1058.74	c 1051s |      16 |   229073 |   184552 |   429842      0 |    15053 |    19980
1060.98/1061.35	c 1054s |      16 |   229454 |   184852 |   429842      0 |    15053 |    19980
1063.58/1063.99	c 1056s |      16 |   229802 |   185152 |   429842      0 |    15053 |    19980
1065.98/1066.36	c 1059s |      16 |   230165 |   185452 |   429842      0 |    15053 |    19980
1068.48/1068.87	c 1061s |      16 |   230535 |   185752 |   429842      0 |    15053 |    19980
1070.78/1071.10	c 1063s |      16 |   230899 |   186052 |   429842      0 |    15053 |    19980
1072.97/1073.37	c 1066s |      16 |   231274 |   186352 |   429842      0 |    15053 |    19980
1075.48/1075.85	c 1068s |      16 |   231629 |   186652 |   429842      0 |    15053 |    19980
1077.78/1078.14	c 1071s |      16 |   232021 |   186952 |   429842      0 |    15053 |    19980
1079.98/1080.32	c 1073s |      16 |   232385 |   187252 |   429842      0 |    15053 |    19980
1082.67/1083.00	c 1075s |      16 |   232929 |   187652 |   429842      0 |    15053 |    19980
1084.97/1085.31	c 1078s |      16 |   233255 |   187952 |   429842      0 |    15053 |    19980
1087.07/1087.48	c 1080s |      16 |   233660 |   188252 |   429842      0 |    15053 |    19980
1089.67/1090.00	c 1082s |      16 |   234037 |   188552 |   429842      0 |    15053 |    19980
1091.87/1092.22	c 1085s |      16 |   234409 |   188852 |   429842      0 |    15053 |    19980
1093.96/1094.38	c 1087s |      16 |   234783 |   189152 |   429842      0 |    15053 |    19980
1096.37/1096.75	c 1089s |      16 |   235163 |   189452 |   429842      0 |    15053 |    19980
1098.47/1098.82	c 1091s |      16 |   235432 |   189652 |   429842      0 |    15053 |    19980
1100.66/1101.01	c 1093s |      16 |   235789 |   189952 |   429842      0 |    15053 |    19980
1103.16/1103.50	c 1096s |      16 |   236151 |   190252 |   429842      0 |    15053 |    19980
1105.46/1105.88	c 1098s |      16 |   236525 |   190552 |   429842      0 |    15053 |    19980
1108.06/1108.47	c 1101s |      16 |   236897 |   190852 |   429842      0 |    15053 |    19980
1110.46/1110.88	c 1103s |      16 |   237276 |   191152 |   429842      0 |    15053 |    19980
1112.96/1113.35	c 1106s |      16 |   237616 |   191452 |   429842      0 |    15053 |    19980
1115.55/1115.97	c 1108s |      16 |   237953 |   191752 |   429842      0 |    15053 |    19980
1117.85/1118.29	c 1111s |      16 |   238312 |   192052 |   429842      0 |    15053 |    19980
1119.95/1120.32	c 1113s |      16 |   238649 |   192352 |   429842      0 |    15053 |    19980
1122.45/1122.80	c 1115s |      16 |   239067 |   192652 |   429842      0 |    15053 |    19980
1124.75/1125.17	c 1118s |      16 |   239446 |   192952 |   429842      0 |    15053 |    19980
1127.15/1127.52	c 1120s |      16 |   239848 |   193252 |   429842      0 |    15053 |    19980
1129.35/1129.79	c 1122s |      16 |   240196 |   193552 |   429842      0 |    15053 |    19980
1131.65/1132.09	c 1124s |      16 |   240563 |   193852 |   429842      0 |    15053 |    19980
1133.75/1134.15	c 1127s |      16 |   240930 |   194152 |   429842      0 |    15053 |    19980
1135.95/1136.33	c 1129s |      16 |   241260 |   194452 |   429842      0 |    15053 |    19980
1138.04/1138.44	c 1131s |      16 |   241608 |   194752 |   429842      0 |    15053 |    19980
1140.24/1140.69	c 1133s |      16 |   241968 |   195052 |   429842      0 |    15053 |    19980
1142.33/1142.76	c 1135s |      16 |   242376 |   195352 |   429842      0 |    15053 |    19980
1144.74/1145.11	c 1137s |      16 |   242762 |   195652 |   429842      0 |    15053 |    19980
1146.83/1147.21	c 1140s |      16 |   243139 |   195952 |   429842      0 |    15053 |    19980
1148.93/1149.32	c 1142s |      16 |   243493 |   196252 |   472827      0 |    15053 |    19980
1151.23/1151.61	c 1144s |      16 |   243863 |   196552 |   472827      0 |    15053 |    19980
1153.54/1153.98	c 1146s |      16 |   244216 |   196852 |   472827      0 |    15053 |    19980
1156.23/1156.63	c 1149s |      16 |   244689 |   197252 |   472827      0 |    15053 |    19980
1157.63/1158.02	c 1150s |      17 |   244900 |   197432 |   472827      0 |    15053 |    19980
1161.13/1161.59	c 1154s |      17 |   245068 |   197532 |   472827      0 |    15053 |    19980
1164.13/1164.50	c 1157s |      17 |   245508 |   197832 |   472827      0 |    15053 |    19980
1166.53/1166.95	c 1159s |      17 |   245941 |   198132 |   472827      0 |    15053 |    19980
1169.03/1169.46	c 1162s |      17 |   246341 |   198432 |   472827      0 |    15053 |    19980
1171.72/1172.18	c 1165s |      17 |   246776 |   198732 |   472827      0 |    15053 |    19980
1174.12/1174.59	c 1167s |      17 |   247194 |   199032 |   472827      0 |    15053 |    19980
1176.73/1177.17	c 1170s |      17 |   247586 |   199332 |   472827      0 |    15053 |    19980
1179.22/1179.60	c 1172s |      17 |   248125 |   199732 |   472827      0 |    15053 |    19980
1181.82/1182.23	c 1175s |      17 |   248630 |   200132 |   472827      0 |    15053 |    19980
1184.33/1184.73	c 1177s |      17 |   249000 |   200432 |   472827      0 |    15053 |    19980
1186.82/1187.27	c 1180s |      17 |   249395 |   200732 |   472827      0 |    15053 |    19980
1188.92/1189.30	c 1182s |      17 |   249641 |   200932 |   472827      0 |    15053 |    19980
1191.62/1192.00	c 1184s |      17 |   250032 |   201232 |   472827      0 |    15053 |    19980
1194.42/1194.80	c 1187s |      17 |   250401 |   201532 |   472827      0 |    15053 |    19980
1197.22/1197.69	c 1190s |      17 |   250755 |   201832 |   472827      0 |    15053 |    19980
1199.82/1200.28	c 1193s |      17 |   251155 |   202132 |   472827      0 |    15053 |    19980
1201.92/1202.40	c 1195s |      17 |   251513 |   202432 |   472827      0 |    15053 |    19980
1204.22/1204.63	c 1197s |      17 |   251892 |   202732 |   472827      0 |    15053 |    19980
1206.51/1206.90	c 1199s |      17 |   252268 |   203032 |   472827      0 |    15053 |    19980
1208.62/1209.04	c 1201s |      17 |   252616 |   203332 |   472827      0 |    15053 |    19980
1210.91/1211.31	c 1204s |      17 |   252982 |   203632 |   472827      0 |    15053 |    19980
1213.11/1213.54	c 1206s |      17 |   253396 |   203932 |   472827      0 |    15053 |    19980
1215.51/1215.90	c 1208s |      17 |   253754 |   204232 |   472827      0 |    15053 |    19980
1217.61/1218.03	c 1210s |      17 |   254155 |   204532 |   472827      0 |    15053 |    19980
1219.81/1220.29	c 1213s |      17 |   254524 |   204832 |   472827      0 |    15053 |    19980
1222.21/1222.67	c 1215s |      17 |   254902 |   205132 |   472827      0 |    15053 |    19980
1224.61/1225.03	c 1217s |      17 |   255269 |   205432 |   472827      0 |    15053 |    19980
1226.81/1227.28	c 1220s |      17 |   255626 |   205732 |   472827      0 |    15053 |    19980
1229.31/1229.70	c 1222s |      17 |   256021 |   206032 |   472827      0 |    15053 |    19980
1231.51/1231.93	c 1224s |      17 |   256398 |   206332 |   472827      0 |    15053 |    19980
1233.91/1234.33	c 1227s |      17 |   256762 |   206632 |   472827      0 |    15053 |    19980
1236.20/1236.60	c 1229s |      17 |   257111 |   206932 |   472827      0 |    15053 |    19980
1238.60/1239.05	c 1231s |      17 |   257482 |   207232 |   472827      0 |    15053 |    19980
1241.00/1241.45	c 1234s |      17 |   257855 |   207532 |   472827      0 |    15053 |    19980
1243.71/1244.12	c 1236s |      17 |   258207 |   207832 |   472827      0 |    15053 |    19980
1246.40/1246.84	c 1239s |      17 |   258568 |   208132 |   472827      0 |    15053 |    19980
1249.00/1249.44	c 1242s |      17 |   258925 |   208432 |   472827      0 |    15053 |    19980
1251.70/1252.18	c 1245s |      17 |   259269 |   208732 |   472827      0 |    15053 |    19980
1254.40/1254.85	c 1247s |      17 |   259651 |   209032 |   472827      0 |    15053 |    19980
1257.01/1257.48	c 1250s |      17 |   260026 |   209332 |   472827      0 |    15053 |    19980
1259.50/1259.96	c 1252s |      17 |   260382 |   209632 |   472827      0 |    15053 |    19980
1261.80/1262.26	c 1255s |      17 |   260750 |   209932 |   472827      0 |    15053 |    19980
1264.50/1264.90	c 1257s |      17 |   261123 |   210232 |   472827      0 |    15053 |    19980
1267.20/1267.65	c 1260s |      17 |   261514 |   210532 |   472827      0 |    15053 |    19980
1269.50/1269.92	c 1262s |      17 |   261876 |   210832 |   472827      0 |    15053 |    19980
1272.00/1272.45	c 1265s |      17 |   262247 |   211132 |   472827      0 |    15053 |    19980
1274.29/1274.77	c 1267s |      17 |   262606 |   211432 |   472827      0 |    15053 |    19980
1276.80/1277.25	c 1270s |      17 |   262957 |   211732 |   472827      0 |    15053 |    19980
1279.19/1279.64	c 1272s |      17 |   263331 |   212032 |   472827      0 |    15053 |    19980
1281.89/1282.33	c 1275s |      17 |   263674 |   212332 |   472827      0 |    15053 |    19980
1284.69/1285.11	c 1277s |      17 |   264063 |   212632 |   472827      0 |    15053 |    19980
1287.19/1287.69	c 1280s |      17 |   264458 |   212932 |   472827      0 |    15053 |    19980
1289.69/1290.11	c 1282s |      17 |   264854 |   213232 |   472827      0 |    15053 |    19980
1291.99/1292.45	c 1285s |      17 |   265229 |   213532 |   472827      0 |    15053 |    19980
1294.48/1294.91	c 1287s |      17 |   265657 |   213832 |   472827      0 |    15053 |    19980
1297.48/1298.00	c 1290s |      17 |   266022 |   214132 |   472827      0 |    15053 |    19980
1299.68/1300.20	c 1293s |      17 |   266294 |   214332 |   472827      0 |    15053 |    19980
1302.68/1303.15	c 1296s |      17 |   266653 |   214632 |   472827      0 |    15053 |    19980
1305.48/1305.95	c 1298s |      17 |   267024 |   214932 |   472827      0 |    15053 |    19980
1308.28/1308.79	c 1301s |      17 |   267385 |   215232 |   472827      0 |    15053 |    19980
1311.28/1311.73	c 1304s |      17 |   267738 |   215532 |   472827      0 |    15053 |    19980
1313.88/1314.34	c 1307s |      17 |   268094 |   215832 |   472827      0 |    15053 |    19980
1316.77/1317.22	c 1310s |      17 |   268460 |   216132 |   472827      0 |    15053 |    19980
1319.47/1319.95	c 1312s |      17 |   268853 |   216432 |   472827      0 |    15053 |    19980
1322.07/1322.55	c 1315s |      17 |   269213 |   216732 |   472827      0 |    15053 |    19980
1324.17/1324.67	c 1317s |      17 |   269627 |   217032 |   472827      0 |    15053 |    19980
1326.18/1326.68	c 1319s |      17 |   269980 |   217332 |   472827      0 |    15053 |    19980
1328.38/1328.89	c 1321s |      17 |   270402 |   217632 |   472827      0 |    15053 |    19980
1331.07/1331.58	c 1324s |      17 |   270774 |   217932 |   472827      0 |    15053 |    19980
1333.36/1333.89	c 1326s |      17 |   271152 |   218232 |   472827      0 |    15053 |    19980
1335.66/1336.18	c 1329s |      17 |   271516 |   218532 |   472827      0 |    15053 |    19980
1338.16/1338.67	c 1331s |      17 |   271903 |   218832 |   472827      0 |    15053 |    19980
1340.47/1340.99	c 1333s |      17 |   272265 |   219132 |   472827      0 |    15053 |    19980
1343.06/1343.51	c 1336s |      17 |   272607 |   219432 |   472827      0 |    15053 |    19980
1345.76/1346.23	c 1339s |      17 |   272972 |   219732 |   472827      0 |    15053 |    19980
1348.56/1349.03	c 1341s |      17 |   273317 |   220032 |   472827      0 |    15053 |    19980
1351.26/1351.77	c 1344s |      17 |   273694 |   220332 |   472827      0 |    15053 |    19980
1353.95/1354.44	c 1347s |      17 |   274080 |   220632 |   472827      0 |    15053 |    19980
1356.25/1356.71	c 1349s |      17 |   274422 |   220932 |   472827      0 |    15053 |    19980
1358.75/1359.23	c 1352s |      17 |   274769 |   221232 |   472827      0 |    15053 |    19980
1360.95/1361.46	c 1354s |      17 |   275124 |   221532 |   472827      0 |    15053 |    19980
1363.45/1363.94	c 1356s |      17 |   275464 |   221832 |   472827      0 |    15053 |    19980
1366.25/1366.79	c 1359s |      17 |   275798 |   222132 |   472827      0 |    15053 |    19980
1369.05/1369.51	c 1362s |      17 |   276162 |   222432 |   472827      0 |    15053 |    19980
1371.15/1371.67	c 1364s |      17 |   276388 |   222632 |   472827      0 |    15053 |    19980
1373.64/1374.19	c 1367s |      17 |   276744 |   222932 |   472827      0 |    15053 |    19980
1375.75/1376.28	c 1369s |      17 |   276974 |   223132 |   472827      0 |    15053 |    19980
1378.44/1378.98	c 1371s |      17 |   277302 |   223432 |   472827      0 |    15053 |    19980
1381.25/1381.71	c 1374s |      17 |   277665 |   223732 |   472827      0 |    15053 |    19980
1383.83/1384.38	c 1377s |      17 |   278035 |   224032 |   472827      0 |    15053 |    19980
1386.64/1387.20	c 1380s |      17 |   278410 |   224332 |   472827      0 |    15053 |    19980
1389.43/1389.94	c 1382s |      17 |   278785 |   224632 |   472827      0 |    15053 |    19980
1392.23/1392.76	c 1385s |      17 |   279170 |   224932 |   472827      0 |    15053 |    19980
1395.13/1395.61	c 1388s |      17 |   279525 |   225232 |   472827      0 |    15053 |    19980
1397.83/1398.36	c 1391s |      17 |   279891 |   225532 |   472827      0 |    15053 |    19980
1400.53/1401.06	c 1393s |      17 |   280243 |   225832 |   472827      0 |    15053 |    19980
1402.62/1403.15	c 1396s |      17 |   280495 |   226032 |   472827      0 |    15053 |    19980
1405.33/1405.89	c 1398s |      17 |   280870 |   226332 |   472827      0 |    15053 |    19980
1408.22/1408.77	c 1401s |      17 |   281219 |   226632 |   472827      0 |    15053 |    19980
1411.02/1411.50	c 1404s |      17 |   281570 |   226932 |   472827      0 |    15053 |    19980
1413.61/1414.15	c 1407s |      17 |   281958 |   227232 |   472827      0 |    15053 |    19980
1415.61/1416.16	c 1409s |      17 |   282176 |   227432 |   472827      0 |    15053 |    19980
1418.41/1418.99	c 1411s |      17 |   282538 |   227732 |   472827      0 |    15053 |    19980
1421.11/1421.66	c 1414s |      17 |   282902 |   228032 |   472827      0 |    15053 |    19980
1424.21/1424.73	c 1417s |      17 |   283267 |   228332 |   472827      0 |    15053 |    19980
1427.01/1427.55	c 1420s |      17 |   283635 |   228632 |   472827      0 |    15053 |    19980
1429.81/1430.34	c 1423s |      17 |   283986 |   228932 |   472827      0 |    15053 |    19980
1432.51/1433.09	c 1425s |      17 |   284337 |   229232 |   472827      0 |    15053 |    19980
1434.91/1435.50	c 1428s |      17 |   284688 |   229532 |   472827      0 |    15053 |    19980
1437.61/1438.19	c 1431s |      17 |   285020 |   229832 |   472827      0 |    15053 |    19980
1440.71/1441.23	c 1434s |      17 |   285362 |   230132 |   472827      0 |    15053 |    19980
1443.31/1443.88	c 1436s |      17 |   285710 |   230432 |   472827      0 |    15053 |    19980
1446.21/1446.77	c 1439s |      17 |   286058 |   230732 |   472827      0 |    15053 |    19980
1448.31/1448.88	c 1441s |      17 |   286296 |   230932 |   472827      0 |    15053 |    19980
1450.61/1451.18	c 1444s |      17 |   286531 |   231132 |   472827      0 |    15053 |    19980
1452.91/1453.44	c 1446s |      17 |   286753 |   231332 |   472827      0 |    15053 |    19980
1455.01/1455.57	c 1448s |      17 |   286989 |   231532 |   472827      0 |    15053 |    19980
1457.31/1457.81	c 1450s |      17 |   287207 |   231732 |   472827      0 |    15053 |    19980
1459.91/1460.48	c 1453s |      17 |   287574 |   232032 |   472827      0 |    15053 |    19980
1463.00/1463.51	c 1456s |      17 |   287934 |   232332 |   472827      0 |    15053 |    19980
1465.00/1465.56	c 1458s |      17 |   288179 |   232532 |   472827      0 |    15053 |    19980
1467.30/1467.80	c 1460s |      17 |   288396 |   232732 |   472827      0 |    15053 |    19980
1469.30/1469.82	c 1462s |      17 |   288652 |   232932 |   472827      0 |    15053 |    19980
1472.10/1472.64	c 1465s |      17 |   289046 |   233232 |   472827      0 |    15053 |    19980
1474.71/1475.26	c 1468s |      17 |   289413 |   233532 |   472827      0 |    15053 |    19980
1477.70/1478.25	c 1471s |      17 |   289758 |   233832 |   472827      0 |    15053 |    19980
1480.60/1481.18	c 1474s |      17 |   290101 |   234132 |   472827      0 |    15053 |    19980
1482.80/1483.33	c 1476s |      17 |   290347 |   234332 |   472827      0 |    15053 |    19980
1485.90/1486.48	c 1479s |      17 |   290683 |   234632 |   472827      0 |    15053 |    19980
1488.00/1488.57	c 1481s |      17 |   290916 |   234832 |   472827      0 |    15053 |    19980
1490.11/1490.66	c 1483s |      17 |   291156 |   235032 |   472827      0 |    15053 |    19980
1492.21/1492.78	c 1485s |      17 |   291416 |   235232 |   472827      0 |    15053 |    19980
1495.00/1495.57	c 1488s |      17 |   291775 |   235532 |   472827      0 |    15053 |    19980
1497.00/1497.57	c 1490s |      17 |   292005 |   235732 |   472827      0 |    15053 |    19980
1499.00/1499.58	c 1492s |      17 |   292236 |   235932 |   472827      0 |    15053 |    19980
1501.70/1502.22	c 1495s |      17 |   292580 |   236232 |   472827      0 |    15053 |    19980
1504.60/1505.13	c 1497s |      17 |   292935 |   236532 |   472827      0 |    15053 |    19980
1506.80/1507.38	c 1500s |      17 |   293153 |   236732 |   472827      0 |    15053 |    19980
1509.80/1510.36	c 1503s |      17 |   293503 |   237032 |   472827      0 |    15053 |    19980
1512.70/1513.25	c 1506s |      17 |   293828 |   237332 |   472827      0 |    15053 |    19980
1515.20/1515.71	c 1508s |      17 |   294052 |   237532 |   472827      0 |    15053 |    19980
1517.40/1518.00	c 1510s |      17 |   294290 |   237732 |   472827      0 |    15053 |    19980
1519.60/1520.20	c 1513s |      17 |   294517 |   237932 |   472827      0 |    15053 |    19980
1521.79/1522.33	c 1515s |      17 |   294727 |   238132 |   472827      0 |    15053 |    19980
1523.99/1524.59	c 1517s |      17 |   294960 |   238332 |   472827      0 |    15053 |    19980
1526.19/1526.71	c 1519s |      17 |   295186 |   238532 |   472827      0 |    15053 |    19980
1528.39/1529.00	c 1521s |      17 |   295403 |   238732 |   472827      0 |    15053 |    19980
1530.80/1531.34	c 1524s |      17 |   295637 |   238932 |   472827      0 |    15053 |    19980
1533.00/1533.52	c 1526s |      17 |   295896 |   239132 |   472827      0 |    15053 |    19980
1535.29/1535.89	c 1528s |      17 |   296139 |   239332 |   472827      0 |    15053 |    19980
1537.79/1538.37	c 1531s |      17 |   296387 |   239532 |   472827      0 |    15053 |    19980
1540.90/1541.47	c 1534s |      17 |   296651 |   239732 |   472827      0 |    15053 |    19980
1543.20/1543.76	c 1536s |      17 |   296875 |   239932 |   472827      0 |    15053 |    19980
1545.30/1545.82	c 1538s |      17 |   297117 |   240132 |   472827      0 |    15053 |    19980
1547.59/1548.11	c 1540s |      17 |   297359 |   240332 |   472827      0 |    15053 |    19980
1550.69/1551.22	c 1544s |      17 |   297702 |   240632 |   472827      0 |    15053 |    19980
1552.89/1553.49	c 1546s |      17 |   297925 |   240832 |   472827      0 |    15053 |    19980
1555.09/1555.66	c 1548s |      17 |   298162 |   241032 |   472827      0 |    15053 |    19980
1557.39/1557.95	c 1550s |      17 |   298426 |   241232 |   472827      0 |    15053 |    19980
1559.59/1560.15	c 1553s |      17 |   298643 |   241432 |   472827      0 |    15053 |    19980
1561.89/1562.43	c 1555s |      17 |   298867 |   241632 |   472827      0 |    15053 |    19980
1564.09/1564.69	c 1557s |      17 |   299108 |   241832 |   472827      0 |    15053 |    19980
1566.19/1566.78	c 1559s |      17 |   299347 |   242032 |   472827      0 |    15053 |    19980
1568.39/1568.93	c 1561s |      17 |   299572 |   242232 |   472827      0 |    15053 |    19980
1570.40/1571.00	c 1563s |      17 |   299811 |   242432 |   472827      0 |    15053 |    19980
1572.60/1573.19	c 1566s |      17 |   300031 |   242632 |   472827      0 |    15053 |    19980
1574.80/1575.37	c 1568s |      17 |   300256 |   242832 |   472827      0 |    15053 |    19980
1576.90/1577.45	c 1570s |      17 |   300470 |   243032 |   472827      0 |    15053 |    19980
1578.89/1579.47	c 1572s |      17 |   300708 |   243232 |   472827      0 |    15053 |    19980
1581.09/1581.68	c 1574s |      17 |   300952 |   243432 |   472827      0 |    15053 |    19980
1583.19/1583.77	c 1576s |      17 |   301181 |   243632 |   472827      0 |    15053 |    19980
1585.49/1586.01	c 1578s |      17 |   301433 |   243832 |   472827      0 |    15053 |    19980
1587.90/1588.41	c 1581s |      17 |   301653 |   244032 |   472827      0 |    15053 |    19980
1590.10/1590.66	c 1583s |      17 |   301881 |   244232 |   472827      0 |    15053 |    19980
1592.40/1592.97	c 1585s |      17 |   302111 |   244432 |   472827      0 |    15053 |    19980
1594.89/1595.48	c 1588s |      17 |   302347 |   244632 |   472827      0 |    15053 |    19980
1597.39/1597.99	c 1590s |      17 |   302569 |   244832 |   472827      0 |    15053 |    19980
1599.99/1600.54	c 1593s |      17 |   302802 |   245032 |   472827      0 |    15053 |    19980
1602.29/1602.89	c 1595s |      17 |   303027 |   245232 |   472827      0 |    15053 |    19980
1604.49/1605.05	c 1597s |      17 |   303269 |   245432 |   472827      0 |    15053 |    19980
1606.59/1607.11	c 1599s |      17 |   303505 |   245632 |   472827      0 |    15053 |    19980
1608.69/1609.30	c 1602s |      17 |   303739 |   245832 |   472827      0 |    15053 |    19980
1610.89/1611.42	c 1604s |      17 |   303973 |   246032 |   472827      0 |    15053 |    19980
1613.38/1613.90	c 1606s |      17 |   304209 |   246232 |   472827      0 |    15053 |    19980
1615.49/1616.09	c 1608s |      17 |   304453 |   246432 |   472827      0 |    15053 |    19980
1617.59/1618.13	c 1610s |      17 |   304677 |   246632 |   472827      0 |    15053 |    19980
1620.18/1620.78	c 1613s |      17 |   304944 |   246832 |   472827      0 |    15053 |    19980
1622.58/1623.10	c 1615s |      17 |   305167 |   247032 |   472827      0 |    15053 |    19980
1624.98/1625.54	c 1618s |      17 |   305427 |   247232 |   472827      0 |    15053 |    19980
1627.28/1627.81	c 1620s |      17 |   305671 |   247432 |   472827      0 |    15053 |    19980
1629.79/1630.36	c 1623s |      17 |   305912 |   247632 |   472827      0 |    15053 |    19980
1632.58/1633.15	c 1626s |      17 |   306130 |   247832 |   472827      0 |    15053 |    19980
1635.19/1635.75	c 1628s |      17 |   306374 |   248032 |   472827      0 |    15053 |    19980
1637.58/1638.12	c 1630s |      17 |   306629 |   248232 |   472827      0 |    15053 |    19980
1639.69/1640.27	c 1633s |      17 |   306846 |   248432 |   472827      0 |    15053 |    19980
1642.68/1643.25	c 1636s |      17 |   307173 |   248732 |   472827      0 |    15053 |    19980
1644.88/1645.47	c 1638s |      17 |   307419 |   248932 |   472827      0 |    15053 |    19980
1647.88/1648.42	c 1641s |      17 |   307761 |   249232 |   472827      0 |    15053 |    19980
1649.98/1650.57	c 1643s |      17 |   308000 |   249432 |   472827      0 |    15053 |    19980
1652.28/1652.87	c 1645s |      17 |   308224 |   249632 |   472827      0 |    15053 |    19980
1654.48/1655.01	c 1647s |      17 |   308482 |   249832 |   472827      0 |    15053 |    19980
1657.28/1657.85	c 1650s |      17 |   308862 |   250132 |   472827      0 |    15053 |    19980
1659.98/1660.57	c 1653s |      17 |   309233 |   250432 |   472827      0 |    15053 |    19980
1662.08/1662.64	c 1655s |      17 |   309462 |   250632 |   472827      0 |    15053 |    19980
1664.78/1665.37	c 1658s |      17 |   309801 |   250932 |   472827      0 |    15053 |    19980
1666.98/1667.57	c 1660s |      17 |   310026 |   251132 |   472827      0 |    15053 |    19980
1669.08/1669.66	c 1662s |      17 |   310253 |   251332 |   472827      0 |    15053 |    19980
1671.18/1671.71	c 1664s |      17 |   310495 |   251532 |   472827      0 |    15053 |    19980
1673.17/1673.79	c 1666s |      17 |   310771 |   251732 |   472827      0 |    15053 |    19980
1675.37/1675.93	c 1668s |      17 |   311014 |   251932 |   472827      0 |    15053 |    19980
1677.47/1678.02	c 1670s |      17 |   311226 |   252132 |   472827      0 |    15053 |    19980
1679.87/1680.46	c 1673s |      17 |   311456 |   252332 |   472827      0 |    15053 |    19980
1682.37/1682.91	c 1675s |      17 |   311711 |   252532 |   472827      0 |    15053 |    19980
1684.37/1684.96	c 1677s |      17 |   311958 |   252732 |   472827      0 |    15053 |    19980
1687.37/1687.98	c 1680s |      17 |   312334 |   253032 |   472827      0 |    15053 |    19980
1690.37/1690.97	c 1683s |      17 |   312715 |   253332 |   472827      0 |    15053 |    19980
1693.48/1694.01	c 1686s |      17 |   313072 |   253632 |   472827      0 |    15053 |    19980
1695.68/1696.24	c 1689s |      17 |   313291 |   253832 |   472827      0 |    15053 |    19980
1697.77/1698.36	c 1691s |      17 |   313564 |   254032 |   472827      0 |    15053 |    19980
1700.27/1700.82	c 1693s |      17 |   313784 |   254232 |   472827      0 |    15053 |    19980
1702.28/1702.83	c 1695s |      17 |   314012 |   254432 |   472827      0 |    15053 |    19980
1705.37/1705.97	c 1698s |      17 |   314421 |   254732 |   472827      0 |    15053 |    19980
1707.97/1708.53	c 1701s |      17 |   314644 |   254932 |   472827      0 |    15053 |    19980
1710.17/1710.73	c 1703s |      17 |   314871 |   255132 |   472827      0 |    15053 |    19980
1712.37/1712.90	c 1705s |      17 |   315110 |   255332 |   472827      0 |    15053 |    19980
1714.48/1715.05	c 1707s |      17 |   315334 |   255532 |   472827      0 |    15053 |    19980
1716.77/1717.30	c 1710s |      17 |   315567 |   255732 |   472827      0 |    15053 |    19980
1719.07/1719.64	c 1712s |      17 |   315796 |   255932 |   472827      0 |    15053 |    19980
1721.47/1722.04	c 1714s |      17 |   316012 |   256132 |   472827      0 |    15053 |    19980
1723.67/1724.25	c 1717s |      17 |   316241 |   256332 |   472827      0 |    15053 |    19980
1726.17/1726.76	c 1719s |      17 |   316465 |   256532 |   472827      0 |    15053 |    19980
1728.57/1729.17	c 1722s |      17 |   316705 |   256732 |   472827      0 |    15053 |    19980
1730.97/1731.55	c 1724s |      17 |   316944 |   256932 |   472827      0 |    15053 |    19980
1733.07/1733.70	c 1726s |      17 |   317178 |   257132 |   472827      0 |    15053 |    19980
1735.27/1735.84	c 1728s |      17 |   317399 |   257332 |   472827      0 |    15053 |    19980
1737.47/1738.07	c 1730s |      17 |   317627 |   257532 |   472827      0 |    15053 |    19980
1739.86/1740.41	c 1733s |      17 |   317880 |   257732 |   472827      0 |    15053 |    19980
1742.16/1742.79	c 1735s |      17 |   318113 |   257932 |   472827      0 |    15053 |    19980
1744.56/1745.10	c 1737s |      17 |   318352 |   258132 |   472827      0 |    15053 |    19980
1746.56/1747.14	c 1740s |      17 |   318597 |   258332 |   472827      0 |    15053 |    19980
1749.06/1749.64	c 1742s |      17 |   318826 |   258532 |   472827      0 |    15053 |    19980
1751.26/1751.84	c 1744s |      17 |   319054 |   258732 |   472827      0 |    15053 |    19980
1753.66/1754.21	c 1747s |      17 |   319280 |   258932 |   472827      0 |    15053 |    19980
1755.96/1756.50	c 1749s |      17 |   319534 |   259132 |   472827      0 |    15053 |    19980
1757.96/1758.57	c 1751s |      17 |   319749 |   259332 |   472827      0 |    15053 |    19980
1760.36/1760.91	c 1753s |      17 |   319975 |   259532 |   472827      0 |    15053 |    19980
1762.66/1763.21	c 1756s |      17 |   320202 |   259732 |   472827      0 |    15053 |    19980
1764.86/1765.47	c 1758s |      17 |   320432 |   259932 |   472827      0 |    15053 |    19980
1767.16/1767.72	c 1760s |      17 |   320657 |   260132 |   472827      0 |    15053 |    19980
1769.26/1769.86	c 1762s |      17 |   320894 |   260332 |   472827      0 |    15053 |    19980
1771.66/1772.22	c 1765s |      17 |   321145 |   260532 |   472827      0 |    15053 |    19980
1773.66/1774.24	c 1767s |      17 |   321371 |   260732 |   472827      0 |    15053 |    19980
1775.76/1776.37	c 1769s |      17 |   321602 |   260932 |   472827      0 |    15053 |    19980
1778.75/1779.39	c 1772s |      17 |   321966 |   261232 |   472827      0 |    15053 |    19980
1780.85/1781.40	c 1774s |      17 |   322198 |   261432 |   472827      0 |    15053 |    19980
1783.15/1783.74	c 1776s |      17 |   322412 |   261632 |   472827      0 |    15053 |    19980
1785.45/1786.00	c 1778s |      17 |   322632 |   261832 |   472827      0 |    15053 |    19980
1787.75/1788.39	c 1781s |      17 |   322875 |   262032 |   472827      0 |    15053 |    19980
1789.85/1790.40	c 1783s |      17 |   323105 |   262232 |   472827      0 |    15053 |    19980
1791.85/1792.49	c 1785s |      17 |   323344 |   262432 |   472827      0 |    15053 |    19980
1794.15/1794.78	c 1787s |      17 |   323591 |   262632 |   472827      0 |    15053 |    19980
1796.65/1797.21	c 1790s |      17 |   323819 |   262832 |   472827      0 |    15053 |    19980
1798.95/1799.57	c 1792s |      17 |   324075 |   263032 |   472827      0 |    15053 |    19980

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

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.47 3.21 4/174 2268
/proc/meminfo: memFree=30000764/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 2683 0 0 0 0 0 0 0 20 0 4 0 31209463 736555008 3045 33554432000 4194304 16246674 140735652714368 140735652713792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 180335 3054 441 2943 0 177229 0
[pid=2268/tid=2269] ppid=2262 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 772206592 3179 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 776400896 3198 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 780595200 3214 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100148 s]
/proc/loadavg: 2.25 2.47 3.21 4/174 2268
/proc/meminfo: memFree=30000764/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 26176 0 0 0 5 4 0 0 20 0 4 0 31209463 1333334016 26476 33554432000 4194304 16246674 140735652714368 140735652713680 7382286 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 325521 26488 799 2943 0 322415 0
[pid=2268/tid=2269] ppid=2262 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1333334016 26499 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1333334016 26510 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1333334016 26520 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200486 s]
/proc/loadavg: 2.25 2.47 3.21 4/174 2268
/proc/meminfo: memFree=30000764/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 45432 0 0 0 12 7 0 0 20 0 4 0 31209463 1344868352 46242 33554432000 4194304 16246674 140735652714368 140735652713680 7364372 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 328337 46242 799 2943 0 325231 0
[pid=2268/tid=2269] ppid=2262 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 46242 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 46242 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 46242 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300495 s]
/proc/loadavg: 2.25 2.47 3.21 4/174 2268
/proc/meminfo: memFree=30000764/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 54563 0 0 0 20 8 0 0 20 0 4 0 31209463 1344868352 55373 33554432000 4194304 16246674 140735652714368 140735652713680 4220495 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 328337 55373 800 2943 0 325231 0
[pid=2268/tid=2269] ppid=2262 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 55373 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 55373 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 55373 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.70038 s]
/proc/loadavg: 2.25 2.47 3.21 4/174 2268
/proc/meminfo: memFree=30000764/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 65789 0 0 0 59 10 0 0 20 0 4 0 31209463 1344868352 66599 33554432000 4194304 16246674 140735652714368 140735652713680 7367802 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 328337 66599 801 2943 0 325231 0
[pid=2268/tid=2269] ppid=2262 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 66599 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 66599 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 66599 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50038 s]
/proc/loadavg: 2.25 2.47 3.21 5/182 2276
/proc/meminfo: memFree=29393772/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 81935 0 0 0 136 13 0 0 20 0 4 0 31209463 1344868352 82745 33554432000 4194304 16246674 140735652714368 140735652712192 7392208 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 328337 82745 801 2943 0 325231 0
[pid=2268/tid=2269] ppid=2262 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 82745 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 82745 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1344868352 82745 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10038 s]
/proc/loadavg: 2.25 2.47 3.21 4/182 2276
/proc/meminfo: memFree=28535560/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1340996 CPUtime=3.08 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 275867 0 0 0 265 43 0 0 20 0 4 0 31209463 1373179904 276677 33554432000 4194304 16246674 140735652714368 140735652696256 13954940 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 335249 276677 839 2943 0 332143 0
[pid=2268/tid=2269] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276677 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276677 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276677 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1340996

[startup+6.3004 s]
/proc/loadavg: 2.22 2.46 3.20 4/182 2276
/proc/meminfo: memFree=27787192/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1340996 CPUtime=6.28 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 275937 0 0 0 585 43 0 0 20 0 4 0 31209463 1373179904 276747 33554432000 4194304 16246674 140735652714368 140735652713544 12371108 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 335249 276747 903 2943 0 332143 0
[pid=2268/tid=2269] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276747 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276747 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276747 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1340996

[startup+12.7004 s]
/proc/loadavg: 2.21 2.46 3.20 5/182 2276
/proc/meminfo: memFree=27787096/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1340996 CPUtime=12.68 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 275950 0 0 0 1225 43 0 0 20 0 4 0 31209463 1373179904 276760 33554432000 4194304 16246674 140735652714368 140735652696256 5712072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 335249 276760 915 2943 0 332143 0
[pid=2268/tid=2269] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276760 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276760 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276760 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1340996

[startup+25.5005 s]
/proc/loadavg: 2.23 2.45 3.18 4/183 2277
/proc/meminfo: memFree=27787748/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1340996 CPUtime=25.49 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 275951 0 0 0 2505 44 0 0 20 0 4 0 31209463 1373179904 276761 33554432000 4194304 16246674 140735652714368 140735652696256 5677888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 335249 276761 915 2943 0 332143 0
[pid=2268/tid=2269] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276761 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276761 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276761 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1340996

[startup+51.1005 s]
/proc/loadavg: 2.23 2.43 3.16 4/183 2278
/proc/meminfo: memFree=27787308/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1340996 CPUtime=51.09 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 275956 0 0 0 5065 44 0 0 20 0 4 0 31209463 1373179904 276766 33554432000 4194304 16246674 140735652714368 140735652697360 5522977 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 335249 276766 919 2943 0 332143 0
[pid=2268/tid=2269] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276766 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276766 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276766 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1340996

[startup+102.3 s]
/proc/loadavg: 2.16 2.38 3.10 4/183 2279
/proc/meminfo: memFree=27786132/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1340996 CPUtime=102.28 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 275956 0 0 0 10184 44 0 0 20 0 4 0 31209463 1373179904 276766 33554432000 4194304 16246674 140735652714368 140735652696256 13752941 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 335249 276766 919 2943 0 332143 0
[pid=2268/tid=2269] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276766 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276766 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1373179904 276766 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1340996


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

/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1416772

[startup+1302.3 s]
/proc/loadavg: 2.18 2.23 2.45 4/183 2309
/proc/meminfo: memFree=27706820/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1416772 CPUtime=1301.88 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 295117 0 0 0 130139 49 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140735652696256 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 354193 295805 919 2943 0 351087 0
[pid=2268/tid=2269] ppid=2262 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1416772

[startup+1362.3 s]
/proc/loadavg: 2.21 2.23 2.43 5/183 2310
/proc/meminfo: memFree=27706852/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1416772 CPUtime=1361.85 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 295161 0 0 0 136136 49 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140735652696256 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 354193 295805 919 2943 0 351087 0
[pid=2268/tid=2269] ppid=2262 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1416772

[startup+1422.3 s]
/proc/loadavg: 2.22 2.23 2.42 4/183 2311
/proc/meminfo: memFree=27707072/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1416772 CPUtime=1421.82 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 295206 0 0 0 142133 49 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140735652696256 13899088 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 354193 295805 919 2943 0 351087 0
[pid=2268/tid=2269] ppid=2262 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1416772

[startup+1482.3 s]
/proc/loadavg: 2.44 2.29 2.43 5/183 2312
/proc/meminfo: memFree=27707048/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1416772 CPUtime=1481.8 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 295210 0 0 0 148131 49 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140735652696256 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 354193 295805 919 2943 0 351087 0
[pid=2268/tid=2269] ppid=2262 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1450774528 295805 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1416772

[startup+1542.31 s]
/proc/loadavg: 2.42 2.31 2.43 4/183 2313
/proc/meminfo: memFree=27437728/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1686084 CPUtime=1541.8 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 362555 0 0 0 154119 61 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140735652696256 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 421521 363150 919 2943 0 418415 0
[pid=2268/tid=2269] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1686084

[startup+1602.3 s]
/proc/loadavg: 2.35 2.31 2.42 5/184 2318
/proc/meminfo: memFree=27437776/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1686084 CPUtime=1601.79 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 362555 0 0 0 160118 61 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140735652696256 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 421521 363150 919 2943 0 418415 0
[pid=2268/tid=2269] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1686084

[startup+1662.3 s]
/proc/loadavg: 2.30 2.31 2.41 5/183 2319
/proc/meminfo: memFree=27437788/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1686084 CPUtime=1661.78 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 362555 0 0 0 166117 61 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140735652696256 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 421521 363150 919 2943 0 418415 0
[pid=2268/tid=2269] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1686084

[startup+1722.3 s]
/proc/loadavg: 2.27 2.30 2.40 4/183 2320
/proc/meminfo: memFree=27437656/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1686084 CPUtime=1721.77 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 362555 0 0 0 172116 61 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140735652696256 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 421521 363150 919 2943 0 418415 0
[pid=2268/tid=2269] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1686084

[startup+1782.3 s]
/proc/loadavg: 2.25 2.29 2.38 4/183 2321
/proc/meminfo: memFree=27436904/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1686084 CPUtime=1781.75 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 362555 0 0 0 178114 61 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140735652696256 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 421521 363150 919 2943 0 418415 0
[pid=2268/tid=2269] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1686084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.26 2.28 2.38 5/183 2321
/proc/meminfo: memFree=27437032/32872528 swapFree=1542984/1696284
[pid=2268] ppid=2262 vsize=1686084 CPUtime=1800.05 cores=1,3,5,7
/proc/2268/stat : 2268 (toysat) R 2262 2268 28084 0 -1 4202496 362555 0 0 0 179944 61 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140735652696256 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2268/statm: 421521 363150 919 2943 0 418415 0
[pid=2268/tid=2269] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2269/stat : 2269 (toysat) S 2262 2268 28084 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313686420720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2268/tid=2270] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2270/stat : 2270 (toysat) S 2262 2268 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313675930864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2268/tid=2272] ppid=2262 vsize=1686084 CPUtime=0 cores=1,3,5,7
/proc/2268/task/2272/stat : 2272 (toysat) S 2262 2268 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31209463 1726550016 363150 33554432000 4194304 16246674 140735652714368 140313561656496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1686084

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 2268 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.62
CPU time (s): 1800.08
CPU user time (s): 1799.45
CPU system time (s): 0.627904
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1686084

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.85226 second user time and 7.49486 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-19 01:13:48
IDJOB=4108565
IDBENCH=77578
IDSOLVER=2542
FILE ID=node125/4108565-1466291628
RUNJOBID= node125-1466291628-2240
PBS_JOBID= 19918241
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12040_1.std.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108565-1466291628/watcher-4108565-1466291628 -o /tmp/evaluation-result-4108565-1466291628/solver-4108565-1466291628 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466291628-2240 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108565-1466291628.opb

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

MD5SUM BENCH= 6fb8c842434b82a13287e61400a56efc
RANDOM SEED=398164719

node125.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.683
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.36
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.683
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.683
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.55
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.683
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.54
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.683
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.683
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.683
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.683
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:        30001108 kB
Buffers:          159872 kB
Cached:           270432 kB
SwapCached:          688 kB
Active:           150184 kB
Inactive:         282540 kB
Active(anon):       3932 kB
Inactive(anon):     1040 kB
Active(file):     146252 kB
Inactive(file):   281500 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098232 kB
Dirty:             48592 kB
Writeback:             0 kB
AnonPages:       1697712 kB
Mapped:             6188 kB
Shmem:                 0 kB
Slab:             607920 kB
SReclaimable:      51584 kB
SUnreclaim:       556336 kB
KernelStack:        1368 kB
PageTables:         6788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1791608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 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= 71696 MiB
End job on node125 at 2016-06-19 01:43:49