Trace number 4093328

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM9e4fdadcc7668e5ef6d5afa26a2e782c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1800.09
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5500
Total number of constraints210
Number of soft constraints145
Number of constraints which are clauses110
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 7273
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7272
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T14:08:16+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","--wbo","--search=bcd2","HOME/instance-4093328-1466078896.wbo"]
0.00/0.01	c use --random-gen="2204183902 3249037345 2135523237 1393390798 1827870951 1433165407 2723909893 2294357794 4105269576 4153725915 3980355238 603480128 1752041123 129642604 2342385368 2650309135 2664557420 1212903114 3426641912 1169287591 2605855610 4067537901 3950795972 3831920892 627977262 71639424 2651138152 3994232588 687762854 2743262748 1233887613 3264832030 3802015901 1542802137 1851476763 3521848791 3718680710 4225542489 4199644258 2213117723 2777067146 607457303 1801745967 2868762549 3136138308 1910768157 1878797118 2511769841 1058044271 2866682453 449322756 3556431633 808649063 827518969 3481261881 3145788185 4171486485 2041185103 1729931715 481540313 633675425 381499817 2998285514 4271335235 3382998405 2625684282 2771110871 2864809597 1013752652 715808699 2204040765 690156976 3420403716 2572496008 3389970313 438382512 3859358536 1363752589 4043209034 1751884034 1605077169 3939182927 1959820980 1005157908 3457754934 4145512317 2295281501 2815851264 1286313676 2903470368 2472040326 259283945 3465990996 167833495 3446647238 1529679221 3375296408 3572939754 2098037019 2700904875 4132851670 3037869990 445963593 2837184246 2216678302 4024643089 325599111 1430165291 1758896175 2202881568 3799593002 381867262 472947230 2858082483 102942877 3410614063 1931875270 4276740028 2841689362 3839400215 3898494016 19707842 796570242 981813651 605632009 2644782547 285826436 672470061 1342219363 4102881479 1948060817 2333074702 2036108139 3996787799 3525387098 4082971108 1844823498 4157866699 303641718 1160704048 4190211281 3457348526 4012647401 1637629756 1020033917 3498670685 3732197050 1117800228 3108386157 2844254548 3366571676 2309862355 1273582999 3424794052 3788530079 1658212235 933203032 682827626 3560431477 3008661134 828022621 1646663872 4218482730 1232197748 2601725958 1626990044 768286320 3106438576 517357832 2080508935 1407717302 1815580614 2249297797 3237282578 3025426867 519550378 1873381503 137392636 97761010 151143518 2425532340 1493671259 2593117767 1131374262 3489585422 3944281955 3559215418 1287204700 3486564158 1234563116 1019211247 3302732654 1990967559 1314692580 3028592618 3319996314 4001292490 585618662 4206674726 3771894078 2284835650 515826891 1349052567 3142090950 525000090 354472033 3856952080 1655002355 1263456917 1054632651 3436408345 757521805 1351512376 1009165110 3021044531 3289609484 2168885134 1221811763 326023231 1364693265 271339023 618276168 368572477 2355773251 771442926 3102549691 73235870 254870561 135807406 2019860534 3469898400 2084956350 1459679411 2495932198 449160266 3005335977 1701747761 808611774 3288381290 3437930897 762684819 3139525219 2689611408 829649611 2463278028 878854053 1300759373 3355412979 1974495835 3553314693 3942700555 3639949189 3677693379 1566963890 983462706 181407452 255 362436" option to reproduce the execution
0.18/0.27	c #vars 5500
0.18/0.27	c #constraints 210
0.29/0.30	c BCD2: Hardening is enabled.
0.29/0.30	c BCD2: BiasedSearch is enabled.
0.29/0.30	c Solving starts ...
0.29/0.30	c ============================[ Search Statistics ]============================
0.29/0.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.30	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.30	c =============================================================================
0.29/0.30	c  0.0s |       0 |        0 |        0 |     1951      0 |        0 |        0
0.29/0.35	c  0.1s |       1 |      312 |      100 |     1951      0 |        0 |        0
0.29/0.38	c  0.1s |       1 |     4119 |      101 |     2147      0 |        0 |        0
0.29/0.38	c #cpu_time = 0.081s
0.29/0.38	c #wall_clock_time = 0.081s
0.29/0.38	c #decision = 4119
0.29/0.38	c #random_decision = 13
0.29/0.38	c #conflict = 101
0.29/0.38	c #restart = 1
0.29/0.38	o 3892
0.29/0.38	c BCD2: updating upper bound: 7272 -> 3891
0.29/0.38	c BCD2: 0 <= obj <= 3891
0.29/0.38	c BCD2: #cores=0, #unrelaxed=145, #relaxed=0, #hardened=0
0.29/0.38	c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.38	c Solving starts ...
0.29/0.38	c ============================[ Search Statistics ]============================
0.29/0.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.38	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.38	c =============================================================================
0.29/0.38	c  0.0s |       0 |        0 |        0 |     2147      0 |        0 |        0
0.39/0.45	c  0.1s |       1 |      647 |      100 |     2147      0 |        0 |        0
0.59/0.65	c  0.3s |       2 |     2173 |      250 |     2362      0 |        0 |        0
0.89/0.97	c  0.6s |       3 |     5476 |      475 |     2599      0 |        0 |        0
1.39/1.46	c  1.1s |       4 |     8382 |      813 |     2859      0 |        0 |        0
2.30/2.35	c  2.0s |       5 |    10612 |     1320 |     3145      0 |        0 |        0
3.30/3.39	c  3.0s |       6 |    13353 |     2081 |     3460      0 |        0 |        0
5.39/5.47	c  5.1s |       7 |    16063 |     3223 |     3807      0 |        0 |        0
7.49/7.51	c  7.1s |       7 |    19062 |     4323 |     3807      0 |        0 |        0
8.80/8.84	c  8.5s |       8 |    19742 |     4936 |     4188      0 |        0 |        0
10.79/10.89	c 10.5s |       8 |    23047 |     6436 |     4188      1 |        0 |        0
12.39/12.42	c 12.0s |       9 |    24238 |     7506 |     4607      1 |        0 |        0
14.49/14.54	c 14.2s |       9 |    27089 |     8406 |     4607      2 |        0 |        0
16.60/16.60	c 16.2s |       9 |    28152 |     9306 |     4607      2 |        0 |        0
18.80/18.80	c 18.4s |       9 |    29291 |    10306 |     4607      2 |        0 |        0
20.89/20.92	c 20.5s |       9 |    30096 |    11006 |     4607      2 |        0 |        0
22.09/22.15	c 21.8s |      10 |    30514 |    11361 |     5068      2 |        0 |        0
24.08/24.17	c 23.8s |      10 |    33996 |    12661 |     5068      3 |        0 |        0
26.18/26.26	c 25.9s |      10 |    35086 |    13661 |     5068      3 |        0 |        0
28.28/28.39	c 28.0s |      10 |    36102 |    14561 |     5068      3 |        0 |        0
30.49/30.56	c 30.2s |      10 |    37001 |    15361 |     5068      3 |        0 |        0
32.59/32.67	c 32.3s |      10 |    37776 |    16061 |     5068      3 |        0 |        0
34.79/34.81	c 34.4s |      10 |    38561 |    16761 |     5068      4 |        0 |        0
35.79/35.86	c 35.5s |      11 |    38992 |    17144 |     5575      4 |        0 |        0
37.89/37.98	c 37.6s |      11 |    42493 |    18544 |     5575      4 |        0 |        0
40.08/40.17	c 39.8s |      11 |    43943 |    19844 |     5575      4 |        0 |        0
42.18/42.28	c 41.9s |      11 |    44955 |    20744 |     5575      5 |        0 |        0
44.38/44.43	c 44.1s |      11 |    45992 |    21644 |     5575      5 |        0 |        0
46.38/46.44	c 46.1s |      11 |    46866 |    22444 |     5575      5 |        0 |        0
48.58/48.67	c 48.3s |      11 |    47778 |    23244 |     5575      5 |        0 |        0
50.59/50.70	c 50.3s |      11 |    48539 |    23944 |     5575      5 |        0 |        0
52.79/52.88	c 52.5s |      11 |    49413 |    24744 |     5575      5 |        0 |        0
54.99/55.10	c 54.7s |      11 |    50317 |    25544 |     5575      6 |        0 |        0
55.68/55.78	c 55.4s |      12 |    50605 |    25819 |     6133      6 |        0 |        0
57.78/57.80	c 57.4s |      12 |    53681 |    27219 |     6133      6 |        0 |        0
59.78/59.81	c 59.4s |      12 |    55025 |    28419 |     6133      6 |        0 |        0
61.88/61.95	c 61.6s |      12 |    56143 |    29419 |     6133      6 |        0 |        0
64.08/64.11	c 63.7s |      12 |    57133 |    30319 |     6133      7 |        0 |        0
66.28/66.33	c 65.9s |      12 |    58227 |    31319 |     6133      7 |        0 |        0
68.29/68.35	c 68.0s |      12 |    59113 |    32119 |     6133      7 |        0 |        0
70.48/70.55	c 70.2s |      12 |    60108 |    33019 |     6133      7 |        0 |        0
72.68/72.76	c 72.4s |      12 |    61012 |    33819 |     6133      7 |        0 |        0
74.78/74.85	c 74.5s |      12 |    61765 |    34519 |     6133      8 |        0 |        0
76.87/76.91	c 76.5s |      12 |    62785 |    35419 |     6133      8 |        0 |        0
78.97/79.00	c 78.6s |      12 |    63845 |    36319 |     6133      8 |        0 |        0
80.98/81.04	c 80.7s |      12 |    65003 |    37019 |     6133      8 |        0 |        0
83.18/83.25	c 82.9s |      12 |    65923 |    37819 |     6133      8 |        0 |        0
85.58/85.60	c 85.2s |      12 |    66828 |    38519 |     6747      9 |        0 |        0
86.38/86.41	c 86.0s |      13 |    67184 |    38832 |     6747      9 |        0 |        0
88.37/88.44	c 88.1s |      13 |    69940 |    39532 |     6747      9 |        0 |        0
90.47/90.53	c 90.1s |      13 |    70726 |    40232 |     6747      9 |        0 |        0
92.67/92.79	c 92.4s |      13 |    71560 |    40832 |     6747      9 |        0 |        0
94.77/94.82	c 94.4s |      13 |    72225 |    41432 |     6747      9 |        0 |        0
96.88/96.94	c 96.6s |      13 |    73196 |    42232 |     6747      9 |        0 |        0
98.98/99.10	c 98.7s |      13 |    73991 |    42932 |     6747      9 |        0 |        0
101.07/101.18	c  100s |      13 |    74792 |    43632 |     6747      9 |        0 |        0
103.38/103.42	c  103s |      13 |    75454 |    44232 |     6747     10 |        0 |        0
105.68/105.74	c  105s |      13 |    76227 |    44932 |     6747     10 |        0 |        0
107.88/107.92	c  107s |      13 |    76886 |    45532 |     6747     10 |        0 |        0
109.87/109.94	c  109s |      13 |    77559 |    46132 |     6747     10 |        0 |        0
111.97/112.07	c  111s |      13 |    78203 |    46732 |     6747     10 |        0 |        0
114.38/114.41	c  114s |      13 |    78879 |    47332 |     6747     10 |        0 |        0
116.37/116.43	c  116s |      13 |    79432 |    47832 |     6747     10 |        0 |        0
118.57/118.68	c  118s |      13 |    79974 |    48332 |     6747     10 |        0 |        0
120.97/121.04	c  120s |      13 |    80538 |    48832 |     6747     11 |        0 |        0
123.07/123.16	c  122s |      13 |    81096 |    49332 |     6747     11 |        0 |        0
125.07/125.19	c  124s |      13 |    81807 |    49932 |     6747     11 |        0 |        0
127.07/127.20	c  126s |      13 |    82635 |    50632 |     6747     11 |        0 |        0
129.37/129.48	c  129s |      13 |    83595 |    51432 |     6747     11 |        0 |        0
131.67/131.71	c  131s |      13 |    84410 |    52132 |     6747     11 |        0 |        0
133.97/134.06	c  133s |      13 |    85215 |    52832 |     6747     11 |        0 |        0
136.48/136.56	c  136s |      13 |    85899 |    53432 |     6747     11 |        0 |        0
138.58/138.62	c  138s |      13 |    86365 |    53832 |     6747     12 |        0 |        0
140.88/140.91	c  140s |      13 |    87062 |    54432 |     6747     12 |        0 |        0
143.07/143.18	c  142s |      13 |    87718 |    55032 |     6747     12 |        0 |        0
145.07/145.19	c  144s |      13 |    88295 |    55532 |     6747     12 |        0 |        0
147.27/147.38	c  147s |      13 |    88865 |    56032 |     6747     12 |        0 |        0
149.57/149.64	c  149s |      13 |    89459 |    56532 |     6747     12 |        0 |        0
151.66/151.77	c  151s |      13 |    89911 |    56932 |     6747     12 |        0 |        0
153.98/154.01	c  153s |      13 |    90390 |    57332 |     6747     12 |        0 |        0
156.07/156.17	c  155s |      13 |    90862 |    57732 |     6747     12 |        0 |        0
158.37/158.44	c  158s |      13 |    91344 |    58132 |     7422     12 |        0 |        0
159.57/159.65	c  159s |      14 |    91588 |    58352 |     7422     12 |        0 |        0
161.68/161.80	c  161s |      14 |    94244 |    59252 |     7422     13 |        0 |        0
163.88/163.95	c  163s |      14 |    95648 |    60452 |     7422     13 |        0 |        0
166.08/166.13	c  165s |      14 |    96900 |    61552 |     7422     13 |        0 |        0
168.17/168.22	c  167s |      14 |    97934 |    62452 |     7422     13 |        0 |        0
170.27/170.36	c  169s |      14 |    98981 |    63352 |     7422     13 |        0 |        0
172.37/172.42	c  172s |      14 |    99877 |    64152 |     7422     13 |        0 |        0
174.37/174.49	c  174s |      14 |   100728 |    64852 |     7422     14 |        0 |        0
176.66/176.70	c  176s |      14 |   101677 |    65652 |     7422     14 |        0 |        0
178.76/178.81	c  178s |      14 |   102495 |    66352 |     7422     14 |        0 |        0
180.86/180.99	c  180s |      14 |   103291 |    67052 |     7422     14 |        0 |        0
183.06/183.11	c  182s |      14 |   104066 |    67752 |     7422     14 |        0 |        0
185.26/185.36	c  184s |      14 |   104740 |    68352 |     7422     14 |        0 |        0
187.36/187.40	c  187s |      14 |   105403 |    68952 |     7422     14 |        0 |        0
189.36/189.49	c  189s |      14 |   106084 |    69552 |     7422     14 |        0 |        0
191.56/191.69	c  191s |      14 |   106801 |    70152 |     7422     15 |        0 |        0
194.06/194.17	c  193s |      14 |   107822 |    71052 |     7422     15 |        0 |        0
196.46/196.50	c  196s |      14 |   108610 |    71752 |     7422     15 |        0 |        0
198.56/198.69	c  198s |      14 |   109583 |    72552 |     7422     15 |        0 |        0
200.66/200.73	c  200s |      14 |   110526 |    73352 |     7422     15 |        0 |        0
202.86/202.96	c  202s |      14 |   111432 |    74152 |     7422     15 |        0 |        0
204.86/204.99	c  204s |      14 |   112108 |    74752 |     7422     15 |        0 |        0
206.96/207.04	c  206s |      14 |   112803 |    75352 |     7422     16 |        0 |        0
209.16/209.22	c  208s |      14 |   113599 |    76052 |     7422     16 |        0 |        0
211.27/211.34	c  210s |      14 |   114386 |    76752 |     7422     16 |        0 |        0
213.37/213.41	c  213s |      14 |   115151 |    77452 |     7422     16 |        0 |        0
215.57/215.67	c  215s |      14 |   115916 |    78152 |     7422     16 |        0 |        0
217.66/217.74	c  217s |      14 |   116572 |    78752 |     7422     16 |        0 |        0
219.76/219.90	c  219s |      14 |   117221 |    79352 |     7422     16 |        0 |        0
221.95/222.01	c  221s |      14 |   118057 |    79952 |     7422     16 |        0 |        0
224.05/224.19	c  223s |      14 |   118770 |    80552 |     7422     17 |        0 |        0
226.35/226.40	c  226s |      14 |   119827 |    81352 |     7422     17 |        0 |        0
228.56/228.68	c  228s |      14 |   120886 |    82152 |     7422     17 |        0 |        0
230.66/230.78	c  230s |      14 |   121768 |    82852 |     7422     17 |        0 |        0
232.65/232.78	c  232s |      14 |   122452 |    83452 |     7422     17 |        0 |        0
234.85/234.99	c  234s |      14 |   123241 |    84152 |     7422     17 |        0 |        0
236.95/237.04	c  236s |      14 |   124026 |    84752 |     7422     17 |        0 |        0
239.15/239.20	c  238s |      14 |   124803 |    85352 |     7422     17 |        0 |        0
241.35/241.43	c  241s |      14 |   125377 |    85852 |     7422     18 |        0 |        0
243.35/243.47	c  243s |      14 |   126109 |    86452 |     7422     18 |        0 |        0
245.55/245.61	c  245s |      14 |   126847 |    87052 |     8165     18 |        0 |        0
247.46/247.58	c  247s |      15 |   127518 |    87632 |     8165     18 |        0 |        0
249.55/249.69	c  249s |      15 |   131670 |    88532 |     8165     18 |        0 |        0
251.75/251.85	c  251s |      15 |   132503 |    89232 |     8165     18 |        0 |        0
254.06/254.13	c  253s |      15 |   133348 |    89932 |     8165     18 |        0 |        0
256.26/256.31	c  255s |      15 |   133919 |    90432 |     8165     18 |        0 |        0
258.55/258.62	c  258s |      15 |   134653 |    91032 |     8165     18 |        0 |        0
260.85/260.93	c  260s |      15 |   135479 |    91732 |     8165     18 |        0 |        0
263.25/263.37	c  262s |      15 |   136035 |    92232 |     8165     18 |        0 |        0
265.55/265.65	c  265s |      15 |   136484 |    92632 |     8165     18 |        0 |        0
267.64/267.72	c  267s |      15 |   136936 |    93032 |     8165     18 |        0 |        0
269.65/269.78	c  269s |      15 |   137387 |    93432 |     8165     18 |        0 |        0
272.14/272.22	c  271s |      15 |   137795 |    93732 |     8165     19 |        0 |        0
274.35/274.42	c  274s |      15 |   138329 |    94232 |     8165     19 |        0 |        0
276.55/276.63	c  276s |      15 |   138853 |    94732 |     8165     19 |        0 |        0
278.85/278.94	c  278s |      15 |   139430 |    95232 |     8165     19 |        0 |        0
281.15/281.25	c  280s |      15 |   139998 |    95732 |     8165     19 |        0 |        0
283.25/283.32	c  282s |      15 |   140558 |    96232 |     8165     19 |        0 |        0
285.64/285.72	c  285s |      15 |   141249 |    96832 |     8165     19 |        0 |        0
287.74/287.81	c  287s |      15 |   141714 |    97232 |     8165     19 |        0 |        0
289.85/289.96	c  289s |      15 |   142293 |    97732 |     8165     19 |        0 |        0
291.95/292.09	c  291s |      15 |   142848 |    98232 |     8165     19 |        0 |        0
294.34/294.40	c  294s |      15 |   143434 |    98732 |     8165     19 |        0 |        0
296.44/296.59	c  296s |      15 |   144007 |    99232 |     8165     19 |        0 |        0
298.55/298.64	c  298s |      15 |   144435 |    99632 |     8165     19 |        0 |        0
300.65/300.79	c  300s |      15 |   144880 |   100032 |     8165     19 |        0 |        0
303.04/303.19	c  302s |      15 |   145233 |   100332 |     8165     20 |        0 |        0
305.25/305.32	c  304s |      15 |   145791 |   100832 |     8165     20 |        0 |        0
307.24/307.38	c  307s |      15 |   146346 |   101332 |     8165     20 |        0 |        0
309.34/309.44	c  309s |      15 |   146936 |   101832 |     8165     20 |        0 |        0
311.54/311.60	c  311s |      15 |   147501 |   102332 |     8165     20 |        0 |        0
313.55/313.69	c  313s |      15 |   147951 |   102732 |     8165     20 |        0 |        0
315.65/315.77	c  315s |      15 |   148379 |   103132 |     8165     20 |        0 |        0
317.85/318.00	c  317s |      15 |   148817 |   103532 |     8165     20 |        0 |        0
320.24/320.38	c  319s |      15 |   149256 |   103932 |     8165     20 |        0 |        0
322.74/322.82	c  322s |      15 |   149695 |   104332 |     8165     20 |        0 |        0
324.94/325.03	c  324s |      15 |   150140 |   104732 |     8165     20 |        0 |        0
327.14/327.26	c  326s |      15 |   150565 |   105132 |     8165     20 |        0 |        0
329.34/329.48	c  329s |      15 |   151030 |   105532 |     8165     20 |        0 |        0
331.54/331.64	c  331s |      15 |   151497 |   105932 |     8165     20 |        0 |        0
334.04/334.19	c  333s |      15 |   151939 |   106332 |     8165     20 |        0 |        0
336.24/336.31	c  335s |      15 |   152417 |   106732 |     8165     20 |        0 |        0
338.64/338.71	c  338s |      15 |   152652 |   106932 |     8165     21 |        0 |        0
340.84/340.96	c  340s |      15 |   153207 |   107432 |     8165     21 |        0 |        0
343.25/343.38	c  342s |      15 |   153780 |   107932 |     8165     21 |        0 |        0
345.64/345.74	c  345s |      15 |   154351 |   108432 |     8165     21 |        0 |        0
347.84/347.92	c  347s |      15 |   154845 |   108832 |     8165     21 |        0 |        0
350.04/350.19	c  349s |      15 |   155268 |   109232 |     8165     21 |        0 |        0
352.33/352.47	c  352s |      15 |   155726 |   109632 |     8165     21 |        0 |        0
354.54/354.65	c  354s |      15 |   156280 |   110132 |     8165     21 |        0 |        0
357.04/357.18	c  356s |      15 |   156824 |   110632 |     8165     21 |        0 |        0
359.23/359.31	c  358s |      15 |   157267 |   111032 |     8165     21 |        0 |        0
361.74/361.83	c  361s |      15 |   157718 |   111432 |     8165     21 |        0 |        0
363.93/364.09	c  363s |      15 |   158146 |   111832 |     8165     21 |        0 |        0
366.24/366.34	c  365s |      15 |   158612 |   112232 |     8165     21 |        0 |        0
368.34/368.47	c  368s |      15 |   159069 |   112632 |     8165     21 |        0 |        0
370.74/370.87	c  370s |      15 |   159640 |   113132 |     8165     21 |        0 |        0
373.95/374.06	c  373s |      15 |   160079 |   113532 |     8165     22 |        0 |        0
376.33/376.40	c  376s |      15 |   160541 |   113932 |     8165     22 |        0 |        0
378.53/378.64	c  378s |      15 |   161119 |   114432 |     8165     22 |        0 |        0
381.04/381.19	c  380s |      15 |   161690 |   114932 |     8165     22 |        0 |        0
383.13/383.27	c  382s |      15 |   162127 |   115332 |     8165     22 |        0 |        0
385.13/385.29	c  384s |      15 |   162599 |   115732 |     8165     22 |        0 |        0
387.74/387.86	c  387s |      15 |   163035 |   116132 |     8165     22 |        0 |        0
390.13/390.29	c  389s |      15 |   163591 |   116632 |     8165     22 |        0 |        0
392.64/392.79	c  392s |      15 |   164147 |   117132 |     8165     22 |        0 |        0
395.13/395.22	c  394s |      15 |   164585 |   117532 |     8165     22 |        0 |        0
397.33/397.46	c  397s |      15 |   165050 |   117932 |     8165     22 |        0 |        0
399.53/399.65	c  399s |      15 |   165482 |   118332 |     8165     22 |        0 |        0
401.63/401.78	c  401s |      15 |   165935 |   118732 |     8165     22 |        0 |        0
404.03/404.14	c  403s |      15 |   166376 |   119132 |     8165     22 |        0 |        0
406.43/406.53	c  406s |      15 |   166821 |   119532 |     8165     22 |        0 |        0
408.82/408.91	c  408s |      15 |   167146 |   119832 |     8165     22 |        0 |        0
411.12/411.20	c  410s |      15 |   167482 |   120132 |     8165     22 |        0 |        0
413.23/413.31	c  412s |      15 |   167735 |   120332 |     8165     23 |        0 |        0
415.42/415.53	c  415s |      15 |   168299 |   120832 |     8165     23 |        0 |        0
417.73/417.85	c  417s |      15 |   168891 |   121332 |     8165     23 |        0 |        0
420.02/420.14	c  419s |      15 |   169566 |   121932 |     8165     23 |        0 |        0
422.12/422.20	c  421s |      15 |   170127 |   122432 |     8165     23 |        0 |        0
424.43/424.57	c  424s |      15 |   170662 |   122932 |     8165     23 |        0 |        0
426.63/426.75	c  426s |      15 |   171218 |   123432 |     8165     23 |        0 |        0
428.62/428.76	c  428s |      15 |   171784 |   123932 |     8165     23 |        0 |        0
430.92/431.04	c  430s |      15 |   172370 |   124432 |     8165     23 |        0 |        0
433.13/433.27	c  432s |      15 |   172835 |   124832 |     8165     23 |        0 |        0
435.13/435.28	c  434s |      15 |   173275 |   125232 |     8165     23 |        0 |        0
437.42/437.50	c  437s |      15 |   173729 |   125632 |     8165     23 |        0 |        0
439.63/439.74	c  439s |      15 |   174168 |   126032 |     8165     23 |        0 |        0
441.83/441.99	c  441s |      15 |   174610 |   126432 |     8165     23 |        0 |        0
445.32/445.45	c  445s |      15 |   175056 |   126832 |     8165     24 |        0 |        0
447.73/447.84	c  447s |      15 |   175501 |   127232 |     8165     24 |        0 |        0
449.93/450.09	c  449s |      15 |   175953 |   127632 |     8165     24 |        0 |        0
452.03/452.18	c  451s |      15 |   176274 |   127932 |     8165     24 |        0 |        0
454.12/454.20	c  453s |      15 |   176596 |   128232 |     8165     24 |        0 |        0
456.52/456.62	c  456s |      15 |   177043 |   128632 |     8165     24 |        0 |        0
458.73/458.89	c  458s |      15 |   177392 |   128932 |     8165     24 |        0 |        0
461.52/461.60	c  461s |      15 |   177711 |   129232 |     8165     24 |        0 |        0
463.82/463.93	c  463s |      15 |   178218 |   129632 |     8165     24 |        0 |        0
465.92/466.08	c  465s |      15 |   178804 |   130132 |     8165     24 |        0 |        0
468.52/468.62	c  468s |      15 |   179367 |   130632 |     8982     24 |        0 |        0
470.51/470.67	c  470s |      15 |   179832 |   131032 |     8982     24 |        0 |        0
472.82/472.96	c  472s |      15 |   180277 |   131432 |     8982     24 |        0 |        0
473.52/473.67	c  473s |      16 |   180412 |   131552 |     8982     24 |        0 |        0
475.62/475.77	c  475s |      16 |   183621 |   131752 |     8982     25 |        0 |        0
477.72/477.81	c  477s |      16 |   184632 |   132652 |     8982     25 |        0 |        0
479.72/479.85	c  479s |      16 |   185412 |   133352 |     8982     25 |        0 |        0
482.01/482.13	c  481s |      16 |   186312 |   134152 |     8982     25 |        0 |        0
484.02/484.18	c  483s |      16 |   187103 |   134852 |     8982     25 |        0 |        0
486.01/486.19	c  485s |      16 |   187937 |   135552 |     8982     25 |        0 |        0
488.21/488.31	c  487s |      16 |   188621 |   136152 |     8982     25 |        0 |        0
490.41/490.54	c  490s |      16 |   189274 |   136752 |     8982     25 |        0 |        0
492.61/492.80	c  492s |      16 |   189953 |   137352 |     8982     25 |        0 |        0
494.92/495.09	c  494s |      16 |   190387 |   137752 |     8982     26 |        0 |        0
497.01/497.14	c  496s |      16 |   190955 |   138252 |     8982     26 |        0 |        0
499.02/499.19	c  498s |      16 |   191497 |   138752 |     8982     26 |        0 |        0
501.32/501.44	c  501s |      16 |   192190 |   139352 |     8982     26 |        0 |        0
503.31/503.49	c  503s |      16 |   192762 |   139852 |     8982     26 |        0 |        0
505.81/505.91	c  505s |      16 |   193420 |   140452 |     8982     26 |        0 |        0
507.91/508.08	c  507s |      16 |   193986 |   140952 |     8982     26 |        0 |        0
510.21/510.35	c  509s |      16 |   194555 |   141452 |     8982     26 |        0 |        0
512.41/512.51	c  512s |      16 |   195098 |   141952 |     8982     26 |        0 |        0
514.51/514.61	c  514s |      16 |   195669 |   142452 |     8982     26 |        0 |        0
516.71/516.81	c  516s |      16 |   196212 |   142952 |     8982     26 |        0 |        0
518.91/519.07	c  518s |      16 |   196772 |   143452 |     8982     26 |        0 |        0
521.01/521.14	c  520s |      16 |   197209 |   143852 |     8982     27 |        0 |        0
523.41/523.52	c  523s |      16 |   197863 |   144452 |     8982     27 |        0 |        0
525.41/525.56	c  525s |      16 |   198435 |   144952 |     8982     27 |        0 |        0
527.51/527.61	c  527s |      16 |   199122 |   145552 |     8982     27 |        0 |        0
529.71/529.85	c  529s |      16 |   199781 |   146152 |     8982     27 |        0 |        0
532.11/532.21	c  531s |      16 |   200457 |   146752 |     8982     27 |        0 |        0
534.11/534.29	c  533s |      16 |   201002 |   147252 |     8982     27 |        0 |        0
536.21/536.34	c  535s |      16 |   201580 |   147752 |     8982     27 |        0 |        0
538.61/538.71	c  538s |      16 |   202106 |   148252 |     8982     27 |        0 |        0
540.91/541.01	c  540s |      16 |   202650 |   148752 |     8982     27 |        0 |        0
543.21/543.37	c  542s |      16 |   203218 |   149252 |     8982     27 |        0 |        0
545.21/545.39	c  545s |      16 |   203667 |   149652 |     8982     28 |        0 |        0
547.30/547.46	c  547s |      16 |   204200 |   150152 |     8982     28 |        0 |        0
549.60/549.76	c  549s |      16 |   204739 |   150652 |     8982     28 |        0 |        0
552.00/552.12	c  551s |      16 |   205279 |   151152 |     8982     28 |        0 |        0
554.31/554.41	c  554s |      16 |   205811 |   151652 |     8982     28 |        0 |        0
556.51/556.69	c  556s |      16 |   206347 |   152152 |     8982     28 |        0 |        0
559.01/559.15	c  558s |      16 |   206880 |   152652 |     8982     28 |        0 |        0
561.41/561.59	c  561s |      16 |   207409 |   153152 |     8982     28 |        0 |        0
563.50/563.60	c  563s |      16 |   207831 |   153552 |     8982     28 |        0 |        0
565.60/565.76	c  565s |      16 |   208414 |   154052 |     8982     28 |        0 |        0
567.90/568.00	c  567s |      16 |   209093 |   154652 |     8982     28 |        0 |        0
570.00/570.11	c  569s |      16 |   209658 |   155152 |     8982     28 |        0 |        0
572.01/572.17	c  571s |      16 |   210130 |   155552 |     8982     29 |        0 |        0
574.30/574.47	c  574s |      16 |   210796 |   156152 |     8982     29 |        0 |        0
576.60/576.76	c  576s |      16 |   211454 |   156752 |     8982     29 |        0 |        0
578.80/578.95	c  578s |      16 |   212005 |   157252 |     8982     29 |        0 |        0
581.00/581.12	c  580s |      16 |   212566 |   157752 |     8982     29 |        0 |        0
583.11/583.27	c  582s |      16 |   213113 |   158252 |     8982     29 |        0 |        0
585.40/585.52	c  585s |      16 |   213667 |   158752 |     8982     29 |        0 |        0
587.70/587.80	c  587s |      16 |   214221 |   159252 |     8982     29 |        0 |        0
590.10/590.28	c  589s |      16 |   214773 |   159752 |     8982     29 |        0 |        0
592.50/592.63	c  592s |      16 |   215314 |   160252 |     8982     29 |        0 |        0
594.50/594.68	c  594s |      16 |   215748 |   160652 |     8982     29 |        0 |        0
596.60/596.70	c  596s |      16 |   216183 |   161052 |     8982     29 |        0 |        0
598.70/598.89	c  598s |      16 |   216611 |   161452 |     8982     30 |        0 |        0
601.00/601.10	c  600s |      16 |   217177 |   161952 |     8982     30 |        0 |        0
602.99/603.13	c  602s |      16 |   217713 |   162452 |     8982     30 |        0 |        0
605.00/605.18	c  604s |      16 |   218254 |   162952 |     8982     30 |        0 |        0
607.10/607.27	c  606s |      16 |   218804 |   163452 |     8982     30 |        0 |        0
609.31/609.41	c  609s |      16 |   219351 |   163952 |     8982     30 |        0 |        0
611.70/611.88	c  611s |      16 |   219907 |   164452 |     8982     30 |        0 |        0
614.10/614.25	c  613s |      16 |   220437 |   164952 |     8982     30 |        0 |        0
616.40/616.51	c  616s |      16 |   220989 |   165452 |     8982     30 |        0 |        0
618.80/618.91	c  618s |      16 |   221518 |   165952 |     8982     30 |        0 |        0
621.09/621.28	c  620s |      16 |   222053 |   166452 |     8982     30 |        0 |        0
623.19/623.31	c  622s |      16 |   222487 |   166852 |     8982     30 |        0 |        0
626.10/626.29	c  625s |      16 |   222949 |   167252 |     8982     31 |        0 |        0
628.20/628.30	c  627s |      16 |   223606 |   167852 |     8982     31 |        0 |        0
630.20/630.36	c  629s |      16 |   224178 |   168352 |     8982     31 |        0 |        0
632.40/632.59	c  632s |      16 |   224714 |   168852 |     8982     31 |        0 |        0
634.89/635.04	c  634s |      16 |   225245 |   169352 |     8982     31 |        0 |        0
637.39/637.56	c  637s |      16 |   225775 |   169852 |     8982     31 |        0 |        0
639.69/639.82	c  639s |      16 |   226452 |   170452 |     8982     31 |        0 |        0
642.10/642.20	c  641s |      16 |   227108 |   171052 |     8982     31 |        0 |        0
644.20/644.30	c  643s |      16 |   227694 |   171552 |     8982     31 |        0 |        0
646.49/646.65	c  646s |      16 |   228366 |   172152 |     8982     31 |        0 |        0
648.69/648.89	c  648s |      16 |   228910 |   172652 |     8982     31 |        0 |        0
650.79/650.92	c  650s |      16 |   229346 |   173052 |     8982     32 |        0 |        0
652.89/653.04	c  652s |      16 |   229891 |   173552 |     8982     32 |        0 |        0
655.09/655.22	c  654s |      16 |   230425 |   174052 |     8982     32 |        0 |        0
657.29/657.47	c  657s |      16 |   230978 |   174552 |     8982     32 |        0 |        0
659.79/659.92	c  659s |      16 |   231518 |   175052 |     8982     32 |        0 |        0
662.10/662.28	c  661s |      16 |   232043 |   175552 |     8982     32 |        0 |        0
664.49/664.68	c  664s |      16 |   232487 |   175952 |     8982     32 |        0 |        0
666.79/666.94	c  666s |      16 |   233142 |   176552 |     8982     32 |        0 |        0
668.98/669.12	c  668s |      16 |   233687 |   177052 |     8982     32 |        0 |        0
671.19/671.36	c  670s |      16 |   234239 |   177552 |     8982     32 |        0 |        0
673.59/673.75	c  673s |      16 |   234776 |   178052 |     8982     32 |        0 |        0
675.59/675.77	c  675s |      16 |   235215 |   178452 |     8982     32 |        0 |        0
677.68/677.87	c  677s |      16 |   235647 |   178852 |     8982     32 |        0 |        0
679.98/680.18	c  679s |      16 |   236069 |   179252 |     8982     33 |        0 |        0
682.28/682.49	c  682s |      16 |   236520 |   179652 |     8982     33 |        0 |        0
684.38/684.50	c  684s |      16 |   237070 |   180152 |     8982     33 |        0 |        0
686.48/686.67	c  686s |      16 |   237604 |   180652 |     8982     33 |        0 |        0
688.98/689.14	c  688s |      16 |   238153 |   181152 |     8982     33 |        0 |        0
691.09/691.20	c  690s |      16 |   238589 |   181552 |     8982     33 |        0 |        0
693.39/693.54	c  693s |      16 |   239140 |   182052 |     8982     33 |        0 |        0
695.48/695.66	c  695s |      16 |   239561 |   182452 |     8982     33 |        0 |        0
697.48/697.67	c  697s |      16 |   240010 |   182852 |     8982     33 |        0 |        0
699.59/699.78	c  699s |      16 |   240442 |   183252 |     8982     33 |        0 |        0
701.79/701.96	c  701s |      16 |   240865 |   183652 |     8982     33 |        0 |        0
704.08/704.29	c  703s |      16 |   241331 |   184052 |     8982     33 |        0 |        0
706.78/706.91	c  706s |      16 |   241765 |   184452 |     8982     33 |        0 |        0
709.59/709.70	c  709s |      16 |   242199 |   184852 |     8982     34 |        0 |        0
711.78/711.96	c  711s |      16 |   242625 |   185252 |     8982     34 |        0 |        0
713.89/714.01	c  713s |      16 |   243066 |   185652 |     8982     34 |        0 |        0
716.28/716.43	c  716s |      16 |   243604 |   186152 |     8982     34 |        0 |        0
718.38/718.57	c  718s |      16 |   244017 |   186552 |     8982     34 |        0 |        0
720.58/720.75	c  720s |      16 |   244445 |   186952 |     8982     34 |        0 |        0
722.78/722.95	c  722s |      16 |   244878 |   187352 |     8982     34 |        0 |        0
724.98/725.16	c  724s |      16 |   245320 |   187752 |     8982     34 |        0 |        0
727.17/727.39	c  727s |      16 |   245743 |   188152 |     8982     34 |        0 |        0
729.57/729.74	c  729s |      16 |   246176 |   188552 |     8982     34 |        0 |        0
731.78/731.96	c  731s |      16 |   246595 |   188952 |     8982     34 |        0 |        0
733.88/734.09	c  733s |      16 |   247029 |   189352 |     8982     34 |        0 |        0
736.18/736.36	c  735s |      16 |   247466 |   189752 |     8982     34 |        0 |        0
738.57/738.77	c  738s |      16 |   247877 |   190152 |     8982     34 |        0 |        0
740.97/741.16	c  740s |      16 |   248302 |   190552 |     8982     34 |        0 |        0
743.07/743.27	c  742s |      16 |   248624 |   190852 |     8982     35 |        0 |        0
745.48/745.62	c  745s |      16 |   249158 |   191352 |     8982     35 |        0 |        0
747.88/748.02	c  747s |      16 |   249686 |   191852 |     8982     35 |        0 |        0
749.97/750.17	c  749s |      16 |   250119 |   192252 |     8982     35 |        0 |        0
752.38/752.53	c  752s |      16 |   250658 |   192752 |     8982     35 |        0 |        0
754.48/754.70	c  754s |      16 |   251115 |   193152 |     8982     35 |        0 |        0
756.78/756.94	c  756s |      16 |   251540 |   193552 |     8982     35 |        0 |        0
758.77/758.97	c  758s |      16 |   251969 |   193952 |     8982     35 |        0 |        0
760.97/761.10	c  760s |      16 |   252400 |   194352 |     8982     35 |        0 |        0
762.96/763.17	c  762s |      16 |   252831 |   194752 |     8982     35 |        0 |        0
765.47/765.63	c  765s |      16 |   253370 |   195252 |     8982     35 |        0 |        0
767.46/767.67	c  767s |      16 |   253794 |   195652 |     8982     35 |        0 |        0
769.76/769.99	c  769s |      16 |   254243 |   196052 |     9881     35 |        0 |        0
772.17/772.36	c  771s |      16 |   254671 |   196452 |     9881     35 |        0 |        0
774.46/774.60	c  774s |      16 |   255102 |   196852 |     9881     35 |        0 |        0
776.57/776.71	c  776s |      16 |   255521 |   197252 |     9881     35 |        0 |        0
777.57/777.78	c  777s |      17 |   255717 |   197432 |     9881     35 |        0 |        0
779.66/779.82	c  779s |      17 |   259761 |   197832 |     9881     36 |        0 |        0
781.66/781.88	c  781s |      17 |   261226 |   199132 |     9881     36 |        0 |        0
783.66/783.89	c  783s |      17 |   262463 |   200232 |     9881     36 |        0 |        0
785.86/786.02	c  785s |      17 |   263646 |   201332 |     9881     36 |        0 |        0
787.86/788.07	c  787s |      17 |   264715 |   202332 |     9881     36 |        0 |        0
789.86/790.09	c  789s |      17 |   265697 |   203232 |     9881     36 |        0 |        0
792.06/792.22	c  791s |      17 |   266671 |   204132 |     9881     36 |        0 |        0
794.16/794.31	c  793s |      17 |   267428 |   204832 |     9881     37 |        0 |        0
796.16/796.34	c  795s |      17 |   268271 |   205632 |     9881     37 |        0 |        0
798.36/798.57	c  798s |      17 |   269132 |   206432 |     9881     37 |        0 |        0
800.45/800.60	c  800s |      17 |   269904 |   207132 |     9881     37 |        0 |        0
802.55/802.78	c  802s |      17 |   270649 |   207832 |     9881     37 |        0 |        0
804.85/805.02	c  804s |      17 |   271574 |   208632 |     9881     37 |        0 |        0
807.05/807.26	c  806s |      17 |   272456 |   209432 |     9881     37 |        0 |        0
809.35/809.58	c  809s |      17 |   273350 |   210232 |     9881     37 |        0 |        0
811.34/811.60	c  811s |      17 |   274013 |   210832 |     9881     37 |        0 |        0
813.75/813.98	c  813s |      17 |   274442 |   211232 |     9881     38 |        0 |        0
815.95/816.11	c  815s |      17 |   275196 |   211932 |     9881     38 |        0 |        0
818.05/818.23	c  817s |      17 |   275947 |   212632 |     9881     38 |        0 |        0
820.04/820.28	c  819s |      17 |   276708 |   213332 |     9881     38 |        0 |        0
822.44/822.60	c  822s |      17 |   277450 |   214032 |     9881     38 |        0 |        0
824.54/824.71	c  824s |      17 |   278077 |   214632 |     9881     38 |        0 |        0
826.54/826.76	c  826s |      17 |   278855 |   215332 |     9881     38 |        0 |        0
828.84/829.03	c  828s |      17 |   279616 |   216032 |     9881     38 |        0 |        0
830.84/831.06	c  830s |      17 |   280389 |   216732 |     9881     38 |        0 |        0
833.04/833.29	c  832s |      17 |   281136 |   217432 |     9881     38 |        0 |        0
836.03/836.23	c  835s |      17 |   281670 |   217932 |     9881     39 |        0 |        0
838.04/838.24	c  837s |      17 |   282529 |   218732 |     9881     39 |        0 |        0
840.24/840.43	c  840s |      17 |   283388 |   219532 |     9881     39 |        0 |        0
842.33/842.53	c  842s |      17 |   284150 |   220232 |     9881     39 |        0 |        0
844.43/844.68	c  844s |      17 |   284904 |   220932 |     9881     39 |        0 |        0
846.63/846.81	c  846s |      17 |   285545 |   221532 |     9881     39 |        0 |        0
848.93/849.13	c  848s |      17 |   286191 |   222132 |     9881     39 |        0 |        0
851.02/851.21	c  850s |      17 |   286843 |   222732 |     9881     39 |        0 |        0
853.22/853.45	c  853s |      17 |   287477 |   223332 |     9881     39 |        0 |        0
855.42/855.68	c  855s |      17 |   288117 |   223932 |     9881     39 |        0 |        0
857.93/858.15	c  857s |      17 |   288768 |   224532 |     9881     40 |        0 |        0
860.14/860.38	c  860s |      17 |   289528 |   225232 |     9881     40 |        0 |        0
862.34/862.56	c  862s |      17 |   290067 |   225732 |     9881     40 |        0 |        0
864.33/864.56	c  864s |      17 |   290718 |   226332 |     9881     40 |        0 |        0
866.64/866.88	c  866s |      17 |   291489 |   227032 |     9881     40 |        0 |        0
868.84/869.09	c  868s |      17 |   292130 |   227632 |     9881     40 |        0 |        0
871.13/871.38	c  871s |      17 |   292793 |   228232 |     9881     40 |        0 |        0
873.33/873.53	c  873s |      17 |   293435 |   228832 |     9881     40 |        0 |        0
875.43/875.65	c  875s |      17 |   294081 |   229432 |     9881     40 |        0 |        0
877.52/877.78	c  877s |      17 |   294726 |   230032 |     9881     40 |        0 |        0
879.71/879.97	c  879s |      17 |   295355 |   230632 |     9881     40 |        0 |        0
881.81/882.04	c  881s |      17 |   295901 |   231132 |     9881     40 |        0 |        0
883.91/884.16	c  883s |      17 |   296576 |   231732 |     9881     41 |        0 |        0
886.11/886.32	c  885s |      17 |   297441 |   232532 |     9881     41 |        0 |        0
888.21/888.49	c  888s |      17 |   298187 |   233232 |     9881     41 |        0 |        0
890.70/891.00	c  890s |      17 |   298941 |   233932 |     9881     41 |        0 |        0
893.01/893.24	c  892s |      17 |   299607 |   234532 |     9881     41 |        0 |        0
895.21/895.46	c  895s |      17 |   300267 |   235132 |     9881     41 |        0 |        0
897.30/897.60	c  897s |      17 |   300793 |   235632 |     9881     41 |        0 |        0
899.50/899.72	c  899s |      17 |   301331 |   236132 |     9881     41 |        0 |        0
901.70/901.90	c  901s |      17 |   301878 |   236632 |     9881     41 |        0 |        0
903.90/904.18	c  903s |      17 |   302432 |   237132 |     9881     41 |        0 |        0
906.09/906.32	c  905s |      17 |   302981 |   237632 |     9881     41 |        0 |        0
908.10/908.33	c  907s |      17 |   303421 |   238032 |     9881     42 |        0 |        0
910.50/910.71	c  910s |      17 |   304161 |   238732 |     9881     42 |        0 |        0
912.60/912.82	c  912s |      17 |   304790 |   239232 |     9881     42 |        0 |        0
914.79/915.00	c  914s |      17 |   305809 |   240032 |     9881     42 |        0 |        0
916.99/917.26	c  916s |      17 |   306609 |   240732 |     9881     42 |        0 |        0
919.09/919.32	c  918s |      17 |   307395 |   241432 |     9881     42 |        0 |        0
921.29/921.51	c  921s |      17 |   308177 |   242132 |     9881     42 |        0 |        0
923.39/923.61	c  923s |      17 |   308812 |   242732 |     9881     42 |        0 |        0
925.49/925.78	c  925s |      17 |   309796 |   243632 |     9881     42 |        0 |        0
927.59/927.85	c  927s |      17 |   310582 |   244332 |     9881     42 |        0 |        0
929.68/929.92	c  929s |      17 |   311125 |   244832 |     9881     43 |        0 |        0
931.78/932.00	c  931s |      17 |   311760 |   245432 |     9881     43 |        0 |        0
933.98/934.23	c  933s |      17 |   312526 |   246132 |     9881     43 |        0 |        0
936.08/936.30	c  935s |      17 |   313350 |   246832 |     9881     43 |        0 |        0
938.19/938.46	c  938s |      17 |   314005 |   247432 |     9881     43 |        0 |        0
940.49/940.71	c  940s |      17 |   314732 |   248132 |     9881     43 |        0 |        0
942.59/942.84	c  942s |      17 |   315379 |   248732 |     9881     43 |        0 |        0
944.89/945.10	c  944s |      17 |   316032 |   249332 |     9881     43 |        0 |        0
947.08/947.38	c  946s |      17 |   316678 |   249932 |     9881     43 |        0 |        0
949.48/949.70	c  949s |      17 |   317217 |   250432 |     9881     43 |        0 |        0
951.88/952.13	c  951s |      17 |   317759 |   250932 |     9881     43 |        0 |        0
954.48/954.75	c  954s |      17 |   318311 |   251432 |     9881     44 |        0 |        0
956.58/956.80	c  956s |      17 |   319075 |   252132 |     9881     44 |        0 |        0
958.58/958.86	c  958s |      17 |   319728 |   252732 |     9881     44 |        0 |        0
960.57/960.88	c  960s |      17 |   320367 |   253332 |     9881     44 |        0 |        0
962.57/962.89	c  962s |      17 |   321025 |   253932 |     9881     44 |        0 |        0
964.87/965.11	c  964s |      17 |   321688 |   254532 |     9881     44 |        0 |        0
966.97/967.29	c  966s |      17 |   322329 |   255132 |     9881     44 |        0 |        0
969.26/969.50	c  969s |      17 |   322950 |   255732 |     9881     44 |        0 |        0
971.46/971.76	c  971s |      17 |   323512 |   256232 |     9881     44 |        0 |        0
973.46/973.76	c  973s |      17 |   324041 |   256732 |     9881     44 |        0 |        0
975.76/976.04	c  975s |      17 |   324673 |   257332 |     9881     44 |        0 |        0
978.06/978.30	c  977s |      17 |   325227 |   257832 |     9881     45 |        0 |        0
980.07/980.37	c  979s |      17 |   325545 |   258132 |     9881     45 |        0 |        0
982.26/982.54	c  982s |      17 |   326540 |   259032 |     9881     45 |        0 |        0
984.27/984.58	c  984s |      17 |   327417 |   259832 |     9881     45 |        0 |        0
986.47/986.74	c  986s |      17 |   328177 |   260532 |     9881     45 |        0 |        0
988.56/988.80	c  988s |      17 |   328832 |   261132 |     9881     45 |        0 |        0
990.76/991.04	c  990s |      17 |   329490 |   261732 |     9881     45 |        0 |        0
992.95/993.26	c  992s |      17 |   330143 |   262332 |     9881     45 |        0 |        0
995.05/995.32	c  994s |      17 |   330696 |   262832 |     9881     45 |        0 |        0
997.35/997.61	c  997s |      17 |   331444 |   263532 |     9881     45 |        0 |        0
999.55/999.82	c  999s |      17 |   332186 |   264232 |     9881     45 |        0 |        0
1001.75/1002.02	c 1001s |      17 |   332732 |   264732 |     9881     46 |        0 |        0
1005.35/1005.68	c 1005s |      17 |   333515 |   265432 |     9881     46 |        0 |        0
1007.45/1007.72	c 1007s |      17 |   334330 |   266132 |     9881     46 |        0 |        0
1009.55/1009.84	c 1009s |      17 |   335052 |   266732 |     9881     46 |        0 |        0
1011.75/1012.06	c 1011s |      17 |   335756 |   267332 |     9881     46 |        0 |        0
1013.75/1014.09	c 1013s |      17 |   336293 |   267832 |     9881     46 |        0 |        0
1016.16/1016.45	c 1016s |      17 |   336841 |   268332 |     9881     46 |        0 |        0
1018.55/1018.81	c 1018s |      17 |   337389 |   268832 |     9881     46 |        0 |        0
1020.65/1020.94	c 1020s |      17 |   338177 |   269532 |     9881     46 |        0 |        0
1022.75/1023.05	c 1022s |      17 |   338837 |   270132 |     9881     46 |        0 |        0
1024.84/1025.16	c 1024s |      17 |   339371 |   270632 |     9881     46 |        0 |        0
1028.04/1028.30	c 1027s |      17 |   340047 |   271232 |     9881     47 |        0 |        0
1030.14/1030.48	c 1030s |      17 |   340804 |   271932 |     9881     47 |        0 |        0
1032.34/1032.63	c 1032s |      17 |   341729 |   272732 |     9881     47 |        0 |        0
1034.43/1034.75	c 1034s |      17 |   342490 |   273432 |     9881     47 |        0 |        0
1036.53/1036.87	c 1036s |      17 |   343161 |   274032 |     9881     47 |        0 |        0
1038.63/1038.99	c 1038s |      17 |   343832 |   274632 |     9881     47 |        0 |        0
1041.03/1041.30	c 1040s |      17 |   344474 |   275232 |     9881     47 |        0 |        0
1043.13/1043.46	c 1043s |      17 |   345062 |   275732 |     9881     47 |        0 |        0
1045.23/1045.50	c 1045s |      17 |   345717 |   276332 |     9881     47 |        0 |        0
1047.43/1047.73	c 1047s |      17 |   346369 |   276932 |     9881     47 |        0 |        0
1049.52/1049.80	c 1049s |      17 |   346927 |   277432 |     9881     47 |        0 |        0
1051.52/1051.85	c 1051s |      17 |   347350 |   277832 |     9881     48 |        0 |        0
1053.63/1053.99	c 1053s |      17 |   347994 |   278432 |     9881     48 |        0 |        0
1055.83/1056.13	c 1055s |      17 |   348538 |   278932 |     9881     48 |        0 |        0
1058.03/1058.35	c 1057s |      17 |   349191 |   279532 |     9881     48 |        0 |        0
1060.31/1060.61	c 1060s |      17 |   349963 |   280232 |     9881     48 |        0 |        0
1062.42/1062.70	c 1062s |      17 |   350617 |   280832 |     9881     48 |        0 |        0
1064.52/1064.88	c 1064s |      17 |   351267 |   281432 |     9881     48 |        0 |        0
1066.62/1066.92	c 1066s |      17 |   351804 |   281932 |     9881     48 |        0 |        0
1068.82/1069.19	c 1068s |      17 |   352475 |   282532 |     9881     48 |        0 |        0
1071.12/1071.48	c 1071s |      17 |   353028 |   283032 |     9881     48 |        0 |        0
1073.32/1073.67	c 1073s |      17 |   353466 |   283432 |     9881     48 |        0 |        0
1075.71/1076.03	c 1075s |      17 |   354014 |   283932 |     9881     48 |        0 |        0
1078.21/1078.54	c 1078s |      17 |   354548 |   284432 |     9881     48 |        0 |        0
1080.40/1080.72	c 1080s |      17 |   354767 |   284632 |     9881     49 |        0 |        0
1082.70/1083.04	c 1082s |      17 |   355549 |   285332 |     9881     49 |        0 |        0
1084.91/1085.28	c 1084s |      17 |   356197 |   285932 |     9881     49 |        0 |        0
1087.31/1087.65	c 1087s |      17 |   356876 |   286532 |     9881     49 |        0 |        0
1089.40/1089.70	c 1089s |      17 |   357414 |   287032 |     9881     49 |        0 |        0
1091.70/1092.01	c 1091s |      17 |   357954 |   287532 |     9881     49 |        0 |        0
1094.00/1094.36	c 1093s |      17 |   358489 |   288032 |     9881     49 |        0 |        0
1096.40/1096.75	c 1096s |      17 |   359048 |   288532 |     9881     49 |        0 |        0
1098.70/1099.09	c 1098s |      17 |   359587 |   289032 |     9881     49 |        0 |        0
1101.19/1101.60	c 1101s |      17 |   360126 |   289532 |     9881     49 |        0 |        0
1103.30/1103.62	c 1103s |      17 |   360571 |   289932 |     9881     49 |        0 |        0
1105.79/1106.16	c 1105s |      17 |   361095 |   290432 |     9881     49 |        0 |        0
1107.89/1108.25	c 1107s |      17 |   361533 |   290832 |     9881     49 |        0 |        0
1109.99/1110.30	c 1109s |      17 |   361852 |   291132 |     9881     50 |        0 |        0
1111.99/1112.33	c 1111s |      17 |   362318 |   291532 |     9881     50 |        0 |        0
1114.18/1114.56	c 1114s |      17 |   362983 |   292132 |     9881     50 |        0 |        0
1116.39/1116.77	c 1116s |      17 |   363517 |   292632 |     9881     50 |        0 |        0
1118.49/1118.82	c 1118s |      17 |   364045 |   293132 |     9881     50 |        0 |        0
1120.48/1120.90	c 1120s |      17 |   364588 |   293632 |     9881     50 |        0 |        0
1122.68/1123.09	c 1122s |      17 |   365132 |   294132 |    10870     50 |        0 |        0
1124.88/1125.21	c 1124s |      17 |   365664 |   294632 |    10870     50 |        0 |        0
1127.19/1127.58	c 1127s |      17 |   366116 |   295032 |    10870     50 |        0 |        0
1129.48/1129.81	c 1129s |      17 |   366554 |   295432 |    10870     50 |        0 |        0
1131.58/1131.97	c 1131s |      17 |   366987 |   295832 |    10870     50 |        0 |        0
1133.57/1133.93	c 1133s |      18 |   367431 |   296252 |    10870     50 |        0 |        0
1135.68/1136.03	c 1135s |      18 |   371085 |   296852 |    10870     51 |        0 |        0
1137.68/1138.07	c 1137s |      18 |   372448 |   298052 |    10870     51 |        0 |        0
1139.87/1140.21	c 1139s |      18 |   373625 |   299052 |    10870     51 |        0 |        0
1141.87/1142.25	c 1141s |      18 |   374661 |   299952 |    10870     51 |        0 |        0
1143.87/1144.28	c 1143s |      18 |   375664 |   300852 |    10870     51 |        0 |        0
1146.17/1146.56	c 1146s |      18 |   376689 |   301752 |    10870     51 |        0 |        0
1148.38/1148.74	c 1148s |      18 |   377756 |   302652 |    10870     51 |        0 |        0
1150.67/1151.01	c 1150s |      18 |   378799 |   303552 |    10870     51 |        0 |        0
1152.66/1153.05	c 1152s |      18 |   379747 |   304352 |    10870     51 |        0 |        0
1154.96/1155.35	c 1154s |      18 |   380547 |   305052 |    10870     51 |        0 |        0
1157.17/1157.57	c 1157s |      18 |   381309 |   305752 |    10870     51 |        0 |        0
1159.26/1159.64	c 1159s |      18 |   381987 |   306352 |    10870     51 |        0 |        0
1161.46/1161.80	c 1161s |      18 |   382539 |   306852 |    10870     52 |        0 |        0
1163.66/1164.08	c 1163s |      18 |   383303 |   307552 |    10870     52 |        0 |        0
1165.85/1166.26	c 1165s |      18 |   384097 |   308252 |    10870     52 |        0 |        0
1167.96/1168.36	c 1167s |      18 |   384875 |   308952 |    10870     52 |        0 |        0
1169.96/1170.36	c 1169s |      18 |   385550 |   309552 |    10870     52 |        0 |        0
1172.05/1172.48	c 1172s |      18 |   386234 |   310152 |    10870     52 |        0 |        0
1174.35/1174.72	c 1174s |      18 |   386903 |   310752 |    10870     52 |        0 |        0
1176.66/1177.09	c 1176s |      18 |   387570 |   311352 |    10870     52 |        0 |        0
1178.86/1179.30	c 1178s |      18 |   388130 |   311852 |    10870     52 |        0 |        0
1181.24/1181.66	c 1181s |      18 |   388657 |   312352 |    10870     52 |        0 |        0
1183.36/1183.77	c 1183s |      18 |   389218 |   312852 |    10870     52 |        0 |        0
1185.65/1186.08	c 1185s |      18 |   389873 |   313452 |    10870     52 |        0 |        0
1188.15/1188.52	c 1188s |      18 |   390521 |   314052 |    10870     52 |        0 |        0
1190.84/1191.29	c 1190s |      18 |   390953 |   314452 |    10870     53 |        0 |        0
1193.15/1193.54	c 1193s |      18 |   391715 |   315152 |    10870     53 |        0 |        0
1195.45/1195.83	c 1195s |      18 |   392489 |   315852 |    10870     53 |        0 |        0
1197.65/1198.01	c 1197s |      18 |   393169 |   316452 |    10870     53 |        0 |        0
1199.93/1200.35	c 1199s |      18 |   393823 |   317052 |    10870     53 |        0 |        0
1202.05/1202.47	c 1202s |      18 |   394377 |   317552 |    10870     53 |        0 |        0
1204.24/1204.69	c 1204s |      18 |   395142 |   318252 |    10870     53 |        0 |        0
1206.34/1206.71	c 1206s |      18 |   395802 |   318852 |    10870     53 |        0 |        0
1208.54/1208.91	c 1208s |      18 |   396456 |   319452 |    10870     53 |        0 |        0
1210.53/1210.97	c 1210s |      18 |   396998 |   319952 |    10870     53 |        0 |        0
1212.93/1213.37	c 1212s |      18 |   397632 |   320552 |    10870     53 |        0 |        0
1215.33/1215.70	c 1215s |      18 |   398181 |   321052 |    10870     53 |        0 |        0
1217.34/1217.72	c 1217s |      18 |   398603 |   321452 |    10870     53 |        0 |        0
1219.72/1220.12	c 1219s |      18 |   399145 |   321952 |    10870     53 |        0 |        0
1222.02/1222.46	c 1222s |      18 |   399679 |   322452 |    10870     53 |        0 |        0
1224.32/1224.72	c 1224s |      18 |   400014 |   322752 |    10870     54 |        0 |        0
1226.52/1226.99	c 1226s |      18 |   400800 |   323452 |    10870     54 |        0 |        0
1228.62/1229.09	c 1228s |      18 |   401472 |   324052 |    10870     54 |        0 |        0
1230.91/1231.35	c 1230s |      18 |   402131 |   324652 |    10870     54 |        0 |        0
1233.22/1233.60	c 1233s |      18 |   402820 |   325252 |    10870     54 |        0 |        0
1235.42/1235.85	c 1235s |      18 |   403285 |   325652 |    10870     54 |        0 |        0
1237.52/1237.90	c 1237s |      18 |   403943 |   326252 |    10870     54 |        0 |        0
1239.51/1239.91	c 1239s |      18 |   404618 |   326852 |    10870     54 |        0 |        0
1241.71/1242.15	c 1241s |      18 |   405281 |   327452 |    10870     54 |        0 |        0
1244.02/1244.45	c 1244s |      18 |   405956 |   328052 |    10870     54 |        0 |        0
1246.41/1246.80	c 1246s |      18 |   406631 |   328652 |    10870     54 |        0 |        0
1248.71/1249.12	c 1248s |      18 |   407318 |   329252 |    10870     54 |        0 |        0
1251.11/1251.50	c 1251s |      18 |   407850 |   329752 |    10870     54 |        0 |        0
1253.31/1253.71	c 1253s |      18 |   408390 |   330252 |    10870     54 |        0 |        0
1255.41/1255.80	c 1255s |      18 |   408730 |   330552 |    10870     55 |        0 |        0
1257.71/1258.15	c 1257s |      18 |   409392 |   331152 |    10870     55 |        0 |        0
1260.00/1260.41	c 1260s |      18 |   410015 |   331752 |    10870     55 |        0 |        0
1262.61/1263.00	c 1262s |      18 |   410718 |   332352 |    10870     55 |        0 |        0
1264.72/1265.18	c 1264s |      18 |   411621 |   333152 |    10870     55 |        0 |        0
1266.91/1267.37	c 1266s |      18 |   412450 |   333852 |    10870     55 |        0 |        0
1269.11/1269.59	c 1269s |      18 |   413220 |   334552 |    10870     55 |        0 |        0
1271.50/1271.96	c 1271s |      18 |   414045 |   335252 |    10870     55 |        0 |        0
1273.50/1273.99	c 1273s |      18 |   414691 |   335852 |    10870     55 |        0 |        0
1275.80/1276.20	c 1275s |      18 |   415371 |   336452 |    10870     55 |        0 |        0
1278.09/1278.53	c 1278s |      18 |   416044 |   337052 |    10870     55 |        0 |        0
1280.39/1280.87	c 1280s |      18 |   416750 |   337652 |    10870     55 |        0 |        0
1282.69/1283.15	c 1282s |      18 |   417430 |   338252 |    10870     55 |        0 |        0
1284.89/1285.35	c 1284s |      18 |   417894 |   338652 |    10870     56 |        0 |        0
1286.99/1287.45	c 1287s |      18 |   418642 |   339352 |    10870     56 |        0 |        0
1288.99/1289.50	c 1289s |      18 |   419411 |   340052 |    10870     56 |        0 |        0
1291.89/1292.34	c 1291s |      18 |   420205 |   340752 |    10870     56 |        0 |        0
1294.19/1294.66	c 1294s |      18 |   421086 |   341552 |    10870     56 |        0 |        0
1296.39/1296.82	c 1296s |      18 |   421935 |   342252 |    10870     56 |        0 |        0
1298.69/1299.12	c 1298s |      18 |   422752 |   342952 |    10870     56 |        0 |        0
1300.89/1301.37	c 1300s |      18 |   423454 |   343552 |    10870     56 |        0 |        0
1303.18/1303.61	c 1303s |      18 |   424169 |   344152 |    10870     56 |        0 |        0
1305.39/1305.87	c 1305s |      18 |   424827 |   344752 |    10870     56 |        0 |        0
1307.78/1308.28	c 1307s |      18 |   425535 |   345352 |    10870     56 |        0 |        0
1309.88/1310.30	c 1309s |      18 |   426072 |   345852 |    10870     56 |        0 |        0
1311.88/1312.36	c 1311s |      18 |   426622 |   346352 |    10870     56 |        0 |        0
1313.87/1314.39	c 1314s |      18 |   426941 |   346652 |    10870     57 |        0 |        0
1316.07/1316.58	c 1316s |      18 |   427717 |   347352 |    10870     57 |        0 |        0
1318.27/1318.77	c 1318s |      18 |   428385 |   347952 |    10870     57 |        0 |        0
1320.57/1321.07	c 1320s |      18 |   429053 |   348552 |    10870     57 |        0 |        0
1322.67/1323.15	c 1322s |      18 |   429599 |   349052 |    10870     57 |        0 |        0
1324.96/1325.48	c 1325s |      18 |   430270 |   349652 |    10870     57 |        0 |        0
1327.46/1327.93	c 1327s |      18 |   430921 |   350252 |    10870     57 |        0 |        0
1329.76/1330.25	c 1329s |      18 |   431601 |   350852 |    10870     57 |        0 |        0
1331.96/1332.47	c 1332s |      18 |   432335 |   351452 |    10870     57 |        0 |        0
1334.36/1334.88	c 1334s |      18 |   432999 |   352052 |    10870     57 |        0 |        0
1336.76/1337.26	c 1336s |      18 |   433684 |   352652 |    10870     57 |        0 |        0
1338.76/1339.26	c 1338s |      18 |   434260 |   353152 |    10870     57 |        0 |        0
1341.05/1341.53	c 1341s |      18 |   434933 |   353752 |    10870     57 |        0 |        0
1343.05/1343.56	c 1343s |      18 |   435531 |   354252 |    10870     57 |        0 |        0
1345.56/1346.05	c 1345s |      18 |   435982 |   354652 |    10870     58 |        0 |        0
1347.96/1348.49	c 1348s |      18 |   436548 |   355152 |    10870     58 |        0 |        0
1350.65/1351.17	c 1350s |      18 |   437340 |   355852 |    10870     58 |        0 |        0
1353.05/1353.52	c 1353s |      18 |   438109 |   356552 |    10870     58 |        0 |        0
1355.15/1355.68	c 1355s |      18 |   438756 |   357152 |    10870     58 |        0 |        0
1357.45/1357.99	c 1357s |      18 |   439438 |   357752 |    10870     58 |        0 |        0
1359.75/1360.23	c 1359s |      18 |   440265 |   358452 |    10870     58 |        0 |        0
1361.74/1362.23	c 1361s |      18 |   441043 |   359052 |    10870     58 |        0 |        0
1364.04/1364.50	c 1364s |      18 |   441736 |   359652 |    10870     58 |        0 |        0
1366.24/1366.71	c 1366s |      18 |   442287 |   360152 |    10870     58 |        0 |        0
1368.54/1369.08	c 1368s |      18 |   442994 |   360752 |    10870     58 |        0 |        0
1370.54/1371.09	c 1370s |      18 |   443568 |   361252 |    10870     58 |        0 |        0
1372.83/1373.39	c 1373s |      18 |   444242 |   361852 |    10870     58 |        0 |        0
1374.94/1375.41	c 1375s |      18 |   444811 |   362352 |    10870     58 |        0 |        0
1377.14/1377.63	c 1377s |      18 |   445160 |   362652 |    10870     59 |        0 |        0
1379.14/1379.66	c 1379s |      18 |   445969 |   363352 |    10870     59 |        0 |        0
1381.24/1381.79	c 1381s |      18 |   446747 |   364052 |    10870     59 |        0 |        0
1383.44/1383.91	c 1383s |      18 |   447550 |   364752 |    10870     59 |        0 |        0
1385.73/1386.23	c 1385s |      18 |   448340 |   365452 |    10870     59 |        0 |        0
1387.93/1388.41	c 1388s |      18 |   449015 |   366052 |    10870     59 |        0 |        0
1390.13/1390.61	c 1390s |      18 |   449582 |   366552 |    10870     59 |        0 |        0
1392.33/1392.81	c 1392s |      18 |   450122 |   367052 |    10870     59 |        0 |        0
1394.34/1394.88	c 1394s |      18 |   450694 |   367552 |    10870     59 |        0 |        0
1396.54/1397.06	c 1396s |      18 |   451272 |   368052 |    10870     59 |        0 |        0
1398.53/1399.07	c 1398s |      18 |   451710 |   368452 |    10870     59 |        0 |        0
1400.73/1401.27	c 1400s |      18 |   452281 |   368952 |    10870     59 |        0 |        0
1402.93/1403.48	c 1403s |      18 |   452841 |   369452 |    10870     59 |        0 |        0
1405.33/1405.86	c 1405s |      18 |   453400 |   369952 |    10870     59 |        0 |        0
1407.43/1407.98	c 1407s |      18 |   453839 |   370352 |    10870     59 |        0 |        0
1409.63/1410.18	c 1409s |      18 |   454165 |   370652 |    10870     60 |        0 |        0
1411.83/1412.31	c 1411s |      18 |   454593 |   371052 |    10870     60 |        0 |        0
1414.14/1414.62	c 1414s |      18 |   455261 |   371652 |    10870     60 |        0 |        0
1416.43/1416.98	c 1416s |      18 |   455898 |   372252 |    10870     60 |        0 |        0
1418.72/1419.25	c 1418s |      18 |   456437 |   372752 |    10870     60 |        0 |        0
1421.12/1421.67	c 1421s |      18 |   456996 |   373252 |    10870     60 |        0 |        0
1423.33/1423.81	c 1423s |      18 |   457460 |   373652 |    10870     60 |        0 |        0
1425.63/1426.11	c 1425s |      18 |   458118 |   374252 |    10870     60 |        0 |        0
1427.82/1428.33	c 1427s |      18 |   458763 |   374852 |    10870     60 |        0 |        0
1430.22/1430.70	c 1430s |      18 |   459418 |   375452 |    10870     60 |        0 |        0
1432.42/1432.96	c 1432s |      18 |   459956 |   375952 |    10870     60 |        0 |        0
1434.72/1435.21	c 1434s |      18 |   460486 |   376452 |    10870     60 |        0 |        0
1437.12/1437.62	c 1437s |      18 |   461029 |   376952 |    10870     60 |        0 |        0
1439.33/1439.87	c 1439s |      18 |   461560 |   377452 |    10870     60 |        0 |        0
1441.33/1441.88	c 1441s |      18 |   462116 |   377952 |    10870     60 |        0 |        0
1443.53/1444.00	c 1443s |      18 |   462674 |   378452 |    10870     60 |        0 |        0
1445.53/1446.05	c 1445s |      18 |   462999 |   378752 |    10870     61 |        0 |        0
1447.72/1448.29	c 1447s |      18 |   463553 |   379252 |    10870     61 |        0 |        0
1451.02/1451.54	c 1451s |      18 |   464230 |   379852 |    10870     61 |        0 |        0
1453.32/1453.89	c 1453s |      18 |   464974 |   380552 |    10870     61 |        0 |        0
1455.62/1456.18	c 1455s |      18 |   465672 |   381152 |    10870     61 |        0 |        0
1457.82/1458.30	c 1457s |      18 |   466320 |   381752 |    10870     61 |        0 |        0
1459.92/1460.42	c 1460s |      18 |   466845 |   382252 |    10870     61 |        0 |        0
1462.22/1462.75	c 1462s |      18 |   467538 |   382852 |    10870     61 |        0 |        0
1464.62/1465.12	c 1464s |      18 |   468196 |   383452 |    10870     61 |        0 |        0
1466.72/1467.20	c 1466s |      18 |   468736 |   383952 |    10870     61 |        0 |        0
1468.72/1469.29	c 1468s |      18 |   469274 |   384452 |    10870     61 |        0 |        0
1470.82/1471.37	c 1470s |      18 |   469828 |   384952 |    10870     61 |        0 |        0
1472.92/1473.44	c 1473s |      18 |   470378 |   385452 |    10870     61 |        0 |        0
1475.32/1475.83	c 1475s |      18 |   470926 |   385952 |    10870     61 |        0 |        0
1477.72/1478.27	c 1477s |      18 |   471458 |   386452 |    10870     61 |        0 |        0
1480.01/1480.56	c 1480s |      18 |   471780 |   386752 |    10870     62 |        0 |        0
1482.01/1482.58	c 1482s |      18 |   472325 |   387252 |    10870     62 |        0 |        0
1484.22/1484.79	c 1484s |      18 |   472978 |   387852 |    10870     62 |        0 |        0
1486.52/1487.08	c 1486s |      18 |   473618 |   388452 |    10870     62 |        0 |        0
1488.62/1489.17	c 1488s |      18 |   474155 |   388952 |    10870     62 |        0 |        0
1490.72/1491.27	c 1490s |      18 |   474714 |   389452 |    10870     62 |        0 |        0
1493.12/1493.66	c 1493s |      18 |   475390 |   390052 |    10870     62 |        0 |        0
1495.21/1495.79	c 1495s |      18 |   475946 |   390552 |    10870     62 |        0 |        0
1497.61/1498.18	c 1497s |      18 |   476496 |   391052 |    10870     62 |        0 |        0
1499.92/1500.43	c 1500s |      18 |   477029 |   391552 |    10870     62 |        0 |        0
1502.12/1502.69	c 1502s |      18 |   477569 |   392052 |    10870     62 |        0 |        0
1504.61/1505.11	c 1504s |      18 |   478114 |   392552 |    10870     62 |        0 |        0
1507.01/1507.59	c 1507s |      18 |   478649 |   393052 |    10870     62 |        0 |        0
1509.11/1509.64	c 1509s |      18 |   479082 |   393452 |    10870     62 |        0 |        0
1511.11/1511.64	c 1511s |      18 |   479525 |   393852 |    10870     62 |        0 |        0
1513.22/1513.74	c 1513s |      18 |   479949 |   394252 |    10870     62 |        0 |        0
1515.62/1516.18	c 1515s |      18 |   480504 |   394752 |    10870     62 |        0 |        0
1517.91/1518.43	c 1518s |      18 |   480823 |   395052 |    10870     63 |        0 |        0
1520.11/1520.69	c 1520s |      18 |   481174 |   395352 |    10870     63 |        0 |        0
1522.31/1522.80	c 1522s |      18 |   481846 |   395952 |    10870     63 |        0 |        0
1524.51/1525.06	c 1524s |      18 |   482530 |   396552 |    10870     63 |        0 |        0
1526.51/1527.09	c 1526s |      18 |   483278 |   397152 |    10870     63 |        0 |        0
1528.80/1529.32	c 1528s |      18 |   483945 |   397752 |    10870     63 |        0 |        0
1531.10/1531.60	c 1531s |      18 |   484611 |   398352 |    10870     63 |        0 |        0
1533.41/1533.96	c 1533s |      18 |   485282 |   398952 |    10870     63 |        0 |        0
1535.61/1536.11	c 1535s |      18 |   485865 |   399452 |    10870     63 |        0 |        0
1537.81/1538.31	c 1537s |      18 |   486431 |   399952 |    10870     63 |        0 |        0
1539.81/1540.39	c 1540s |      18 |   487015 |   400452 |    10870     63 |        0 |        0
1541.91/1542.47	c 1542s |      18 |   487583 |   400952 |    10870     63 |        0 |        0
1544.11/1544.65	c 1544s |      18 |   488114 |   401452 |    10870     63 |        0 |        0
1546.41/1546.94	c 1546s |      18 |   488686 |   401952 |    10870     63 |        0 |        0
1548.81/1549.31	c 1548s |      18 |   489231 |   402452 |    10870     63 |        0 |        0
1552.00/1552.53	c 1552s |      18 |   489762 |   402952 |    10870     64 |        0 |        0
1554.31/1554.82	c 1554s |      18 |   490308 |   403452 |    10870     64 |        0 |        0
1556.41/1556.90	c 1556s |      18 |   490875 |   403952 |    10870     64 |        0 |        0
1558.41/1558.95	c 1558s |      18 |   491382 |   404352 |    10870     64 |        0 |        0
1560.70/1561.23	c 1560s |      18 |   492058 |   404952 |    10870     64 |        0 |        0
1563.00/1563.53	c 1563s |      18 |   492717 |   405552 |    10870     64 |        0 |        0
1565.20/1565.79	c 1565s |      18 |   493479 |   406152 |    10870     64 |        0 |        0
1567.61/1568.12	c 1567s |      18 |   494189 |   406752 |    10870     64 |        0 |        0
1569.71/1570.28	c 1569s |      18 |   494770 |   407252 |    10870     64 |        0 |        0
1572.01/1572.50	c 1572s |      18 |   495325 |   407752 |    10870     64 |        0 |        0
1574.11/1574.65	c 1574s |      18 |   495877 |   408252 |    10870     64 |        0 |        0
1576.31/1576.80	c 1576s |      18 |   496431 |   408752 |    10870     64 |        0 |        0
1578.70/1579.25	c 1578s |      18 |   496975 |   409252 |    10870     64 |        0 |        0
1581.00/1581.55	c 1581s |      18 |   497397 |   409652 |    10870     64 |        0 |        0
1583.30/1583.84	c 1583s |      18 |   498003 |   410152 |    10870     64 |        0 |        0
1585.40/1585.91	c 1585s |      18 |   498572 |   410652 |    10870     64 |        0 |        0
1587.50/1588.04	c 1587s |      18 |   499029 |   411052 |    10870     65 |        0 |        0
1589.70/1590.26	c 1589s |      18 |   499723 |   411652 |    10870     65 |        0 |        0
1591.80/1592.34	c 1591s |      18 |   500382 |   412252 |    10870     65 |        0 |        0
1593.80/1594.39	c 1594s |      18 |   501079 |   412852 |    10870     65 |        0 |        0
1595.90/1596.48	c 1596s |      18 |   501913 |   413552 |    10870     65 |        0 |        0
1598.10/1598.67	c 1598s |      18 |   502627 |   414152 |    10870     65 |        0 |        0
1600.40/1600.94	c 1600s |      18 |   503184 |   414652 |    10870     65 |        0 |        0
1602.60/1603.17	c 1602s |      18 |   503847 |   415252 |    10870     65 |        0 |        0
1604.80/1605.36	c 1604s |      18 |   504421 |   415752 |    10870     65 |        0 |        0
1607.19/1607.71	c 1607s |      18 |   504966 |   416252 |    10870     65 |        0 |        0
1609.39/1609.99	c 1609s |      18 |   505517 |   416752 |    10870     65 |        0 |        0
1611.79/1612.38	c 1612s |      18 |   506193 |   417352 |    10870     65 |        0 |        0
1614.10/1614.61	c 1614s |      18 |   506721 |   417852 |    10870     65 |        0 |        0
1616.51/1617.07	c 1616s |      18 |   507267 |   418352 |    10870     65 |        0 |        0
1618.99/1619.55	c 1619s |      18 |   507810 |   418852 |    10870     65 |        0 |        0
1621.29/1621.83	c 1621s |      18 |   508135 |   419152 |    10870     66 |        0 |        0
1623.59/1624.14	c 1623s |      18 |   508689 |   419652 |    10870     66 |        0 |        0
1625.59/1626.16	c 1625s |      18 |   509214 |   420152 |    10870     66 |        0 |        0
1627.70/1628.26	c 1627s |      18 |   509790 |   420652 |    10870     66 |        0 |        0
1629.90/1630.47	c 1630s |      18 |   510679 |   421452 |    10870     66 |        0 |        0
1632.10/1632.65	c 1632s |      18 |   511445 |   422152 |    10870     66 |        0 |        0
1634.20/1634.72	c 1634s |      18 |   512248 |   422852 |    10870     66 |        0 |        0
1636.49/1637.03	c 1636s |      18 |   513020 |   423552 |    10870     66 |        0 |        0
1638.79/1639.33	c 1638s |      18 |   513800 |   424252 |    10870     66 |        0 |        0
1640.89/1641.48	c 1641s |      18 |   514451 |   424852 |    10870     66 |        0 |        0
1643.09/1643.68	c 1643s |      18 |   515114 |   425452 |    10870     66 |        0 |        0
1645.39/1645.90	c 1645s |      18 |   515798 |   426052 |    10870     66 |        0 |        0
1647.39/1647.99	c 1647s |      18 |   516337 |   426552 |    10870     66 |        0 |        0
1649.89/1650.48	c 1650s |      18 |   516779 |   426952 |    10870     67 |        0 |        0
1652.19/1652.78	c 1652s |      18 |   517664 |   427752 |    10870     67 |        0 |        0
1654.49/1655.02	c 1654s |      18 |   518456 |   428452 |    10870     67 |        0 |        0
1656.59/1657.15	c 1656s |      18 |   519125 |   429052 |    10870     67 |        0 |        0
1658.79/1659.35	c 1658s |      18 |   519763 |   429652 |    10870     67 |        0 |        0
1661.09/1661.63	c 1661s |      18 |   520415 |   430252 |    10870     67 |        0 |        0
1663.29/1663.81	c 1663s |      18 |   521046 |   430852 |    10870     67 |        0 |        0
1665.69/1666.20	c 1665s |      18 |   521727 |   431452 |    10870     67 |        0 |        0
1668.09/1668.62	c 1668s |      18 |   522382 |   432052 |    10870     67 |        0 |        0
1670.19/1670.72	c 1670s |      18 |   522934 |   432552 |    10870     67 |        0 |        0
1672.18/1672.77	c 1672s |      18 |   523504 |   433052 |    10870     67 |        0 |        0
1674.38/1674.99	c 1674s |      18 |   524152 |   433652 |    10870     67 |        0 |        0
1676.68/1677.24	c 1676s |      18 |   524811 |   434252 |    10870     67 |        0 |        0
1678.79/1679.34	c 1678s |      18 |   525384 |   434752 |    10870     67 |        0 |        0
1680.99/1681.53	c 1681s |      18 |   525837 |   435152 |    10870     68 |        0 |        0
1683.09/1683.64	c 1683s |      18 |   526486 |   435752 |    10870     68 |        0 |        0
1685.19/1685.75	c 1685s |      18 |   527143 |   436352 |    10870     68 |        0 |        0
1687.59/1688.11	c 1687s |      18 |   527805 |   436952 |    10870     68 |        0 |        0
1689.78/1690.30	c 1689s |      18 |   528245 |   437352 |    10870     68 |        0 |        0
1691.78/1692.30	c 1691s |      18 |   528887 |   437952 |    10870     68 |        0 |        0
1693.78/1694.37	c 1693s |      18 |   529534 |   438552 |    10870     68 |        0 |        0
1696.08/1696.62	c 1696s |      18 |   530181 |   439152 |    10870     68 |        0 |        0
1698.19/1698.78	c 1698s |      18 |   530841 |   439752 |    10870     68 |        0 |        0
1700.48/1701.07	c 1700s |      18 |   531514 |   440352 |    10870     68 |        0 |        0
1702.88/1703.45	c 1703s |      18 |   532166 |   440952 |    10870     68 |        0 |        0
1705.08/1705.69	c 1705s |      18 |   532693 |   441452 |    11958     68 |        0 |        0
1707.58/1708.19	c 1707s |      18 |   533239 |   441952 |    11958     68 |        0 |        0
1709.78/1710.30	c 1709s |      18 |   533787 |   442452 |    11958     68 |        0 |        0
1712.08/1712.60	c 1712s |      18 |   534350 |   442952 |    11958     68 |        0 |        0
1714.08/1714.65	c 1714s |      18 |   534803 |   443352 |    11958     68 |        0 |        0
1716.28/1716.90	c 1716s |      18 |   535230 |   443752 |    11958     68 |        0 |        0
1719.68/1720.24	c 1719s |      18 |   535670 |   444152 |    11958     69 |        0 |        0
1720.99/1721.60	c 1721s |      19 |   536038 |   444482 |    11958     69 |        0 |        0
1723.08/1723.63	c 1723s |      19 |   538672 |   444982 |    11958     69 |        0 |        0
1725.28/1725.88	c 1725s |      19 |   539485 |   445682 |    11958     69 |        0 |        0
1727.58/1728.13	c 1727s |      19 |   540178 |   446282 |    11958     69 |        0 |        0
1729.78/1730.35	c 1729s |      19 |   540879 |   446882 |    11958     69 |        0 |        0
1732.08/1732.61	c 1732s |      19 |   541555 |   447482 |    11958     69 |        0 |        0
1734.38/1734.93	c 1734s |      19 |   542265 |   448082 |    11958     69 |        0 |        0
1736.67/1737.27	c 1736s |      19 |   542924 |   448682 |    11958     69 |        0 |        0
1738.97/1739.50	c 1739s |      19 |   543478 |   449182 |    11958     69 |        0 |        0
1741.28/1741.88	c 1741s |      19 |   544045 |   449682 |    11958     69 |        0 |        0
1743.58/1744.11	c 1743s |      19 |   544585 |   450182 |    11958     69 |        0 |        0
1745.78/1746.38	c 1745s |      19 |   545129 |   450682 |    11958     69 |        0 |        0
1748.08/1748.64	c 1748s |      19 |   545700 |   451182 |    11958     69 |        0 |        0
1750.28/1750.81	c 1750s |      19 |   546251 |   451682 |    11958     69 |        0 |        0
1752.28/1752.82	c 1752s |      19 |   546616 |   451982 |    11958     70 |        0 |        0
1754.68/1755.22	c 1754s |      19 |   547163 |   452482 |    11958     70 |        0 |        0
1757.07/1757.69	c 1757s |      19 |   547723 |   452982 |    11958     70 |        0 |        0
1759.37/1759.94	c 1759s |      19 |   548171 |   453382 |    11958     70 |        0 |        0
1761.78/1762.32	c 1761s |      19 |   548612 |   453782 |    11958     70 |        0 |        0
1764.17/1764.72	c 1764s |      19 |   549031 |   454182 |    11958     70 |        0 |        0
1766.27/1766.89	c 1766s |      19 |   549495 |   454582 |    11958     70 |        0 |        0
1768.47/1769.09	c 1768s |      19 |   549968 |   454982 |    11958     70 |        0 |        0
1770.77/1771.36	c 1770s |      19 |   550412 |   455382 |    11958     70 |        0 |        0
1772.97/1773.58	c 1773s |      19 |   550884 |   455782 |    11958     70 |        0 |        0
1775.07/1775.69	c 1775s |      19 |   551329 |   456182 |    11958     70 |        0 |        0
1777.27/1777.84	c 1777s |      19 |   551950 |   456682 |    11958     70 |        0 |        0
1779.27/1779.90	c 1779s |      19 |   552417 |   457082 |    11958     70 |        0 |        0
1781.78/1782.34	c 1781s |      19 |   552871 |   457482 |    11958     70 |        0 |        0
1784.17/1784.76	c 1784s |      19 |   553321 |   457882 |    11958     70 |        0 |        0
1786.67/1787.28	c 1786s |      19 |   553790 |   458282 |    11958     70 |        0 |        0
1789.18/1789.75	c 1789s |      19 |   554239 |   458682 |    11958     70 |        0 |        0
1791.27/1791.84	c 1791s |      19 |   554584 |   458982 |    11958     70 |        0 |        0
1793.47/1794.04	c 1793s |      19 |   554887 |   459282 |    11958     70 |        0 |        0
1796.07/1796.68	c 1796s |      19 |   555347 |   459682 |    11958     70 |        0 |        0
1798.97/1799.57	c 1799s |      19 |   555680 |   459982 |    11958     71 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093328-1466078896/watcher-4093328-1466078896 -o /tmp/evaluation-result-4093328-1466078896/solver-4093328-1466078896 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16167 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093328-1466078896.wbo 

pid=16651
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.35 2.28 2.23 4/181 16654
/proc/meminfo: memFree=29270600/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 2878 0 0 0 0 0 0 0 20 0 4 0 9935563 786886656 2728 33554432000 4194304 16246674 140733711381760 140733711381184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 192879 2736 441 2943 0 189773 0
[pid=16654/tid=16655] ppid=16651 vsize=786876 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 805761024 2798 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=790972 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 809955328 2815 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=795068 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9935564 814149632 2831 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.35 2.28 2.23 4/181 16654
/proc/meminfo: memFree=29270600/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 27574 0 0 0 5 4 0 0 20 0 4 0 9935563 1247350784 27416 33554432000 4194304 16246674 140733711381760 140733711363648 12459048 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 304529 27422 606 2943 0 301423 0
[pid=16654/tid=16655] ppid=16651 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1247350784 27427 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1247350784 27433 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9935564 1247350784 27440 33554432000 4194304 16246674 140733711381760 140657550150832 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) 1218116

[startup+0.200491 s]
/proc/loadavg: 2.35 2.28 2.23 4/181 16654
/proc/meminfo: memFree=29270600/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 48499 0 0 0 12 6 0 0 20 0 4 0 9935563 1247350784 48341 33554432000 4194304 16246674 140733711381760 140733711363648 6169272 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 304529 48350 606 2943 0 301423 0
[pid=16654/tid=16655] ppid=16651 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1247350784 48358 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1247350784 48366 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9935564 1247350784 48371 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300519 s]
/proc/loadavg: 2.35 2.28 2.23 4/181 16654
/proc/meminfo: memFree=29270600/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 72017 0 0 0 20 9 0 0 20 0 4 0 9935563 1247350784 71857 33554432000 4194304 16246674 140733711381760 140733711363648 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 304529 71879 681 2943 0 301423 0
[pid=16654/tid=16655] ppid=16651 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1247350784 71893 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1247350784 71906 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9935564 1247350784 71920 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700443 s]
/proc/loadavg: 2.35 2.28 2.23 4/181 16654
/proc/meminfo: memFree=29270600/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1306180 CPUtime=0.69 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 106590 0 0 0 55 14 0 0 20 0 4 0 9935563 1337528320 106404 33554432000 4194304 16246674 140733711381760 140733711381072 5830026 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 326545 106412 867 2943 0 323439 0
[pid=16654/tid=16655] ppid=16651 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1337528320 106414 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1337528320 106418 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1337528320 106422 33554432000 4194304 16246674 140733711381760 140657550150832 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) 1306180

[startup+1.50038 s]
/proc/loadavg: 2.35 2.28 2.23 4/185 16658
/proc/meminfo: memFree=28837288/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 138256 0 0 0 131 18 0 0 20 0 4 0 9935563 1338576896 138069 33554432000 4194304 16246674 140733711381760 140733711363648 5523634 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 326801 138077 867 2943 0 323695 0
[pid=16654/tid=16655] ppid=16651 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1338576896 138083 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1338576896 138089 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1338576896 138093 33554432000 4194304 16246674 140733711381760 140657550150832 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) 1307204

[startup+3.10043 s]
/proc/loadavg: 2.35 2.28 2.23 4/185 16658
/proc/meminfo: memFree=28200424/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 267877 0 0 0 272 37 0 0 20 0 4 0 9935563 1338576896 267690 33554432000 4194304 16246674 140733711381760 140733711363648 5722381 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 326801 267690 867 2943 0 323695 0
[pid=16654/tid=16655] ppid=16651 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1338576896 267690 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1338576896 267690 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1338576896 267690 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.33 2.28 2.23 3/184 16658
/proc/meminfo: memFree=28199432/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 267919 0 0 0 592 37 0 0 20 0 4 0 9935563 1338576896 267732 33554432000 4194304 16246674 140733711381760 140733711363648 5711688 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 326801 267732 868 2943 0 323695 0
[pid=16654/tid=16655] ppid=16651 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1338576896 267732 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1338576896 267732 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1338576896 267732 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.30 2.27 2.23 3/185 16659
/proc/meminfo: memFree=28199564/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 268121 0 0 0 1232 37 0 0 20 0 4 0 9935563 1339625472 267934 33554432000 4194304 16246674 140733711381760 140733711363648 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 327057 267934 874 2943 0 323951 0
[pid=16654/tid=16655] ppid=16651 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1339625472 267934 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1339625472 267934 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1339625472 267934 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.30 2.28 2.23 3/185 16659
/proc/meminfo: memFree=28194380/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 269400 0 0 0 2511 37 0 0 20 0 4 0 9935563 1344868352 269213 33554432000 4194304 16246674 140733711381760 140733711363648 12478225 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 328337 269213 875 2943 0 325231 0
[pid=16654/tid=16655] ppid=16651 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1344868352 269213 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1344868352 269213 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1344868352 269213 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.27 2.27 2.23 3/185 16659
/proc/meminfo: memFree=28195352/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 269462 0 0 0 5070 38 0 0 20 0 4 0 9935563 1344868352 269275 33554432000 4194304 16246674 140733711381760 140733711363648 5546271 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 328337 269275 875 2943 0 325231 0
[pid=16654/tid=16655] ppid=16651 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1344868352 269275 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1344868352 269275 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1344868352 269275 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.29 2.27 2.23 3/185 16660
/proc/meminfo: memFree=28192704/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 269974 0 0 0 10189 39 0 0 20 0 4 0 9935563 1346965504 269787 33554432000 4194304 16246674 140733711381760 140733711363648 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 328849 269787 875 2943 0 325743 0
[pid=16654/tid=16655] ppid=16651 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1346965504 269787 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1346965504 269787 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1346965504 269787 33554432000 4194304 16246674 140733711381760 140657550150832 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) 1315396


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

/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1359548416 273116 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1327684

[startup+1302.3 s]
/proc/loadavg: 2.27 2.28 2.24 3/185 16690
/proc/meminfo: memFree=28154904/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1328708 CPUtime=1301.88 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 273660 0 0 0 130073 115 0 0 20 0 4 0 9935563 1360596992 273372 33554432000 4194304 16246674 140733711381760 140733711380936 5545796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 332177 273372 876 2943 0 329071 0
[pid=16654/tid=16655] ppid=16651 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1360596992 273372 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1360596992 273372 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1360596992 273372 33554432000 4194304 16246674 140733711381760 140657550150832 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) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.21 2.26 2.23 4/186 16694
/proc/meminfo: memFree=28154756/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1328708 CPUtime=1361.85 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 273703 0 0 0 136065 120 0 0 20 0 4 0 9935563 1360596992 273372 33554432000 4194304 16246674 140733711381760 140733711380936 5546219 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 332177 273372 876 2943 0 329071 0
[pid=16654/tid=16655] ppid=16651 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1360596992 273372 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1360596992 273372 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1360596992 273372 33554432000 4194304 16246674 140733711381760 140657550150832 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) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.25 2.26 2.23 3/185 16695
/proc/meminfo: memFree=28155420/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1328708 CPUtime=1421.83 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 273718 0 0 0 142059 124 0 0 20 0 4 0 9935563 1360596992 273372 33554432000 4194304 16246674 140733711381760 140733711363648 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 332177 273372 876 2943 0 329071 0
[pid=16654/tid=16655] ppid=16651 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1360596992 273372 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1360596992 273372 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1360596992 273372 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1328708

[startup+1482.3 s]
/proc/loadavg: 2.19 2.24 2.22 3/185 16696
/proc/meminfo: memFree=28154428/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1329732 CPUtime=1481.81 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 273974 0 0 0 148054 127 0 0 20 0 4 0 9935563 1361645568 273628 33554432000 4194304 16246674 140733711381760 140733711380936 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 332433 273628 876 2943 0 329327 0
[pid=16654/tid=16655] ppid=16651 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1361645568 273628 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1361645568 273628 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1361645568 273628 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1329732

[startup+1542.31 s]
/proc/loadavg: 2.22 2.23 2.22 3/185 16698
/proc/meminfo: memFree=28154180/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1329732 CPUtime=1541.82 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 273974 0 0 0 154051 131 0 0 20 0 4 0 9935563 1361645568 273628 33554432000 4194304 16246674 140733711381760 140733711380936 6020640 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 332433 273628 876 2943 0 329327 0
[pid=16654/tid=16655] ppid=16651 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1361645568 273628 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1361645568 273628 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1361645568 273628 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1329732

[startup+1602.3 s]
/proc/loadavg: 2.25 2.24 2.22 3/185 16699
/proc/meminfo: memFree=28152940/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1330756 CPUtime=1601.8 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 274230 0 0 0 160046 134 0 0 20 0 4 0 9935563 1362694144 273884 33554432000 4194304 16246674 140733711381760 140733711363648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 332689 273884 876 2943 0 329583 0
[pid=16654/tid=16655] ppid=16651 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1362694144 273884 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1362694144 273884 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1362694144 273884 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1330756

[startup+1662.3 s]
/proc/loadavg: 2.27 2.25 2.22 3/185 16700
/proc/meminfo: memFree=28147488/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1336900 CPUtime=1661.79 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 275581 0 0 0 166042 137 0 0 20 0 4 0 9935563 1368985600 275235 33554432000 4194304 16246674 140733711381760 140733711380936 6021573 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 334225 275235 876 2943 0 331119 0
[pid=16654/tid=16655] ppid=16651 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1368985600 275235 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1368985600 275235 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1368985600 275235 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.30 2.26 2.23 3/185 16701
/proc/meminfo: memFree=28147484/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1336900 CPUtime=1721.78 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 275581 0 0 0 172037 141 0 0 20 0 4 0 9935563 1368985600 275235 33554432000 4194304 16246674 140733711381760 140733711380856 5808212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 334225 275235 876 2943 0 331119 0
[pid=16654/tid=16655] ppid=16651 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1368985600 275235 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1368985600 275235 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1368985600 275235 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.21 2.24 2.22 4/185 16751
/proc/meminfo: memFree=28180080/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1336900 CPUtime=1781.78 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 275581 0 0 0 178035 143 0 0 20 0 4 0 9935563 1368985600 275235 33554432000 4194304 16246674 140733711381760 140733711380936 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 334225 275235 876 2943 0 331119 0
[pid=16654/tid=16655] ppid=16651 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1368985600 275235 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1368985600 275235 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1368985600 275235 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.24 2.22 3/185 16751
/proc/meminfo: memFree=28180332/32872528 swapFree=1504664/1684536
[pid=16654] ppid=16651 vsize=1336900 CPUtime=1800.07 cores=1,3,5,7
/proc/16654/stat : 16654 (toysat) R 16651 16654 12407 0 -1 4202496 275581 0 0 0 179864 143 0 0 20 0 4 0 9935563 1368985600 275235 33554432000 4194304 16246674 140733711381760 140733711380936 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16654/statm: 334225 275235 876 2943 0 331119 0
[pid=16654/tid=16655] ppid=16651 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16655/stat : 16655 (toysat) S 16651 16654 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9935564 1368985600 275235 33554432000 4194304 16246674 140733711381760 140657571114224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16654/tid=16656] ppid=16651 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16656/stat : 16656 (toysat) S 16651 16654 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9935564 1368985600 275235 33554432000 4194304 16246674 140733711381760 140657560624368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16654/tid=16657] ppid=16651 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/16654/task/16657/stat : 16657 (toysat) S 16651 16654 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9935564 1368985600 275235 33554432000 4194304 16246674 140733711381760 140657550150832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1336900

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1798.65
CPU system time (s): 1.43578
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.65
system time used= 1.43578
maximum resident set size= 1100940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275581
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= 432
involuntary context switches= 1900

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0233 second user time and 16.6855 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-16 14:08:16
IDJOB=4093328
IDBENCH=78673
IDSOLVER=2553
FILE ID=node135/4093328-1466078896
RUNJOBID= node135-1466075236-16167
PBS_JOBID= 19904004
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093328-1466078896/watcher-4093328-1466078896 -o /tmp/evaluation-result-4093328-1466078896/solver-4093328-1466078896 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16167 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093328-1466078896.wbo

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

MD5SUM BENCH= 9e4fdadcc7668e5ef6d5afa26a2e782c
RANDOM SEED=660177006

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29270864 kB
Buffers:           23088 kB
Cached:           103676 kB
SwapCached:         2276 kB
Active:          1162700 kB
Inactive:          49312 kB
Active(anon):    1086388 kB
Inactive(anon):     1492 kB
Active(file):      76312 kB
Inactive(file):    47820 kB
Unevictable:     1684536 kB
Mlocked:         1504664 kB
SwapTotal:      67108856 kB
SwapFree:       67099236 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       2791644 kB
Mapped:            10460 kB
Shmem:                 0 kB
Slab:             566336 kB
SReclaimable:      10580 kB
SUnreclaim:       555756 kB
KernelStack:        1536 kB
PageTables:         9572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2912832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 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= 71704 MiB
End job on node135 at 2016-06-16 14:38:17