Trace number 4093327

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_51_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM5648463b311d39ee56e08f95de13a148
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints71
Number of constraints which are clauses102
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 constraint51
Top cost 3850
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3849
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
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-16T13:44:11+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-4093327-1466077451.wbo"]
0.00/0.01	c use --random-gen="140074788 3498453838 1962229995 3697725023 3058687858 3698119189 2399455359 3576978896 2784610403 740777711 413518098 1568054698 2961227081 1725945773 1289906326 2728471163 3018961979 3627066351 2201523309 3063944026 2527511368 1978406565 1863066483 1163294481 1021251125 1953842618 157153163 2762087948 2266742392 4034317926 4056547236 2806529098 2795190859 1719635942 1458198541 1863735134 2426295725 133498722 3266052534 1096352935 3185182655 3738500395 1819235458 3129037058 2587621712 245170043 1634741214 118361385 3676720684 656231079 3057316674 1688055840 1185868178 1235156027 1950176119 751597437 3135799383 3366262687 3359045965 2523355868 293292765 3313216228 3781887762 1338276407 4179796455 1336343462 2387804449 3406652837 4170940691 2189306144 4073115360 3302308266 435039279 2455818258 1147850928 4011477247 2971237572 190819850 1207795694 3900585154 4049732858 1593756666 2515611244 1420293192 3282097906 2941891526 2422553626 91498710 800965595 3952473110 1348229841 1185680879 3042940621 1697464877 2246158666 259744015 4160559580 2637821922 193407033 128008228 2326706205 2883761740 1572022048 3956172315 3001676776 850292808 4168823162 2724450447 2935269434 1768361523 2661017254 3498177383 3014795466 3740135931 3443016658 4232087592 2774163347 2947984461 1292427733 3511946253 1331745474 1226164393 1279568753 3323581238 1040202490 2576584683 2331915655 2552561362 137460586 4240515235 3235469459 482615997 18736683 3299776672 354505052 3676356797 3136962229 1077783843 1620686685 442640695 276078686 584571541 3458728600 2988890613 2227299101 3077982457 930039790 4129265194 929070502 4288041531 1661405610 1475987179 3803720300 4123975055 265426954 1402140759 1396402336 1548564533 1075136714 2604710983 3051855582 2441804867 3095111280 4290905141 2016536021 164538902 1001362247 3488543064 2529215183 1128912160 1197654854 59493969 1720646661 4283276443 3184082567 2060230959 4114233076 2254315293 3234760133 1353599602 3135668896 2274237209 1885313810 1014362185 290673867 1529224694 3429823997 3119680235 1168401797 4011717677 3046712446 3904371424 1887785935 1140149774 63615732 953073264 3767550134 2814525522 4218681713 293493710 3536361565 1820111949 3389635728 3732911097 1236720099 3959445 1510346893 1256382887 2101173823 914047535 3049253146 3250364886 987115357 3448994923 997016562 3257056516 3430958246 4206664333 788733124 2347601074 403523065 187646370 3057951268 571196777 3123165432 3970872578 195844473 1627472014 237507307 3310018380 1359441235 218328399 3737411844 726715024 1657041150 3142338833 916376256 3545918843 2537317376 3827743310 3266411602 358796555 4139356753 2973012718 3388120724 1080524398 856442844 96986893 2064556322 3309127026 370775748 4179176562 904975174 3406314155 1123439393 3646216754 255 362436" option to reproduce the execution
0.18/0.24	c #vars 5100
0.18/0.24	c #constraints 202
0.18/0.39	c BCD2: Hardening is enabled.
0.18/0.39	c BCD2: BiasedSearch is enabled.
0.18/0.39	c Solving starts ...
0.18/0.39	c ============================[ Search Statistics ]============================
0.18/0.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.39	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.39	c =============================================================================
0.18/0.39	c  0.0s |       0 |        0 |        0 |     1791      0 |        0 |        0
0.18/0.39	c  0.1s |       1 |      238 |      100 |     1791      0 |        0 |        0
0.18/0.39	c  0.1s |       1 |     2676 |      101 |     1971      0 |        0 |        0
0.18/0.39	c #cpu_time = 0.075s
0.18/0.39	c #wall_clock_time = 0.075s
0.18/0.39	c #decision = 2676
0.18/0.39	c #random_decision = 5
0.18/0.39	c #conflict = 101
0.18/0.39	c #restart = 1
0.18/0.39	o 2228
0.18/0.39	c BCD2: updating upper bound: 3849 -> 2227
0.18/0.39	c BCD2: 0 <= obj <= 2227
0.18/0.39	c BCD2: #cores=0, #unrelaxed=71, #relaxed=0, #hardened=0
0.18/0.39	c BCD2: #sat=1 #unsat=1 bias=1/2
0.18/0.39	c Solving starts ...
0.18/0.39	c ============================[ Search Statistics ]============================
0.18/0.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.39	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.39	c =============================================================================
0.18/0.39	c  0.0s |       0 |        0 |        0 |     1971      0 |        0 |        0
0.18/0.39	c  0.0s |       1 |      577 |      100 |     1971      0 |        0 |        0
0.49/0.55	c  0.2s |       2 |     1924 |      250 |     2169      0 |        0 |        0
0.79/0.87	c  0.5s |       3 |     4198 |      475 |     2386      0 |        0 |        0
1.18/1.26	c  0.9s |       4 |     7430 |      813 |     2625      0 |        0 |        0
1.89/1.91	c  1.6s |       5 |     9617 |     1320 |     2888      0 |        0 |        0
2.69/2.78	c  2.4s |       6 |    11855 |     2081 |     3177      0 |        0 |        0
4.19/4.22	c  3.9s |       7 |    14480 |     3223 |     3495      0 |        0 |        0
6.19/6.28	c  5.9s |       7 |    17422 |     4623 |     3495      0 |        0 |        0
6.80/6.88	c  6.5s |       8 |    17751 |     4936 |     3845      0 |        0 |        0
8.89/8.98	c  8.6s |       8 |    20874 |     6536 |     3845      1 |        0 |        0
10.49/10.56	c 10.2s |       9 |    22047 |     7506 |     4230      1 |        0 |        0
12.59/12.66	c 12.3s |       9 |    25678 |     8606 |     4230      2 |        0 |        0
14.79/14.80	c 14.5s |       9 |    26960 |     9706 |     4230      2 |        0 |        0
16.79/16.81	c 16.5s |       9 |    27864 |    10506 |     4230      2 |        0 |        0
18.78/18.82	c 18.5s |       9 |    28624 |    11206 |     4653      2 |        0 |        0
19.18/19.26	c 18.9s |      10 |    28805 |    11361 |     4653      2 |        0 |        0
21.28/21.38	c 21.0s |      10 |    31894 |    12461 |     4653      3 |        0 |        0
23.39/23.43	c 23.1s |      10 |    32979 |    13361 |     4653      3 |        0 |        0
25.38/25.46	c 25.1s |      10 |    33900 |    14161 |     4653      3 |        0 |        0
27.38/27.48	c 27.1s |      10 |    34837 |    14961 |     4653      3 |        0 |        0
29.58/29.67	c 29.3s |      10 |    35760 |    15761 |     4653      4 |        0 |        0
31.78/31.89	c 31.5s |      10 |    36669 |    16561 |     4653      4 |        0 |        0
33.68/33.74	c 33.4s |      11 |    37334 |    17144 |     5119      4 |        0 |        0
35.78/35.81	c 35.5s |      11 |    41485 |    18244 |     5119      5 |        0 |        0
37.78/37.89	c 37.5s |      11 |    45889 |    20044 |     5119      5 |        0 |        0
39.98/40.08	c 39.7s |      11 |    47254 |    21144 |     5119      5 |        0 |        0
42.18/42.25	c 41.9s |      11 |    48324 |    22044 |     5119      5 |        0 |        0
44.19/44.27	c 43.9s |      11 |    49127 |    22744 |     5119      5 |        0 |        0
46.39/46.43	c 46.1s |      11 |    49926 |    23444 |     5119      5 |        0 |        0
48.78/48.80	c 48.4s |      11 |    50736 |    24144 |     5119      5 |        0 |        0
50.98/51.04	c 50.7s |      11 |    51401 |    24744 |     5119      6 |        0 |        0
53.18/53.20	c 52.9s |      11 |    52105 |    25344 |     5119      6 |        0 |        0
54.88/54.98	c 54.6s |      12 |    52676 |    25819 |     5631      6 |        0 |        0
56.88/57.00	c 56.6s |      12 |    57010 |    26719 |     5631      7 |        0 |        0
58.98/59.06	c 58.7s |      12 |    58490 |    28019 |     5631      7 |        0 |        0
61.08/61.15	c 60.8s |      12 |    59790 |    29119 |     5631      7 |        0 |        0
63.18/63.28	c 62.9s |      12 |    60907 |    30119 |     5631      7 |        0 |        0
65.38/65.42	c 65.1s |      12 |    61799 |    30919 |     5631      8 |        0 |        0
67.58/67.64	c 67.3s |      12 |    62855 |    31819 |     5631      8 |        0 |        0
69.68/69.72	c 69.4s |      12 |    63749 |    32619 |     5631      8 |        0 |        0
71.87/71.96	c 71.6s |      12 |    64661 |    33419 |     5631      8 |        0 |        0
74.17/74.20	c 73.9s |      12 |    65531 |    34219 |     5631      8 |        0 |        0
76.37/76.48	c 76.1s |      12 |    66301 |    34919 |     5631      8 |        0 |        0
78.47/78.54	c 78.2s |      12 |    67183 |    35619 |     5631      9 |        0 |        0
80.67/80.77	c 80.4s |      12 |    68142 |    36419 |     5631      9 |        0 |        0
82.87/82.90	c 82.6s |      12 |    68957 |    37119 |     5631      9 |        0 |        0
85.07/85.10	c 84.7s |      12 |    69766 |    37819 |     5631      9 |        0 |        0
87.27/87.33	c 87.0s |      12 |    70566 |    38519 |     6195      9 |        0 |        0
88.28/88.37	c 88.0s |      13 |    70916 |    38832 |     6195      9 |        0 |        0
90.38/90.41	c 90.1s |      13 |    73697 |    40032 |     6195     10 |        0 |        0
92.47/92.55	c 92.2s |      13 |    75288 |    41432 |     6195     10 |        0 |        0
94.57/94.63	c 94.3s |      13 |    76545 |    42532 |     6195     10 |        0 |        0
96.67/96.74	c 96.4s |      13 |    77642 |    43532 |     6195     10 |        0 |        0
98.67/98.76	c 98.4s |      13 |    78512 |    44332 |     6195     11 |        0 |        0
100.67/100.78	c  100s |      13 |    79535 |    45232 |     6195     11 |        0 |        0
102.77/102.89	c  102s |      13 |    80540 |    46132 |     6195     11 |        0 |        0
104.87/104.93	c  104s |      13 |    81407 |    46932 |     6195     11 |        0 |        0
106.98/107.03	c  106s |      13 |    82315 |    47732 |     6195     11 |        0 |        0
108.97/109.08	c  108s |      13 |    83351 |    48632 |     6195     12 |        0 |        0
111.17/111.22	c  110s |      13 |    84256 |    49432 |     6195     12 |        0 |        0
113.36/113.46	c  113s |      13 |    85146 |    50232 |     6195     12 |        0 |        0
115.46/115.58	c  115s |      13 |    86061 |    51032 |     6195     12 |        0 |        0
117.66/117.70	c  117s |      13 |    86849 |    51732 |     6195     12 |        0 |        0
119.87/119.98	c  119s |      13 |    87618 |    52432 |     6195     13 |        0 |        0
121.97/122.07	c  121s |      13 |    88405 |    53132 |     6195     13 |        0 |        0
123.97/124.08	c  123s |      13 |    89424 |    54032 |     6195     13 |        0 |        0
126.07/126.18	c  125s |      13 |    90303 |    54832 |     6195     13 |        0 |        0
128.07/128.18	c  127s |      13 |    91199 |    55632 |     6195     13 |        0 |        0
130.27/130.33	c  129s |      13 |    92052 |    56432 |     6195     13 |        0 |        0
132.27/132.34	c  131s |      13 |    92733 |    57032 |     6195     14 |        0 |        0
134.26/134.36	c  134s |      13 |    93706 |    57932 |     6815     14 |        0 |        0
135.36/135.41	c  135s |      14 |    94146 |    58352 |     6815     14 |        0 |        0
137.36/137.47	c  137s |      14 |    98327 |    59952 |     6815     14 |        0 |        0
139.56/139.60	c  139s |      14 |    99925 |    61352 |     6815     14 |        0 |        0
141.66/141.74	c  141s |      14 |   101165 |    62452 |     6815     15 |        0 |        0
143.67/143.75	c  143s |      14 |   102262 |    63452 |     6815     15 |        0 |        0
145.77/145.84	c  145s |      14 |   103394 |    64452 |     6815     15 |        0 |        0
147.87/147.94	c  147s |      14 |   104504 |    65452 |     6815     15 |        0 |        0
150.07/150.15	c  149s |      14 |   105616 |    66452 |     6815     15 |        0 |        0
152.17/152.25	c  151s |      14 |   106623 |    67352 |     6815     16 |        0 |        0
154.17/154.29	c  153s |      14 |   107764 |    68352 |     6815     16 |        0 |        0
156.37/156.44	c  156s |      14 |   108990 |    69452 |     6815     16 |        0 |        0
158.46/158.51	c  158s |      14 |   110096 |    70452 |     6815     16 |        0 |        0
160.56/160.68	c  160s |      14 |   111111 |    71352 |     6815     16 |        0 |        0
162.66/162.72	c  162s |      14 |   112049 |    72152 |     6815     17 |        0 |        0
164.66/164.76	c  164s |      14 |   113394 |    73252 |     6815     17 |        0 |        0
166.76/166.84	c  166s |      14 |   114576 |    74252 |     6815     17 |        0 |        0
168.86/168.99	c  168s |      14 |   115829 |    75352 |     6815     17 |        0 |        0
170.96/171.09	c  170s |      14 |   116855 |    76252 |     6815     17 |        0 |        0
173.46/173.51	c  173s |      14 |   117766 |    77052 |     6815     18 |        0 |        0
175.56/175.67	c  175s |      14 |   118926 |    78052 |     6815     18 |        0 |        0
177.76/177.80	c  177s |      14 |   119980 |    78952 |     6815     18 |        0 |        0
179.76/179.82	c  179s |      14 |   121025 |    79852 |     6815     18 |        0 |        0
181.76/181.87	c  181s |      14 |   121917 |    80652 |     6815     18 |        0 |        0
183.86/183.94	c  183s |      14 |   122818 |    81452 |     6815     18 |        0 |        0
186.06/186.12	c  185s |      14 |   123828 |    82352 |     6815     19 |        0 |        0
188.16/188.29	c  187s |      14 |   124824 |    83252 |     6815     19 |        0 |        0
190.46/190.51	c  190s |      14 |   126103 |    84352 |     6815     19 |        0 |        0
192.66/192.74	c  192s |      14 |   127135 |    85252 |     6815     19 |        0 |        0
194.65/194.74	c  194s |      14 |   128019 |    86052 |     6815     19 |        0 |        0
196.65/196.75	c  196s |      14 |   128778 |    86752 |     6815     19 |        0 |        0
198.96/199.01	c  198s |      14 |   129564 |    87452 |     7497     20 |        0 |        0
199.66/199.74	c  199s |      15 |   129760 |    87632 |     7497     20 |        0 |        0
201.76/201.86	c  201s |      15 |   133979 |    89432 |     7497     20 |        0 |        0
203.86/203.96	c  203s |      15 |   135686 |    90932 |     7497     20 |        0 |        0
206.06/206.11	c  205s |      15 |   137183 |    92232 |     7497     20 |        0 |        0
208.06/208.20	c  207s |      15 |   138265 |    93232 |     7497     20 |        0 |        0
210.36/210.40	c  210s |      15 |   139374 |    94232 |     7497     20 |        0 |        0
212.46/212.58	c  212s |      15 |   140458 |    95132 |     7497     21 |        0 |        0
214.55/214.66	c  214s |      15 |   141607 |    96132 |     7497     21 |        0 |        0
216.65/216.79	c  216s |      15 |   142708 |    97032 |     7497     21 |        0 |        0
218.75/218.85	c  218s |      15 |   143495 |    97732 |     7497     21 |        0 |        0
220.85/220.96	c  220s |      15 |   144408 |    98532 |     7497     21 |        0 |        0
222.95/223.02	c  222s |      15 |   145312 |    99332 |     7497     21 |        0 |        0
225.05/225.10	c  224s |      15 |   146178 |   100132 |     7497     21 |        0 |        0
227.05/227.11	c  226s |      15 |   146868 |   100732 |     7497     22 |        0 |        0
229.15/229.25	c  228s |      15 |   147773 |   101532 |     7497     22 |        0 |        0
231.35/231.44	c  231s |      15 |   148889 |   102532 |     7497     22 |        0 |        0
233.55/233.60	c  233s |      15 |   149907 |   103432 |     7497     22 |        0 |        0
235.66/235.77	c  235s |      15 |   150798 |   104232 |     7497     22 |        0 |        0
237.65/237.79	c  237s |      15 |   151687 |   105032 |     7497     22 |        0 |        0
239.95/240.04	c  239s |      15 |   152560 |   105832 |     7497     22 |        0 |        0
242.05/242.13	c  241s |      15 |   153353 |   106532 |     7497     22 |        0 |        0
244.25/244.37	c  244s |      15 |   154154 |   107232 |     7497     23 |        0 |        0
246.35/246.44	c  246s |      15 |   155256 |   108232 |     7497     23 |        0 |        0
248.55/248.65	c  248s |      15 |   156372 |   109232 |     7497     23 |        0 |        0
250.55/250.65	c  250s |      15 |   157279 |   110032 |     7497     23 |        0 |        0
252.65/252.74	c  252s |      15 |   158298 |   110932 |     7497     23 |        0 |        0
254.84/254.93	c  254s |      15 |   159346 |   111832 |     7497     23 |        0 |        0
256.84/256.94	c  256s |      15 |   160254 |   112632 |     7497     23 |        0 |        0
259.04/259.11	c  258s |      15 |   161047 |   113332 |     7497     24 |        0 |        0
261.14/261.26	c  260s |      15 |   162252 |   114432 |     7497     24 |        0 |        0
263.34/263.45	c  263s |      15 |   163519 |   115532 |     7497     24 |        0 |        0
265.55/265.60	c  265s |      15 |   164530 |   116432 |     7497     24 |        0 |        0
267.56/267.66	c  267s |      15 |   165445 |   117232 |     7497     24 |        0 |        0
269.65/269.71	c  269s |      15 |   166374 |   118032 |     7497     24 |        0 |        0
271.64/271.80	c  271s |      15 |   167161 |   118732 |     7497     24 |        0 |        0
273.74/273.83	c  273s |      15 |   167706 |   119232 |     7497     25 |        0 |        0
275.94/276.02	c  275s |      15 |   168719 |   120132 |     7497     25 |        0 |        0
278.04/278.18	c  277s |      15 |   169996 |   121232 |     7497     25 |        0 |        0
280.24/280.38	c  280s |      15 |   171018 |   122132 |     7497     25 |        0 |        0
282.34/282.44	c  282s |      15 |   171906 |   122932 |     7497     25 |        0 |        0
284.44/284.51	c  284s |      15 |   172806 |   123732 |     7497     25 |        0 |        0
286.64/286.74	c  286s |      15 |   173706 |   124532 |     7497     25 |        0 |        0
288.94/289.09	c  288s |      15 |   174489 |   125232 |     7497     26 |        0 |        0
291.24/291.34	c  290s |      15 |   175119 |   125832 |     7497     26 |        0 |        0
293.25/293.38	c  293s |      15 |   176142 |   126732 |     7497     26 |        0 |        0
295.34/295.47	c  295s |      15 |   177036 |   127532 |     7497     26 |        0 |        0
297.64/297.78	c  297s |      15 |   177910 |   128332 |     7497     26 |        0 |        0
299.74/299.84	c  299s |      15 |   178797 |   129132 |     7497     26 |        0 |        0
301.74/301.88	c  301s |      15 |   179622 |   129932 |     7497     26 |        0 |        0
304.04/304.10	c  303s |      15 |   180497 |   130732 |     8247     26 |        0 |        0
306.05/306.11	c  305s |      15 |   181245 |   131432 |     8247     26 |        0 |        0
306.34/306.47	c  306s |      16 |   181388 |   131552 |     8247     26 |        0 |        0
308.34/308.48	c  308s |      16 |   184046 |   132252 |     8247     27 |        0 |        0
310.44/310.57	c  310s |      16 |   185310 |   133352 |     8247     27 |        0 |        0
312.64/312.74	c  312s |      16 |   186558 |   134452 |     8247     27 |        0 |        0
314.84/314.99	c  314s |      16 |   187690 |   135452 |     8247     27 |        0 |        0
316.94/317.03	c  316s |      16 |   188469 |   136152 |     8247     27 |        0 |        0
319.14/319.25	c  318s |      16 |   189398 |   136952 |     8247     27 |        0 |        0
321.23/321.34	c  320s |      16 |   190262 |   137752 |     8247     27 |        0 |        0
323.23/323.36	c  323s |      16 |   190950 |   138352 |     8247     28 |        0 |        0
325.33/325.43	c  325s |      16 |   191729 |   139052 |     8247     28 |        0 |        0
327.43/327.58	c  327s |      16 |   192511 |   139752 |     8247     28 |        0 |        0
329.84/329.91	c  329s |      16 |   193313 |   140452 |     8247     28 |        0 |        0
332.04/332.14	c  331s |      16 |   193973 |   141052 |     8247     28 |        0 |        0
334.34/334.43	c  334s |      16 |   194628 |   141652 |     8247     28 |        0 |        0
336.54/336.63	c  336s |      16 |   195304 |   142252 |     8247     28 |        0 |        0
338.74/338.80	c  338s |      16 |   195981 |   142852 |     8247     28 |        0 |        0
340.94/341.06	c  340s |      16 |   196673 |   143452 |     8247     28 |        0 |        0
343.34/343.43	c  343s |      16 |   197350 |   144052 |     8247     28 |        0 |        0
345.43/345.56	c  345s |      16 |   197808 |   144452 |     8247     29 |        0 |        0
347.63/347.71	c  347s |      16 |   198606 |   145152 |     8247     29 |        0 |        0
349.73/349.80	c  349s |      16 |   199264 |   145752 |     8247     29 |        0 |        0
351.73/351.80	c  351s |      16 |   199828 |   146252 |     8247     29 |        0 |        0
353.73/353.89	c  353s |      16 |   200517 |   146852 |     8247     29 |        0 |        0
355.93/356.03	c  355s |      16 |   201237 |   147452 |     8247     29 |        0 |        0
358.23/358.36	c  358s |      16 |   201896 |   148052 |     8247     29 |        0 |        0
360.63/360.77	c  360s |      16 |   202557 |   148652 |     8247     29 |        0 |        0
362.73/362.85	c  362s |      16 |   203145 |   149152 |     8247     29 |        0 |        0
364.83/364.90	c  364s |      16 |   203938 |   149852 |     8247     29 |        0 |        0
367.13/367.21	c  366s |      16 |   204723 |   150552 |     8247     29 |        0 |        0
369.63/369.80	c  369s |      16 |   205415 |   151152 |     8247     30 |        0 |        0
371.73/371.87	c  371s |      16 |   206210 |   151852 |     8247     30 |        0 |        0
374.02/374.13	c  373s |      16 |   207065 |   152552 |     8247     30 |        0 |        0
376.34/376.46	c  376s |      16 |   207867 |   153252 |     8247     30 |        0 |        0
378.43/378.59	c  378s |      16 |   208533 |   153852 |     8247     30 |        0 |        0
380.83/380.91	c  380s |      16 |   209319 |   154552 |     8247     30 |        0 |        0
382.93/383.01	c  382s |      16 |   210002 |   155152 |     8247     30 |        0 |        0
385.13/385.21	c  384s |      16 |   210691 |   155752 |     8247     30 |        0 |        0
387.22/387.37	c  387s |      16 |   211380 |   156352 |     8247     30 |        0 |        0
389.53/389.70	c  389s |      16 |   212050 |   156952 |     8247     30 |        0 |        0
391.84/391.94	c  391s |      16 |   212576 |   157452 |     8247     31 |        0 |        0
393.93/394.03	c  393s |      16 |   213140 |   157952 |     8247     31 |        0 |        0
396.23/396.33	c  395s |      16 |   213923 |   158652 |     8247     31 |        0 |        0
398.33/398.44	c  398s |      16 |   214592 |   159252 |     8247     31 |        0 |        0
400.63/400.78	c  400s |      16 |   215396 |   159952 |     8247     31 |        0 |        0
402.83/402.98	c  402s |      16 |   216067 |   160552 |     8247     31 |        0 |        0
405.03/405.16	c  404s |      16 |   216868 |   161252 |     8247     31 |        0 |        0
407.32/407.43	c  407s |      16 |   217677 |   161952 |     8247     31 |        0 |        0
409.42/409.54	c  409s |      16 |   218373 |   162552 |     8247     31 |        0 |        0
411.42/411.60	c  411s |      16 |   219030 |   163152 |     8247     31 |        0 |        0
413.62/413.78	c  413s |      16 |   219599 |   163652 |     8247     32 |        0 |        0
415.93/416.10	c  415s |      16 |   220415 |   164352 |     8247     32 |        0 |        0
418.13/418.27	c  417s |      16 |   221079 |   164952 |     8247     32 |        0 |        0
420.42/420.53	c  420s |      16 |   221713 |   165552 |     8247     32 |        0 |        0
422.42/422.58	c  422s |      16 |   222177 |   165952 |     8247     32 |        0 |        0
424.52/424.68	c  424s |      16 |   222995 |   166652 |     8247     32 |        0 |        0
426.62/426.70	c  426s |      16 |   223655 |   167252 |     8247     32 |        0 |        0
428.82/428.98	c  428s |      16 |   224453 |   167952 |     8247     32 |        0 |        0
431.02/431.19	c  430s |      16 |   225124 |   168552 |     8247     32 |        0 |        0
433.22/433.39	c  433s |      16 |   225806 |   169152 |     8247     32 |        0 |        0
435.92/436.03	c  435s |      16 |   226489 |   169752 |     8247     33 |        0 |        0
438.02/438.10	c  437s |      16 |   227161 |   170352 |     8247     33 |        0 |        0
440.02/440.16	c  439s |      16 |   227844 |   170952 |     8247     33 |        0 |        0
442.12/442.28	c  441s |      16 |   228500 |   171552 |     8247     33 |        0 |        0
444.22/444.32	c  443s |      16 |   229183 |   172152 |     8247     33 |        0 |        0
446.52/446.62	c  446s |      16 |   229969 |   172852 |     8247     33 |        0 |        0
448.72/448.83	c  448s |      16 |   230638 |   173452 |     8247     33 |        0 |        0
450.81/450.97	c  450s |      16 |   231338 |   174052 |     8247     33 |        0 |        0
453.01/453.16	c  452s |      16 |   231996 |   174652 |     8247     33 |        0 |        0
455.31/455.48	c  455s |      16 |   232644 |   175252 |     8247     33 |        0 |        0
457.61/457.75	c  457s |      16 |   233341 |   175852 |     8247     33 |        0 |        0
459.92/460.03	c  459s |      16 |   233899 |   176352 |     8247     34 |        0 |        0
462.01/462.15	c  461s |      16 |   234449 |   176852 |     8247     34 |        0 |        0
464.01/464.17	c  463s |      16 |   235101 |   177452 |     8247     34 |        0 |        0
466.32/466.49	c  466s |      16 |   235753 |   178052 |     8247     34 |        0 |        0
468.52/468.61	c  468s |      16 |   236429 |   178652 |     8247     34 |        0 |        0
470.72/470.85	c  470s |      16 |   237180 |   179352 |     8247     34 |        0 |        0
473.02/473.11	c  472s |      16 |   237856 |   179952 |     8247     34 |        0 |        0
475.32/475.45	c  475s |      16 |   238678 |   180652 |     8247     34 |        0 |        0
477.41/477.53	c  477s |      16 |   239358 |   181252 |     8247     34 |        0 |        0
479.72/479.83	c  479s |      16 |   240024 |   181852 |     8247     34 |        0 |        0
482.32/482.49	c  482s |      16 |   240677 |   182452 |     8247     35 |        0 |        0
484.62/484.79	c  484s |      16 |   241343 |   183052 |     8247     35 |        0 |        0
486.91/487.05	c  486s |      16 |   242153 |   183752 |     8247     35 |        0 |        0
489.01/489.16	c  488s |      16 |   242808 |   184352 |     8247     35 |        0 |        0
491.21/491.38	c  491s |      16 |   243394 |   184852 |     8247     35 |        0 |        0
493.51/493.66	c  493s |      16 |   244053 |   185452 |     8247     35 |        0 |        0
495.81/495.91	c  495s |      16 |   244751 |   186052 |     8247     35 |        0 |        0
498.01/498.11	c  497s |      16 |   245408 |   186652 |     8247     35 |        0 |        0
500.10/500.27	c  499s |      16 |   246069 |   187252 |     8247     35 |        0 |        0
502.21/502.32	c  501s |      16 |   246728 |   187852 |     8247     35 |        0 |        0
504.51/504.67	c  504s |      16 |   247383 |   188452 |     8247     35 |        0 |        0
506.81/506.94	c  506s |      16 |   247912 |   188952 |     8247     36 |        0 |        0
508.91/509.02	c  508s |      16 |   248459 |   189452 |     8247     36 |        0 |        0
510.91/511.06	c  510s |      16 |   249141 |   190052 |     8247     36 |        0 |        0
513.01/513.18	c  512s |      16 |   250043 |   190852 |     8247     36 |        0 |        0
515.21/515.30	c  514s |      16 |   250824 |   191552 |     8247     36 |        0 |        0
517.31/517.49	c  517s |      16 |   251607 |   192252 |     8247     36 |        0 |        0
519.51/519.67	c  519s |      16 |   252397 |   192952 |     8247     36 |        0 |        0
521.51/521.69	c  521s |      16 |   253056 |   193552 |     8247     36 |        0 |        0
523.60/523.75	c  523s |      16 |   253607 |   194052 |     8247     36 |        0 |        0
525.80/525.90	c  525s |      16 |   254306 |   194652 |     8247     36 |        0 |        0
527.90/528.08	c  527s |      16 |   254858 |   195152 |     8247     37 |        0 |        0
530.10/530.25	c  529s |      16 |   255645 |   195852 |     8247     37 |        0 |        0
532.11/532.26	c  531s |      16 |   256439 |   196552 |     9072     37 |        0 |        0
534.30/534.43	c  534s |      16 |   257173 |   197252 |     9072     37 |        0 |        0
534.81/534.98	c  534s |      17 |   257362 |   197432 |     9072     37 |        0 |        0
536.91/537.08	c  536s |      17 |   261325 |   199232 |     9072     37 |        0 |        0
538.90/539.08	c  538s |      17 |   262952 |   200732 |     9072     37 |        0 |        0
541.00/541.19	c  540s |      17 |   264372 |   202032 |     9072     37 |        0 |        0
543.20/543.32	c  542s |      17 |   265494 |   203032 |     9072     38 |        0 |        0
545.20/545.35	c  545s |      17 |   266925 |   204332 |     9072     38 |        0 |        0
547.30/547.48	c  547s |      17 |   268059 |   205332 |     9072     38 |        0 |        0
549.60/549.72	c  549s |      17 |   269086 |   206232 |     9072     38 |        0 |        0
551.80/551.92	c  551s |      17 |   270123 |   207132 |     9072     38 |        0 |        0
553.80/553.93	c  553s |      17 |   271145 |   208032 |     9072     38 |        0 |        0
556.00/556.15	c  555s |      17 |   272174 |   208932 |     9072     38 |        0 |        0
558.40/558.58	c  558s |      17 |   272987 |   209632 |     9072     39 |        0 |        0
560.50/560.64	c  560s |      17 |   274048 |   210632 |     9072     39 |        0 |        0
562.59/562.77	c  562s |      17 |   275046 |   211532 |     9072     39 |        0 |        0
564.89/565.01	c  564s |      17 |   276182 |   212532 |     9072     39 |        0 |        0
567.19/567.31	c  566s |      17 |   277075 |   213332 |     9072     39 |        0 |        0
569.30/569.40	c  569s |      17 |   277844 |   214032 |     9072     39 |        0 |        0
571.40/571.53	c  571s |      17 |   278722 |   214832 |     9072     39 |        0 |        0
573.40/573.56	c  573s |      17 |   279482 |   215532 |     9072     39 |        0 |        0
575.70/575.86	c  575s |      17 |   280355 |   216332 |     9072     39 |        0 |        0
577.90/578.03	c  577s |      17 |   281128 |   217032 |     9072     40 |        0 |        0
580.00/580.14	c  579s |      17 |   282077 |   217932 |     9072     40 |        0 |        0
582.11/582.25	c  581s |      17 |   283277 |   218932 |     9072     40 |        0 |        0
584.21/584.40	c  584s |      17 |   284393 |   219932 |     9072     40 |        0 |        0
586.30/586.49	c  586s |      17 |   285520 |   220932 |     9072     40 |        0 |        0
588.50/588.63	c  588s |      17 |   286620 |   221932 |     9072     40 |        0 |        0
590.70/590.81	c  590s |      17 |   287632 |   222832 |     9072     40 |        0 |        0
593.29/593.46	c  593s |      17 |   288415 |   223532 |     9072     41 |        0 |        0
595.39/595.57	c  595s |      17 |   289396 |   224432 |     9072     41 |        0 |        0
597.40/597.59	c  597s |      17 |   290260 |   225232 |     9072     41 |        0 |        0
599.60/599.80	c  599s |      17 |   291288 |   226132 |     9072     41 |        0 |        0
601.69/601.85	c  601s |      17 |   292275 |   227032 |     9072     41 |        0 |        0
603.89/604.00	c  603s |      17 |   293276 |   227932 |     9072     41 |        0 |        0
605.89/606.05	c  605s |      17 |   294143 |   228732 |     9072     41 |        0 |        0
608.09/608.28	c  607s |      17 |   295032 |   229532 |     9072     41 |        0 |        0
610.39/610.51	c  610s |      17 |   295910 |   230332 |     9072     41 |        0 |        0
612.39/612.57	c  612s |      17 |   296686 |   231032 |     9072     42 |        0 |        0
614.49/614.62	c  614s |      17 |   297798 |   232032 |     9072     42 |        0 |        0
616.69/616.82	c  616s |      17 |   298894 |   233032 |     9072     42 |        0 |        0
618.69/618.86	c  618s |      17 |   299978 |   234032 |     9072     42 |        0 |        0
620.79/620.91	c  620s |      17 |   300845 |   234832 |     9072     42 |        0 |        0
622.89/623.02	c  622s |      17 |   301732 |   235632 |     9072     42 |        0 |        0
624.90/625.06	c  624s |      17 |   302586 |   236432 |     9072     42 |        0 |        0
627.20/627.36	c  627s |      17 |   303448 |   237232 |     9072     42 |        0 |        0
629.89/630.02	c  629s |      17 |   304193 |   237932 |     9072     43 |        0 |        0
632.09/632.21	c  631s |      17 |   305463 |   239032 |     9072     43 |        0 |        0
634.09/634.22	c  633s |      17 |   306592 |   240032 |     9072     43 |        0 |        0
636.19/636.37	c  636s |      17 |   307743 |   241032 |     9072     43 |        0 |        0
638.19/638.39	c  638s |      17 |   308752 |   241932 |     9072     43 |        0 |        0
640.29/640.49	c  640s |      17 |   309611 |   242732 |     9072     43 |        0 |        0
642.39/642.58	c  642s |      17 |   310512 |   243532 |     9072     43 |        0 |        0
644.49/644.66	c  644s |      17 |   311279 |   244232 |     9072     44 |        0 |        0
646.68/646.85	c  646s |      17 |   312598 |   245432 |     9072     44 |        0 |        0
648.78/648.96	c  648s |      17 |   313849 |   246532 |     9072     44 |        0 |        0
650.88/651.05	c  650s |      17 |   314875 |   247432 |     9072     44 |        0 |        0
652.98/653.11	c  652s |      17 |   315868 |   248332 |     9072     44 |        0 |        0
655.09/655.22	c  654s |      17 |   316855 |   249232 |     9072     44 |        0 |        0
657.39/657.50	c  657s |      17 |   317829 |   250132 |     9072     44 |        0 |        0
659.49/659.60	c  659s |      17 |   318830 |   251032 |     9072     44 |        0 |        0
661.49/661.68	c  661s |      17 |   319620 |   251732 |     9072     45 |        0 |        0
663.69/663.88	c  663s |      17 |   320709 |   252732 |     9072     45 |        0 |        0
665.79/665.91	c  665s |      17 |   321744 |   253632 |     9072     45 |        0 |        0
667.99/668.11	c  667s |      17 |   322991 |   254732 |     9072     45 |        0 |        0
670.09/670.24	c  669s |      17 |   324158 |   255732 |     9072     45 |        0 |        0
672.09/672.24	c  671s |      17 |   325161 |   256632 |     9072     45 |        0 |        0
674.28/674.44	c  674s |      17 |   326310 |   257632 |     9072     45 |        0 |        0
676.38/676.52	c  676s |      17 |   327114 |   258332 |     9072     46 |        0 |        0
678.38/678.57	c  678s |      17 |   328232 |   259332 |     9072     46 |        0 |        0
680.48/680.60	c  680s |      17 |   329159 |   260132 |     9072     46 |        0 |        0
682.48/682.64	c  682s |      17 |   330088 |   260932 |     9072     46 |        0 |        0
684.48/684.65	c  684s |      17 |   331004 |   261732 |     9072     46 |        0 |        0
686.59/686.73	c  686s |      17 |   331919 |   262532 |     9072     46 |        0 |        0
688.69/688.87	c  688s |      17 |   332828 |   263332 |     9072     46 |        0 |        0
690.78/690.90	c  690s |      17 |   333613 |   264032 |     9072     46 |        0 |        0
692.98/693.20	c  692s |      17 |   334503 |   264832 |     9072     46 |        0 |        0
695.08/695.21	c  694s |      17 |   335166 |   265432 |     9072     47 |        0 |        0
697.08/697.24	c  696s |      17 |   335951 |   266132 |     9072     47 |        0 |        0
699.08/699.26	c  698s |      17 |   336939 |   267032 |     9072     47 |        0 |        0
701.08/701.29	c  700s |      17 |   337977 |   267932 |     9072     47 |        0 |        0
703.17/703.38	c  703s |      17 |   338861 |   268732 |     9072     47 |        0 |        0
705.37/705.57	c  705s |      17 |   339859 |   269632 |     9072     47 |        0 |        0
707.67/707.81	c  707s |      17 |   340847 |   270532 |     9072     47 |        0 |        0
709.69/709.84	c  709s |      17 |   341634 |   271232 |     9072     47 |        0 |        0
711.68/711.88	c  711s |      17 |   342351 |   271832 |     9072     48 |        0 |        0
713.68/713.88	c  713s |      17 |   343488 |   272832 |     9072     48 |        0 |        0
715.78/715.97	c  715s |      17 |   344503 |   273732 |     9072     48 |        0 |        0
717.88/718.08	c  717s |      17 |   345386 |   274532 |     9072     48 |        0 |        0
719.98/720.15	c  719s |      17 |   346388 |   275432 |     9072     48 |        0 |        0
722.17/722.30	c  721s |      17 |   347398 |   276332 |     9072     48 |        0 |        0
724.37/724.56	c  724s |      17 |   348425 |   277232 |     9072     48 |        0 |        0
726.57/726.71	c  726s |      17 |   349324 |   278032 |     9072     48 |        0 |        0
729.07/729.26	c  728s |      17 |   350232 |   278832 |     9072     49 |        0 |        0
731.07/731.30	c  730s |      17 |   351554 |   280032 |     9072     49 |        0 |        0
733.17/733.39	c  733s |      17 |   352677 |   281032 |     9072     49 |        0 |        0
735.27/735.41	c  735s |      17 |   353552 |   281832 |     9072     49 |        0 |        0
737.27/737.48	c  737s |      17 |   354535 |   282732 |     9072     49 |        0 |        0
739.57/739.71	c  739s |      17 |   355576 |   283632 |     9072     49 |        0 |        0
741.57/741.76	c  741s |      17 |   356454 |   284432 |     9072     49 |        0 |        0
743.57/743.78	c  743s |      17 |   357302 |   285232 |     9072     49 |        0 |        0
745.88/746.01	c  745s |      17 |   358078 |   285932 |     9072     50 |        0 |        0
747.97/748.19	c  747s |      17 |   358960 |   286732 |     9072     50 |        0 |        0
750.17/750.30	c  749s |      17 |   359924 |   287632 |     9072     50 |        0 |        0
752.37/752.51	c  752s |      17 |   360888 |   288532 |     9072     50 |        0 |        0
754.37/754.59	c  754s |      17 |   361663 |   289232 |     9072     50 |        0 |        0
756.47/756.68	c  756s |      17 |   362412 |   289932 |     9072     50 |        0 |        0
758.56/758.71	c  758s |      17 |   363290 |   290732 |     9072     50 |        0 |        0
760.66/760.85	c  760s |      17 |   364202 |   291532 |     9072     50 |        0 |        0
762.86/763.02	c  762s |      17 |   365352 |   292532 |     9072     50 |        0 |        0
764.96/765.15	c  764s |      17 |   366382 |   293432 |     9072     51 |        0 |        0
767.06/767.20	c  766s |      17 |   367524 |   294432 |     9980     51 |        0 |        0
769.07/769.23	c  768s |      17 |   368528 |   295332 |     9980     51 |        0 |        0
771.06/771.29	c  770s |      17 |   369408 |   296132 |     9980     51 |        0 |        0
771.36/771.52	c  771s |      18 |   369537 |   296252 |     9980     51 |        0 |        0
773.47/773.65	c  773s |      18 |   372063 |   297052 |     9980     52 |        0 |        0
775.57/775.72	c  775s |      18 |   373180 |   297952 |     9980     52 |        0 |        0
777.66/777.87	c  777s |      18 |   374103 |   298752 |     9980     52 |        0 |        0
779.85/780.09	c  779s |      18 |   375000 |   299552 |     9980     52 |        0 |        0
781.95/782.12	c  781s |      18 |   375819 |   300252 |     9980     52 |        0 |        0
783.95/784.13	c  783s |      18 |   376609 |   300952 |     9980     52 |        0 |        0
786.16/786.30	c  785s |      18 |   377377 |   301652 |     9980     52 |        0 |        0
788.26/788.47	c  788s |      18 |   378154 |   302352 |     9980     52 |        0 |        0
790.55/790.78	c  790s |      18 |   378837 |   302952 |     9980     52 |        0 |        0
792.85/793.09	c  792s |      18 |   379396 |   303452 |     9980     52 |        0 |        0
795.25/795.48	c  795s |      18 |   380057 |   304052 |     9980     52 |        0 |        0
797.74/797.91	c  797s |      18 |   380716 |   304652 |     9980     52 |        0 |        0
800.05/800.21	c  799s |      18 |   381415 |   305252 |     9980     52 |        0 |        0
802.24/802.47	c  802s |      18 |   381988 |   305752 |     9980     53 |        0 |        0
804.44/804.67	c  804s |      18 |   382697 |   306352 |     9980     53 |        0 |        0
806.54/806.70	c  806s |      18 |   383351 |   306952 |     9980     53 |        0 |        0
808.73/808.91	c  808s |      18 |   383998 |   307552 |     9980     53 |        0 |        0
810.75/810.99	c  810s |      18 |   384552 |   308052 |     9980     53 |        0 |        0
813.04/813.26	c  812s |      18 |   385247 |   308652 |     9980     53 |        0 |        0
815.14/815.30	c  814s |      18 |   385806 |   309152 |     9980     53 |        0 |        0
817.44/817.66	c  817s |      18 |   386474 |   309752 |     9980     53 |        0 |        0
820.03/820.21	c  819s |      18 |   387059 |   310252 |     9980     53 |        0 |        0
822.03/822.24	c  821s |      18 |   387488 |   310652 |     9980     53 |        0 |        0
824.53/824.78	c  824s |      18 |   388043 |   311152 |     9980     53 |        0 |        0
826.83/827.02	c  826s |      18 |   388488 |   311552 |     9980     53 |        0 |        0
829.02/829.27	c  828s |      18 |   388931 |   311952 |     9980     53 |        0 |        0
831.43/831.65	c  831s |      18 |   389374 |   312352 |     9980     53 |        0 |        0
834.33/834.54	c  834s |      18 |   389826 |   312752 |     9980     54 |        0 |        0
836.82/837.05	c  836s |      18 |   390377 |   313252 |     9980     54 |        0 |        0
838.82/839.08	c  838s |      18 |   390919 |   313652 |     9980     54 |        0 |        0
841.02/841.25	c  840s |      18 |   391450 |   314052 |     9980     54 |        0 |        0
843.12/843.36	c  843s |      18 |   391906 |   314452 |     9980     54 |        0 |        0
845.31/845.52	c  845s |      18 |   392335 |   314852 |     9980     54 |        0 |        0
847.52/847.78	c  847s |      18 |   392890 |   315352 |     9980     54 |        0 |        0
850.02/850.24	c  849s |      18 |   393478 |   315852 |     9980     54 |        0 |        0
852.22/852.45	c  852s |      18 |   394138 |   316452 |     9980     54 |        0 |        0
854.41/854.64	c  854s |      18 |   394801 |   317052 |     9980     54 |        0 |        0
856.71/856.90	c  856s |      18 |   395376 |   317552 |     9980     54 |        0 |        0
858.70/858.92	c  858s |      18 |   395921 |   318052 |     9980     54 |        0 |        0
861.11/861.32	c  860s |      18 |   396592 |   318652 |     9980     54 |        0 |        0
863.11/863.39	c  863s |      18 |   397156 |   319152 |     9980     54 |        0 |        0
865.41/865.69	c  865s |      18 |   397830 |   319752 |     9980     54 |        0 |        0
867.71/867.98	c  867s |      18 |   398385 |   320252 |     9980     55 |        0 |        0
870.00/870.22	c  869s |      18 |   398936 |   320752 |     9980     55 |        0 |        0
872.00/872.29	c  871s |      18 |   399393 |   321152 |     9980     55 |        0 |        0
874.50/874.71	c  874s |      18 |   400092 |   321752 |     9980     55 |        0 |        0
876.70/876.98	c  876s |      18 |   400659 |   322252 |     9980     55 |        0 |        0
879.01/879.23	c  878s |      18 |   401210 |   322752 |     9980     55 |        0 |        0
881.40/881.69	c  881s |      18 |   401767 |   323252 |     9980     55 |        0 |        0
883.60/883.87	c  883s |      18 |   402331 |   323752 |     9980     55 |        0 |        0
885.79/886.03	c  885s |      18 |   402895 |   324252 |     9980     55 |        0 |        0
887.89/888.14	c  887s |      18 |   403452 |   324752 |     9980     55 |        0 |        0
890.00/890.26	c  889s |      18 |   404017 |   325252 |     9980     55 |        0 |        0
892.39/892.63	c  892s |      18 |   404587 |   325752 |     9980     55 |        0 |        0
894.89/895.10	c  894s |      18 |   405132 |   326252 |     9980     55 |        0 |        0
897.39/897.62	c  897s |      18 |   405698 |   326752 |     9980     55 |        0 |        0
900.29/900.54	c  900s |      18 |   406141 |   327152 |     9980     56 |        0 |        0
902.58/902.85	c  902s |      18 |   406689 |   327652 |     9980     56 |        0 |        0
904.68/904.91	c  904s |      18 |   407243 |   328152 |     9980     56 |        0 |        0
906.98/907.24	c  906s |      18 |   407805 |   328652 |     9980     56 |        0 |        0
908.98/909.29	c  908s |      18 |   408386 |   329152 |     9980     56 |        0 |        0
911.28/911.54	c  911s |      18 |   408936 |   329652 |     9980     56 |        0 |        0
913.48/913.77	c  913s |      18 |   409514 |   330152 |     9980     56 |        0 |        0
915.78/916.06	c  915s |      18 |   410077 |   330652 |     9980     56 |        0 |        0
918.17/918.44	c  918s |      18 |   410628 |   331152 |     9980     56 |        0 |        0
920.47/920.76	c  920s |      18 |   411203 |   331652 |     9980     56 |        0 |        0
922.98/923.23	c  922s |      18 |   411746 |   332152 |     9980     56 |        0 |        0
925.28/925.53	c  925s |      18 |   412310 |   332652 |     9980     56 |        0 |        0
927.68/927.98	c  927s |      18 |   412887 |   333152 |     9980     56 |        0 |        0
929.77/930.01	c  929s |      18 |   413362 |   333552 |     9980     56 |        0 |        0
931.77/932.07	c  931s |      18 |   413804 |   333952 |     9980     56 |        0 |        0
934.87/935.14	c  934s |      18 |   414257 |   334352 |     9980     57 |        0 |        0
937.06/937.39	c  937s |      18 |   414918 |   334952 |     9980     57 |        0 |        0
939.16/939.44	c  939s |      18 |   415463 |   335452 |     9980     57 |        0 |        0
941.37/941.63	c  941s |      18 |   416155 |   336052 |     9980     57 |        0 |        0
943.66/943.91	c  943s |      18 |   416818 |   336652 |     9980     57 |        0 |        0
945.76/946.02	c  945s |      18 |   417484 |   337252 |     9980     57 |        0 |        0
947.76/948.06	c  947s |      18 |   418039 |   337752 |     9980     57 |        0 |        0
950.16/950.43	c  950s |      18 |   418590 |   338252 |     9980     57 |        0 |        0
952.26/952.58	c  952s |      18 |   419141 |   338752 |     9980     57 |        0 |        0
954.55/954.81	c  954s |      18 |   419678 |   339252 |     9980     57 |        0 |        0
956.96/957.27	c  956s |      18 |   420228 |   339752 |     9980     57 |        0 |        0
959.05/959.39	c  959s |      18 |   420672 |   340152 |     9980     57 |        0 |        0
961.65/961.90	c  961s |      18 |   421219 |   340652 |     9980     57 |        0 |        0
964.05/964.38	c  964s |      18 |   421748 |   341152 |     9980     57 |        0 |        0
966.75/967.08	c  966s |      18 |   422196 |   341552 |     9980     58 |        0 |        0
968.85/969.18	c  968s |      18 |   422653 |   341952 |     9980     58 |        0 |        0
971.15/971.45	c  971s |      18 |   423201 |   342452 |     9980     58 |        0 |        0
973.45/973.79	c  973s |      18 |   423763 |   342952 |     9980     58 |        0 |        0
976.04/976.32	c  975s |      18 |   424234 |   343352 |     9980     58 |        0 |        0
978.04/978.36	c  978s |      18 |   424937 |   343952 |     9980     58 |        0 |        0
980.45/980.75	c  980s |      18 |   425595 |   344552 |     9980     58 |        0 |        0
982.84/983.11	c  982s |      18 |   426220 |   345152 |     9980     58 |        0 |        0
984.94/985.23	c  984s |      18 |   426899 |   345752 |     9980     58 |        0 |        0
987.24/987.57	c  987s |      18 |   427549 |   346352 |     9980     58 |        0 |        0
989.64/989.90	c  989s |      18 |   428207 |   346952 |     9980     58 |        0 |        0
992.04/992.34	c  991s |      18 |   428860 |   347552 |     9980     58 |        0 |        0
994.14/994.45	c  994s |      18 |   429438 |   348052 |     9980     58 |        0 |        0
996.54/996.82	c  996s |      18 |   430125 |   348652 |     9980     58 |        0 |        0
998.74/999.07	c  998s |      18 |   430562 |   349052 |     9980     59 |        0 |        0
1000.83/1001.17	c 1000s |      18 |   431230 |   349652 |     9980     59 |        0 |        0
1003.03/1003.33	c 1002s |      18 |   431904 |   350252 |     9980     59 |        0 |        0
1005.13/1005.41	c 1005s |      18 |   432553 |   350852 |     9980     59 |        0 |        0
1007.42/1007.75	c 1007s |      18 |   433243 |   351452 |     9980     59 |        0 |        0
1009.84/1010.13	c 1009s |      18 |   433881 |   352052 |     9980     59 |        0 |        0
1011.94/1012.23	c 1011s |      18 |   434446 |   352552 |     9980     59 |        0 |        0
1013.93/1014.24	c 1013s |      18 |   435014 |   353052 |     9980     59 |        0 |        0
1016.03/1016.33	c 1015s |      18 |   435573 |   353552 |     9980     59 |        0 |        0
1018.12/1018.40	c 1018s |      18 |   436132 |   354052 |     9980     59 |        0 |        0
1020.32/1020.64	c 1020s |      18 |   436702 |   354552 |     9980     59 |        0 |        0
1022.42/1022.77	c 1022s |      18 |   437267 |   355052 |     9980     59 |        0 |        0
1024.72/1025.01	c 1024s |      18 |   437834 |   355552 |     9980     59 |        0 |        0
1027.82/1028.11	c 1027s |      18 |   438408 |   356052 |     9980     60 |        0 |        0
1029.92/1030.23	c 1029s |      18 |   438938 |   356552 |     9980     60 |        0 |        0
1032.22/1032.54	c 1032s |      18 |   439501 |   357052 |     9980     60 |        0 |        0
1034.21/1034.57	c 1034s |      18 |   439940 |   357452 |     9980     60 |        0 |        0
1036.51/1036.87	c 1036s |      18 |   440406 |   357852 |     9980     60 |        0 |        0
1038.61/1038.99	c 1038s |      18 |   440937 |   358352 |     9980     60 |        0 |        0
1040.71/1041.09	c 1040s |      18 |   441490 |   358852 |     9980     60 |        0 |        0
1042.81/1043.16	c 1042s |      18 |   442036 |   359352 |     9980     60 |        0 |        0
1045.02/1045.34	c 1044s |      18 |   442592 |   359852 |     9980     60 |        0 |        0
1047.41/1047.76	c 1047s |      18 |   443177 |   360352 |     9980     60 |        0 |        0
1049.41/1049.78	c 1049s |      18 |   443644 |   360752 |     9980     60 |        0 |        0
1051.90/1052.25	c 1051s |      18 |   444199 |   361252 |     9980     60 |        0 |        0
1054.10/1054.48	c 1054s |      18 |   444646 |   361652 |     9980     60 |        0 |        0
1056.30/1056.60	c 1056s |      18 |   445090 |   362052 |     9980     60 |        0 |        0
1058.59/1058.92	c 1058s |      18 |   445516 |   362452 |     9980     60 |        0 |        0
1060.70/1061.08	c 1060s |      18 |   445966 |   362852 |     9980     60 |        0 |        0
1064.00/1064.34	c 1063s |      18 |   446392 |   363252 |     9980     61 |        0 |        0
1066.10/1066.41	c 1066s |      18 |   446833 |   363652 |     9980     61 |        0 |        0
1068.40/1068.74	c 1068s |      18 |   447373 |   364152 |     9980     61 |        0 |        0
1070.79/1071.15	c 1070s |      18 |   447951 |   364652 |     9980     61 |        0 |        0
1073.19/1073.53	c 1073s |      18 |   448518 |   365152 |     9980     61 |        0 |        0
1075.49/1075.88	c 1075s |      18 |   449101 |   365652 |     9980     61 |        0 |        0
1077.90/1078.29	c 1077s |      18 |   449666 |   366152 |     9980     61 |        0 |        0
1080.10/1080.47	c 1080s |      18 |   450097 |   366552 |     9980     61 |        0 |        0
1082.59/1082.92	c 1082s |      18 |   450689 |   367052 |     9980     61 |        0 |        0
1084.99/1085.35	c 1085s |      18 |   451252 |   367552 |     9980     61 |        0 |        0
1086.99/1087.39	c 1087s |      18 |   451693 |   367952 |     9980     61 |        0 |        0
1089.18/1089.56	c 1089s |      18 |   452138 |   368352 |     9980     61 |        0 |        0
1091.28/1091.67	c 1091s |      18 |   452576 |   368752 |     9980     61 |        0 |        0
1093.48/1093.85	c 1093s |      18 |   453036 |   369152 |     9980     61 |        0 |        0
1096.08/1096.49	c 1096s |      18 |   453477 |   369552 |     9980     61 |        0 |        0
1098.18/1098.56	c 1098s |      18 |   453795 |   369852 |     9980     61 |        0 |        0
1100.18/1100.58	c 1100s |      18 |   454114 |   370152 |     9980     61 |        0 |        0
1102.97/1103.30	c 1102s |      18 |   454446 |   370452 |     9980     62 |        0 |        0
1104.98/1105.37	c 1105s |      18 |   454777 |   370752 |     9980     62 |        0 |        0
1107.38/1107.72	c 1107s |      18 |   455334 |   371252 |     9980     62 |        0 |        0
1109.67/1110.04	c 1109s |      18 |   455870 |   371752 |     9980     62 |        0 |        0
1111.77/1112.14	c 1111s |      18 |   456311 |   372152 |     9980     62 |        0 |        0
1113.97/1114.32	c 1113s |      18 |   456871 |   372652 |     9980     62 |        0 |        0
1115.97/1116.37	c 1116s |      18 |   457440 |   373152 |     9980     62 |        0 |        0
1118.27/1118.65	c 1118s |      18 |   457994 |   373652 |     9980     62 |        0 |        0
1120.67/1121.04	c 1120s |      18 |   458540 |   374152 |     9980     62 |        0 |        0
1122.97/1123.37	c 1123s |      18 |   459092 |   374652 |     9980     62 |        0 |        0
1125.46/1125.89	c 1125s |      18 |   459659 |   375152 |     9980     62 |        0 |        0
1127.56/1127.91	c 1127s |      18 |   460133 |   375552 |     9980     62 |        0 |        0
1129.85/1130.20	c 1129s |      18 |   460598 |   375952 |     9980     62 |        0 |        0
1132.16/1132.53	c 1132s |      18 |   461035 |   376352 |     9980     62 |        0 |        0
1134.46/1134.82	c 1134s |      18 |   461480 |   376752 |     9980     62 |        0 |        0
1136.76/1137.13	c 1136s |      18 |   461925 |   377152 |     9980     62 |        0 |        0
1139.05/1139.45	c 1139s |      18 |   462371 |   377552 |     9980     62 |        0 |        0
1141.45/1141.85	c 1141s |      18 |   462702 |   377852 |     9980     63 |        0 |        0
1143.55/1143.93	c 1143s |      18 |   463145 |   378252 |     9980     63 |        0 |        0
1145.55/1145.99	c 1145s |      18 |   463592 |   378652 |     9980     63 |        0 |        0
1147.75/1148.17	c 1147s |      18 |   464165 |   379152 |     9980     63 |        0 |        0
1150.25/1150.60	c 1150s |      18 |   464844 |   379752 |     9980     63 |        0 |        0
1152.55/1152.94	c 1152s |      18 |   465415 |   380252 |     9980     63 |        0 |        0
1154.95/1155.36	c 1155s |      18 |   465991 |   380752 |     9980     63 |        0 |        0
1157.45/1157.85	c 1157s |      18 |   466539 |   381252 |     9980     63 |        0 |        0
1159.54/1159.99	c 1159s |      18 |   466977 |   381652 |     9980     63 |        0 |        0
1161.64/1162.01	c 1161s |      18 |   467433 |   382052 |     9980     63 |        0 |        0
1163.75/1164.12	c 1163s |      18 |   467900 |   382452 |     9980     63 |        0 |        0
1165.84/1166.22	c 1165s |      18 |   468349 |   382852 |     9980     63 |        0 |        0
1167.94/1168.37	c 1168s |      18 |   468797 |   383252 |     9980     63 |        0 |        0
1170.34/1170.72	c 1170s |      18 |   469237 |   383652 |     9980     63 |        0 |        0
1172.44/1172.85	c 1172s |      18 |   469703 |   384052 |     9980     63 |        0 |        0
1175.33/1175.72	c 1175s |      18 |   470631 |   384852 |     9980     64 |        0 |        0
1177.53/1177.91	c 1177s |      18 |   471552 |   385652 |     9980     64 |        0 |        0
1179.63/1180.09	c 1179s |      18 |   472330 |   386352 |     9980     64 |        0 |        0
1181.72/1182.17	c 1181s |      18 |   473127 |   387052 |     9980     64 |        0 |        0
1183.92/1184.33	c 1183s |      18 |   473900 |   387752 |     9980     64 |        0 |        0
1186.12/1186.55	c 1186s |      18 |   474669 |   388452 |     9980     64 |        0 |        0
1188.42/1188.83	c 1188s |      18 |   475260 |   388952 |     9980     64 |        0 |        0
1190.52/1190.95	c 1190s |      18 |   475960 |   389552 |     9980     64 |        0 |        0
1192.72/1193.13	c 1192s |      18 |   476632 |   390152 |     9980     64 |        0 |        0
1194.92/1195.32	c 1194s |      18 |   477303 |   390752 |     9980     64 |        0 |        0
1197.12/1197.57	c 1197s |      18 |   477995 |   391352 |     9980     64 |        0 |        0
1199.41/1199.82	c 1199s |      18 |   478681 |   391952 |     9980     64 |        0 |        0
1201.51/1201.94	c 1201s |      18 |   479117 |   392352 |     9980     65 |        0 |        0
1203.81/1204.27	c 1203s |      18 |   479866 |   393052 |     9980     65 |        0 |        0
1205.91/1206.35	c 1206s |      18 |   480515 |   393652 |     9980     65 |        0 |        0
1208.11/1208.59	c 1208s |      18 |   481164 |   394252 |     9980     65 |        0 |        0
1210.40/1210.86	c 1210s |      18 |   481811 |   394852 |     9980     65 |        0 |        0
1212.51/1212.90	c 1212s |      18 |   482345 |   395352 |     9980     65 |        0 |        0
1214.81/1215.23	c 1214s |      18 |   483006 |   395952 |     9980     65 |        0 |        0
1217.11/1217.51	c 1217s |      18 |   483662 |   396552 |     9980     65 |        0 |        0
1219.10/1219.54	c 1219s |      18 |   484235 |   397052 |     9980     65 |        0 |        0
1221.30/1221.75	c 1221s |      18 |   484880 |   397652 |     9980     65 |        0 |        0
1223.61/1224.01	c 1223s |      18 |   485539 |   398252 |     9980     65 |        0 |        0
1225.80/1226.22	c 1225s |      18 |   486201 |   398852 |     9980     65 |        0 |        0
1228.00/1228.48	c 1228s |      18 |   486739 |   399352 |     9980     66 |        0 |        0
1230.60/1231.09	c 1230s |      18 |   487163 |   399752 |     9980     66 |        0 |        0
1233.00/1233.46	c 1233s |      18 |   487797 |   400352 |     9980     66 |        0 |        0
1235.40/1235.80	c 1235s |      18 |   488468 |   400952 |     9980     66 |        0 |        0
1237.50/1237.92	c 1237s |      18 |   489102 |   401552 |     9980     66 |        0 |        0
1239.60/1240.05	c 1239s |      18 |   489733 |   402152 |     9980     66 |        0 |        0
1241.99/1242.44	c 1242s |      18 |   490270 |   402652 |     9980     66 |        0 |        0
1244.19/1244.69	c 1244s |      18 |   490794 |   403152 |     9980     66 |        0 |        0
1246.39/1246.87	c 1246s |      18 |   491321 |   403652 |     9980     66 |        0 |        0
1248.58/1249.00	c 1248s |      18 |   491847 |   404152 |     9980     66 |        0 |        0
1250.78/1251.22	c 1250s |      18 |   492397 |   404652 |     9980     66 |        0 |        0
1252.88/1253.38	c 1253s |      18 |   492936 |   405152 |     9980     66 |        0 |        0
1255.00/1255.40	c 1255s |      18 |   493461 |   405652 |     9980     66 |        0 |        0
1256.99/1257.41	c 1257s |      18 |   493943 |   406052 |     9980     66 |        0 |        0
1259.68/1260.15	c 1259s |      18 |   494504 |   406552 |     9980     67 |        0 |        0
1261.98/1262.43	c 1262s |      18 |   495196 |   407152 |     9980     67 |        0 |        0
1264.18/1264.61	c 1264s |      18 |   495865 |   407752 |     9980     67 |        0 |        0
1266.48/1266.92	c 1266s |      18 |   496519 |   408352 |     9980     67 |        0 |        0
1268.47/1268.93	c 1268s |      18 |   497073 |   408852 |     9980     67 |        0 |        0
1270.47/1270.96	c 1270s |      18 |   497625 |   409352 |     9980     67 |        0 |        0
1272.87/1273.35	c 1273s |      18 |   498293 |   409952 |     9980     67 |        0 |        0
1275.18/1275.67	c 1275s |      18 |   498904 |   410452 |     9980     67 |        0 |        0
1277.27/1277.77	c 1277s |      18 |   499481 |   410952 |     9980     67 |        0 |        0
1279.57/1280.07	c 1279s |      18 |   500055 |   411452 |     9980     67 |        0 |        0
1281.87/1282.36	c 1282s |      18 |   500621 |   411952 |     9980     67 |        0 |        0
1284.26/1284.73	c 1284s |      18 |   501191 |   412452 |     9980     67 |        0 |        0
1286.67/1287.16	c 1286s |      18 |   501737 |   412952 |     9980     67 |        0 |        0
1288.97/1289.49	c 1289s |      18 |   502280 |   413452 |     9980     67 |        0 |        0
1291.46/1291.98	c 1291s |      18 |   502717 |   413852 |     9980     68 |        0 |        0
1293.86/1294.32	c 1293s |      18 |   503185 |   414252 |     9980     68 |        0 |        0
1296.16/1296.65	c 1296s |      18 |   503888 |   414852 |     9980     68 |        0 |        0
1298.46/1298.90	c 1298s |      18 |   504482 |   415352 |     9980     68 |        0 |        0
1300.46/1300.97	c 1300s |      18 |   505036 |   415852 |     9980     68 |        0 |        0
1302.66/1303.14	c 1302s |      18 |   505608 |   416352 |     9980     68 |        0 |        0
1304.96/1305.42	c 1305s |      18 |   506280 |   416952 |     9980     68 |        0 |        0
1306.96/1307.44	c 1307s |      18 |   506840 |   417452 |     9980     68 |        0 |        0
1309.16/1309.62	c 1309s |      18 |   507428 |   417952 |     9980     68 |        0 |        0
1311.36/1311.82	c 1311s |      18 |   507998 |   418452 |     9980     68 |        0 |        0
1313.76/1314.27	c 1313s |      18 |   508557 |   418952 |     9980     68 |        0 |        0
1315.85/1316.30	c 1315s |      18 |   508991 |   419352 |     9980     68 |        0 |        0
1317.86/1318.36	c 1318s |      18 |   509458 |   419752 |     9980     68 |        0 |        0
1320.15/1320.60	c 1320s |      18 |   510016 |   420252 |     9980     68 |        0 |        0
1322.35/1322.87	c 1322s |      18 |   510614 |   420752 |     9980     68 |        0 |        0
1324.75/1325.25	c 1324s |      18 |   510951 |   421052 |     9980     69 |        0 |        0
1327.15/1327.61	c 1327s |      18 |   511602 |   421652 |     9980     69 |        0 |        0
1329.24/1329.72	c 1329s |      18 |   512153 |   422152 |     9980     69 |        0 |        0
1331.44/1331.96	c 1331s |      18 |   512731 |   422652 |     9980     69 |        0 |        0
1333.55/1334.09	c 1333s |      18 |   513297 |   423152 |     9980     69 |        0 |        0
1335.85/1336.31	c 1335s |      18 |   513854 |   423652 |     9980     69 |        0 |        0
1338.24/1338.77	c 1338s |      18 |   514532 |   424252 |     9980     69 |        0 |        0
1340.75/1341.26	c 1340s |      18 |   515096 |   424752 |     9980     69 |        0 |        0
1342.94/1343.47	c 1343s |      18 |   515621 |   425252 |     9980     69 |        0 |        0
1345.23/1345.70	c 1345s |      18 |   516171 |   425752 |     9980     69 |        0 |        0
1347.54/1348.06	c 1347s |      18 |   516736 |   426252 |     9980     69 |        0 |        0
1349.94/1350.46	c 1350s |      18 |   517390 |   426852 |     9980     69 |        0 |        0
1352.23/1352.73	c 1352s |      18 |   517936 |   427352 |     9980     69 |        0 |        0
1354.53/1355.08	c 1354s |      18 |   518503 |   427852 |     9980     69 |        0 |        0
1357.33/1357.89	c 1357s |      18 |   518933 |   428252 |     9980     70 |        0 |        0
1359.73/1360.29	c 1359s |      18 |   519483 |   428752 |     9980     70 |        0 |        0
1361.94/1362.44	c 1362s |      18 |   519938 |   429152 |     9980     70 |        0 |        0
1364.23/1364.72	c 1364s |      18 |   520500 |   429652 |     9980     70 |        0 |        0
1366.33/1366.89	c 1366s |      18 |   521085 |   430152 |     9980     70 |        0 |        0
1368.53/1369.01	c 1368s |      18 |   521633 |   430652 |     9980     70 |        0 |        0
1370.62/1371.16	c 1370s |      18 |   522202 |   431152 |     9980     70 |        0 |        0
1373.02/1373.56	c 1373s |      18 |   522759 |   431652 |     9980     70 |        0 |        0
1375.03/1375.59	c 1375s |      18 |   523429 |   432252 |     9980     70 |        0 |        0
1377.33/1377.90	c 1377s |      18 |   524109 |   432852 |     9980     70 |        0 |        0
1379.73/1380.21	c 1379s |      18 |   524668 |   433352 |     9980     70 |        0 |        0
1381.72/1382.22	c 1381s |      18 |   525251 |   433852 |     9980     70 |        0 |        0
1383.73/1384.25	c 1383s |      18 |   525808 |   434352 |     9980     70 |        0 |        0
1386.03/1386.52	c 1386s |      18 |   526387 |   434852 |     9980     70 |        0 |        0
1388.32/1388.88	c 1388s |      18 |   526944 |   435352 |     9980     70 |        0 |        0
1390.82/1391.31	c 1390s |      18 |   527264 |   435652 |     9980     71 |        0 |        0
1393.53/1394.02	c 1393s |      18 |   527838 |   436152 |     9980     71 |        0 |        0
1395.92/1396.43	c 1396s |      18 |   528502 |   436752 |     9980     71 |        0 |        0
1397.93/1398.49	c 1398s |      18 |   529044 |   437252 |     9980     71 |        0 |        0
1400.13/1400.68	c 1400s |      18 |   529584 |   437752 |     9980     71 |        0 |        0
1402.42/1402.98	c 1402s |      18 |   530136 |   438252 |     9980     71 |        0 |        0
1404.72/1405.22	c 1404s |      18 |   530673 |   438752 |     9980     71 |        0 |        0
1406.82/1407.37	c 1407s |      18 |   531343 |   439352 |     9980     71 |        0 |        0
1408.83/1409.38	c 1409s |      18 |   531925 |   439852 |     9980     71 |        0 |        0
1410.82/1411.39	c 1411s |      18 |   532383 |   440252 |     9980     71 |        0 |        0
1413.02/1413.59	c 1413s |      18 |   532936 |   440752 |     9980     71 |        0 |        0
1415.32/1415.85	c 1415s |      18 |   533491 |   441252 |    10978     71 |        0 |        0
1417.72/1418.26	c 1417s |      18 |   534045 |   441752 |    10978     71 |        0 |        0
1420.02/1420.54	c 1420s |      18 |   534603 |   442252 |    10978     71 |        0 |        0
1422.22/1422.71	c 1422s |      18 |   535040 |   442652 |    10978     71 |        0 |        0
1424.33/1424.82	c 1424s |      18 |   535475 |   443052 |    10978     71 |        0 |        0
1426.42/1426.97	c 1426s |      18 |   535911 |   443452 |    10978     71 |        0 |        0
1428.62/1429.19	c 1428s |      18 |   536234 |   443752 |    10978     72 |        0 |        0
1430.83/1431.39	c 1431s |      18 |   536660 |   444152 |    10978     72 |        0 |        0
1432.52/1433.06	c 1432s |      19 |   537020 |   444482 |    10978     72 |        0 |        0
1434.72/1435.20	c 1434s |      19 |   538383 |   445082 |    10978     72 |        0 |        0
1436.72/1437.26	c 1436s |      19 |   539183 |   445782 |    10978     72 |        0 |        0
1438.72/1439.26	c 1438s |      19 |   540044 |   446582 |    10978     72 |        0 |        0
1440.72/1441.30	c 1440s |      19 |   540924 |   447382 |    10978     72 |        0 |        0
1442.81/1443.38	c 1443s |      19 |   541598 |   447982 |    10978     73 |        0 |        0
1444.92/1445.44	c 1445s |      19 |   542586 |   448882 |    10978     73 |        0 |        0
1447.02/1447.58	c 1447s |      19 |   543710 |   449882 |    10978     73 |        0 |        0
1449.12/1449.61	c 1449s |      19 |   544623 |   450682 |    10978     73 |        0 |        0
1451.22/1451.79	c 1451s |      19 |   545405 |   451382 |    10978     73 |        0 |        0
1453.31/1453.87	c 1453s |      19 |   546159 |   452082 |    10978     73 |        0 |        0
1455.61/1456.18	c 1455s |      19 |   547028 |   452882 |    10978     73 |        0 |        0
1458.42/1458.91	c 1458s |      19 |   547785 |   453582 |    10978     74 |        0 |        0
1460.62/1461.11	c 1460s |      19 |   548433 |   454182 |    10978     74 |        0 |        0
1462.72/1463.26	c 1462s |      19 |   549661 |   455282 |    10978     74 |        0 |        0
1464.81/1465.38	c 1465s |      19 |   551017 |   456482 |    10978     74 |        0 |        0
1466.91/1467.46	c 1467s |      19 |   551995 |   457382 |    10978     74 |        0 |        0
1469.11/1469.62	c 1469s |      19 |   553104 |   458382 |    10978     74 |        0 |        0
1471.21/1471.71	c 1471s |      19 |   553958 |   459182 |    10978     74 |        0 |        0
1473.21/1473.74	c 1473s |      19 |   554739 |   459882 |    10978     75 |        0 |        0
1475.21/1475.77	c 1475s |      19 |   556083 |   461082 |    10978     75 |        0 |        0
1477.31/1477.89	c 1477s |      19 |   558433 |   462182 |    10978     75 |        0 |        0
1479.41/1479.90	c 1479s |      19 |   560514 |   463982 |    10978     75 |        0 |        0
1481.41/1481.91	c 1481s |      19 |   562259 |   465482 |    10978     75 |        0 |        0
1483.51/1484.03	c 1483s |      19 |   563877 |   466882 |    10978     75 |        0 |        0
1485.61/1486.17	c 1485s |      19 |   565277 |   468082 |    10978     75 |        0 |        0
1488.01/1488.58	c 1488s |      19 |   566674 |   469282 |    10978     76 |        0 |        0
1490.21/1490.76	c 1490s |      19 |   568012 |   470482 |    10978     76 |        0 |        0
1492.30/1492.87	c 1492s |      19 |   569125 |   471482 |    10978     76 |        0 |        0
1494.40/1494.98	c 1494s |      19 |   570121 |   472382 |    10978     76 |        0 |        0
1496.60/1497.14	c 1496s |      19 |   571257 |   473382 |    10978     76 |        0 |        0
1498.81/1499.33	c 1498s |      19 |   572270 |   474282 |    10978     76 |        0 |        0
1500.81/1501.33	c 1500s |      19 |   573169 |   475082 |    10978     76 |        0 |        0
1502.91/1503.48	c 1503s |      19 |   574050 |   475882 |    10978     76 |        0 |        0
1505.01/1505.54	c 1505s |      19 |   574925 |   476682 |    10978     76 |        0 |        0
1507.50/1508.04	c 1507s |      19 |   575459 |   477182 |    10978     77 |        0 |        0
1509.70/1510.23	c 1509s |      19 |   576414 |   478082 |    10978     77 |        0 |        0
1511.70/1512.28	c 1511s |      19 |   577285 |   478882 |    10978     77 |        0 |        0
1513.80/1514.35	c 1514s |      19 |   578149 |   479682 |    10978     77 |        0 |        0
1516.00/1516.55	c 1516s |      19 |   579004 |   480482 |    10978     77 |        0 |        0
1518.20/1518.79	c 1518s |      19 |   579880 |   481282 |    10978     77 |        0 |        0
1520.40/1520.92	c 1520s |      19 |   580767 |   482082 |    10978     77 |        0 |        0
1522.50/1523.02	c 1522s |      19 |   581552 |   482782 |    10978     77 |        0 |        0
1524.50/1525.03	c 1524s |      19 |   582292 |   483482 |    10978     77 |        0 |        0
1526.61/1527.17	c 1526s |      19 |   583057 |   484182 |    10978     77 |        0 |        0
1528.91/1529.43	c 1529s |      19 |   583850 |   484882 |    10978     77 |        0 |        0
1531.11/1531.62	c 1531s |      19 |   584305 |   485282 |    10978     78 |        0 |        0
1533.21/1533.78	c 1533s |      19 |   585254 |   486182 |    10978     78 |        0 |        0
1535.31/1535.83	c 1535s |      19 |   586096 |   486982 |    10978     78 |        0 |        0
1537.40/1537.95	c 1537s |      19 |   586966 |   487782 |    10978     78 |        0 |        0
1539.60/1540.18	c 1539s |      19 |   587737 |   488482 |    10978     78 |        0 |        0
1541.70/1542.28	c 1541s |      19 |   588361 |   489082 |    10978     78 |        0 |        0
1543.80/1544.30	c 1543s |      19 |   589137 |   489782 |    10978     78 |        0 |        0
1545.90/1546.42	c 1546s |      19 |   589899 |   490482 |    10978     78 |        0 |        0
1547.90/1548.47	c 1548s |      19 |   590750 |   491182 |    10978     78 |        0 |        0
1550.00/1550.53	c 1550s |      19 |   591663 |   491982 |    10978     78 |        0 |        0
1552.30/1552.83	c 1552s |      19 |   592549 |   492782 |    10978     79 |        0 |        0
1554.60/1555.10	c 1554s |      19 |   593091 |   493282 |    10978     79 |        0 |        0
1556.70/1557.29	c 1556s |      19 |   594199 |   494282 |    10978     79 |        0 |        0
1558.80/1559.33	c 1558s |      19 |   595109 |   495082 |    10978     79 |        0 |        0
1561.00/1561.54	c 1561s |      19 |   596005 |   495882 |    10978     79 |        0 |        0
1563.30/1563.83	c 1563s |      19 |   596883 |   496682 |    10978     79 |        0 |        0
1565.30/1565.84	c 1565s |      19 |   597544 |   497282 |    10978     79 |        0 |        0
1567.40/1567.98	c 1567s |      19 |   598193 |   497882 |    10978     79 |        0 |        0
1569.70/1570.27	c 1569s |      19 |   598958 |   498582 |    10978     79 |        0 |        0
1571.70/1572.27	c 1571s |      19 |   599851 |   499382 |    10978     79 |        0 |        0
1573.80/1574.40	c 1574s |      19 |   600624 |   500082 |    10978     79 |        0 |        0
1575.90/1576.49	c 1576s |      19 |   601165 |   500582 |    10978     80 |        0 |        0
1578.21/1578.71	c 1578s |      19 |   602144 |   501482 |    10978     80 |        0 |        0
1580.40/1580.94	c 1580s |      19 |   602738 |   501982 |    10978     80 |        0 |        0
1582.50/1583.00	c 1582s |      19 |   603640 |   502782 |    10978     80 |        0 |        0
1584.60/1585.19	c 1584s |      19 |   604563 |   503582 |    10978     80 |        0 |        0
1586.80/1587.32	c 1586s |      19 |   605315 |   504282 |    10978     80 |        0 |        0
1588.90/1589.49	c 1589s |      19 |   606100 |   504982 |    10978     80 |        0 |        0
1591.20/1591.73	c 1591s |      19 |   606970 |   505782 |    10978     80 |        0 |        0
1593.29/1593.82	c 1593s |      19 |   607722 |   506482 |    10978     80 |        0 |        0
1595.29/1595.84	c 1595s |      19 |   608386 |   507082 |    10978     80 |        0 |        0
1597.39/1597.99	c 1597s |      19 |   609399 |   507882 |    10978     80 |        0 |        0
1599.49/1600.09	c 1599s |      19 |   610103 |   508482 |    10978     81 |        0 |        0
1601.69/1602.23	c 1601s |      19 |   611352 |   509582 |    10978     81 |        0 |        0
1603.79/1604.35	c 1603s |      19 |   612352 |   510482 |    10978     81 |        0 |        0
1605.79/1606.39	c 1606s |      19 |   613356 |   511382 |    10978     81 |        0 |        0
1607.89/1608.45	c 1608s |      19 |   614251 |   512182 |    10978     81 |        0 |        0
1609.99/1610.52	c 1610s |      19 |   615190 |   512982 |    10978     81 |        0 |        0
1612.09/1612.69	c 1612s |      19 |   616096 |   513782 |    10978     81 |        0 |        0
1614.19/1614.77	c 1614s |      19 |   617020 |   514582 |    10978     81 |        0 |        0
1616.49/1617.05	c 1616s |      19 |   617892 |   515382 |    10978     81 |        0 |        0
1618.59/1619.16	c 1618s |      19 |   618580 |   515982 |    10978     81 |        0 |        0
1620.79/1621.34	c 1620s |      19 |   619117 |   516482 |    10978     82 |        0 |        0
1622.99/1623.51	c 1623s |      19 |   620006 |   517282 |    10978     82 |        0 |        0
1625.09/1625.66	c 1625s |      19 |   620999 |   518182 |    10978     82 |        0 |        0
1627.19/1627.71	c 1627s |      19 |   621902 |   518982 |    10978     82 |        0 |        0
1629.18/1629.75	c 1629s |      19 |   622668 |   519682 |    10978     82 |        0 |        0
1631.18/1631.76	c 1631s |      19 |   623333 |   520282 |    10978     82 |        0 |        0
1633.30/1633.84	c 1633s |      19 |   623990 |   520882 |    10978     82 |        0 |        0
1635.59/1636.10	c 1635s |      19 |   624765 |   521582 |    10978     82 |        0 |        0
1637.79/1638.38	c 1638s |      19 |   625546 |   522282 |    10978     82 |        0 |        0
1640.09/1640.61	c 1640s |      19 |   626305 |   522982 |    10978     82 |        0 |        0
1642.38/1642.97	c 1642s |      19 |   627051 |   523682 |    10978     82 |        0 |        0
1644.48/1645.09	c 1644s |      19 |   627396 |   523982 |    10978     83 |        0 |        0
1646.68/1647.23	c 1646s |      19 |   628018 |   524382 |    10978     83 |        0 |        0
1648.88/1649.40	c 1649s |      19 |   629167 |   525382 |    10978     83 |        0 |        0
1650.89/1651.44	c 1651s |      19 |   630206 |   526282 |    10978     83 |        0 |        0
1653.09/1653.67	c 1653s |      19 |   631190 |   527182 |    10978     83 |        0 |        0
1655.19/1655.78	c 1655s |      19 |   632263 |   528082 |    10978     83 |        0 |        0
1657.39/1657.92	c 1657s |      19 |   633161 |   528882 |    10978     83 |        0 |        0
1659.59/1660.17	c 1659s |      19 |   633933 |   529582 |    10978     83 |        0 |        0
1661.68/1662.22	c 1661s |      19 |   634586 |   530182 |    10978     83 |        0 |        0
1663.78/1664.34	c 1663s |      19 |   635512 |   530982 |    10978     83 |        0 |        0
1666.08/1666.61	c 1666s |      19 |   636291 |   531682 |    10978     84 |        0 |        0
1668.28/1668.80	c 1668s |      19 |   637314 |   532582 |    10978     84 |        0 |        0
1670.28/1670.86	c 1670s |      19 |   638404 |   533482 |    10978     84 |        0 |        0
1672.38/1672.92	c 1672s |      19 |   639335 |   534282 |    10978     84 |        0 |        0
1674.48/1675.06	c 1674s |      19 |   640248 |   535082 |    10978     84 |        0 |        0
1676.68/1677.26	c 1676s |      19 |   641227 |   535882 |    10978     84 |        0 |        0
1678.88/1679.41	c 1679s |      19 |   642145 |   536682 |    10978     84 |        0 |        0
1680.88/1681.42	c 1681s |      19 |   642974 |   537382 |    10978     84 |        0 |        0
1683.08/1683.62	c 1683s |      19 |   643770 |   538082 |    10978     84 |        0 |        0
1685.18/1685.70	c 1685s |      19 |   644439 |   538682 |    10978     84 |        0 |        0
1687.19/1687.70	c 1687s |      19 |   644987 |   539182 |    10978     84 |        0 |        0
1689.48/1690.05	c 1689s |      19 |   645438 |   539582 |    10978     85 |        0 |        0
1691.87/1692.42	c 1692s |      19 |   646352 |   540382 |    10978     85 |        0 |        0
1693.87/1694.48	c 1694s |      19 |   647012 |   540982 |    10978     85 |        0 |        0
1695.88/1696.50	c 1696s |      19 |   648204 |   541882 |    10978     85 |        0 |        0
1698.08/1698.62	c 1698s |      19 |   649150 |   542682 |    10978     85 |        0 |        0
1700.07/1700.65	c 1700s |      19 |   650139 |   543482 |    10978     85 |        0 |        0
1702.27/1702.81	c 1702s |      19 |   650946 |   544182 |    10978     85 |        0 |        0
1704.47/1705.01	c 1704s |      19 |   651782 |   544882 |    10978     85 |        0 |        0
1706.58/1707.17	c 1706s |      19 |   652596 |   545582 |    10978     85 |        0 |        0
1708.88/1709.41	c 1709s |      19 |   653403 |   546282 |    10978     85 |        0 |        0
1711.08/1711.63	c 1711s |      19 |   654204 |   546982 |    10978     85 |        0 |        0
1713.08/1713.67	c 1713s |      19 |   654652 |   547382 |    10978     86 |        0 |        0
1715.28/1715.83	c 1715s |      19 |   655350 |   547982 |    10978     86 |        0 |        0
1717.28/1717.85	c 1717s |      19 |   656289 |   548782 |    10978     86 |        0 |        0
1719.67/1720.22	c 1719s |      19 |   657322 |   549582 |    10978     86 |        0 |        0
1721.77/1722.32	c 1721s |      19 |   658090 |   550182 |    10978     86 |        0 |        0
1724.07/1724.65	c 1724s |      19 |   658958 |   550882 |    10978     86 |        0 |        0
1726.17/1726.72	c 1726s |      19 |   659646 |   551482 |    10978     86 |        0 |        0
1728.37/1728.96	c 1728s |      19 |   660479 |   552082 |    10978     86 |        0 |        0
1730.68/1731.22	c 1730s |      19 |   661506 |   552882 |    10978     86 |        0 |        0
1732.87/1733.41	c 1733s |      19 |   662305 |   553582 |    10978     86 |        0 |        0
1734.97/1735.51	c 1735s |      19 |   663107 |   554282 |    10978     86 |        0 |        0
1737.17/1737.78	c 1737s |      19 |   663951 |   554982 |    10978     86 |        0 |        0
1739.17/1739.80	c 1739s |      19 |   664414 |   555382 |    10978     87 |        0 |        0
1741.37/1741.97	c 1741s |      19 |   665431 |   556282 |    10978     87 |        0 |        0
1743.47/1744.01	c 1743s |      19 |   666342 |   557082 |    10978     87 |        0 |        0
1745.57/1746.16	c 1745s |      19 |   667278 |   557882 |    10978     87 |        0 |        0
1747.58/1748.19	c 1747s |      19 |   668165 |   558682 |    10978     87 |        0 |        0
1749.97/1750.52	c 1750s |      19 |   669055 |   559482 |    10978     87 |        0 |        0
1752.17/1752.74	c 1752s |      19 |   670046 |   560382 |    10978     87 |        0 |        0
1754.37/1754.97	c 1754s |      19 |   670926 |   561182 |    10978     87 |        0 |        0
1756.67/1757.26	c 1756s |      19 |   671835 |   561982 |    10978     87 |        0 |        0
1758.77/1759.39	c 1759s |      19 |   672629 |   562682 |    10978     87 |        0 |        0
1761.17/1761.73	c 1761s |      19 |   673192 |   563182 |    10978     88 |        0 |        0
1763.17/1763.79	c 1763s |      19 |   674069 |   563982 |    10978     88 |        0 |        0
1765.27/1765.87	c 1765s |      19 |   674960 |   564782 |    10978     88 |        0 |        0
1767.37/1768.00	c 1767s |      19 |   675759 |   565482 |    10978     88 |        0 |        0
1769.76/1770.31	c 1769s |      19 |   676508 |   566182 |    10978     88 |        0 |        0
1771.77/1772.40	c 1772s |      19 |   677238 |   566782 |    10978     88 |        0 |        0
1773.97/1774.51	c 1774s |      19 |   678099 |   567482 |    10978     88 |        0 |        0
1775.97/1776.57	c 1776s |      19 |   678753 |   568082 |    10978     88 |        0 |        0
1777.97/1778.59	c 1778s |      19 |   679484 |   568682 |    10978     88 |        0 |        0
1780.07/1780.67	c 1780s |      19 |   680195 |   569282 |    10978     88 |        0 |        0
1782.37/1782.95	c 1782s |      19 |   680943 |   569882 |    10978     88 |        0 |        0
1784.67/1785.28	c 1784s |      19 |   681661 |   570482 |    10978     88 |        0 |        0
1786.86/1787.44	c 1787s |      19 |   682004 |   570782 |    10978     89 |        0 |        0
1788.96/1789.55	c 1789s |      19 |   682794 |   571482 |    10978     89 |        0 |        0
1791.16/1791.79	c 1791s |      19 |   683709 |   572282 |    10978     89 |        0 |        0
1793.26/1793.88	c 1793s |      19 |   684548 |   572982 |    10978     89 |        0 |        0
1795.47/1796.01	c 1795s |      19 |   685345 |   573682 |    10978     89 |        0 |        0
1797.77/1798.31	c 1797s |      19 |   686183 |   574382 |    10978     89 |        0 |        0
1799.76/1800.32	c 1799s |      19 |   686920 |   574982 |    10978     89 |        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-4093327-1466077451/watcher-4093327-1466077451 -o /tmp/evaluation-result-4093327-1466077451/solver-4093327-1466077451 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093327-1466077451.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.21 2.13 3/179 17699
/proc/meminfo: memFree=29389300/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=701884 CPUtime=0 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 2615 0 0 0 0 0 0 0 20 0 4 0 9790841 718729216 2465 33554432000 4194304 16246674 140735610535952 140735610535376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17699/statm: 176239 2475 441 2943 0 173133 0
[pid=17699/tid=17700] ppid=17696 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 737603584 2536 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 741797888 2553 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9790841 745992192 2569 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.20 2.21 2.13 3/179 17699
/proc/meminfo: memFree=29389300/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 27259 0 0 0 5 3 0 0 20 0 4 0 9790841 1247350784 27103 33554432000 4194304 16246674 140735610535952 140735610535376 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17699/statm: 304529 27111 605 2943 0 301423 0
[pid=17699/tid=17700] ppid=17696 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1247350784 27117 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1247350784 27124 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9790841 1247350784 27130 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.20051 s]
/proc/loadavg: 2.20 2.21 2.13 3/179 17699
/proc/meminfo: memFree=29389300/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 48314 0 0 0 11 7 0 0 20 0 4 0 9790841 1247350784 48157 33554432000 4194304 16246674 140735610535952 140735610535376 12459121 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17699/statm: 304529 48166 605 2943 0 301423 0
[pid=17699/tid=17700] ppid=17696 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1247350784 48172 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1247350784 48179 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9790841 1247350784 48186 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.505886 s]
/proc/loadavg: 2.20 2.21 2.13 3/179 17699
/proc/meminfo: memFree=29389300/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1306180 CPUtime=0.49 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 93346 0 0 0 36 13 0 0 20 0 4 0 9790841 1337528320 93160 33554432000 4194304 16246674 140735610535952 140735610535264 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17699/statm: 326545 93160 868 2943 0 323439 0
[pid=17699/tid=17700] ppid=17696 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1337528320 93160 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1337528320 93160 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1337528320 93160 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 1306180

[startup+0.700409 s]
/proc/loadavg: 2.20 2.21 2.13 3/179 17699
/proc/meminfo: memFree=29389300/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 95378 0 0 0 55 14 0 0 20 0 4 0 9790841 1338576896 95192 33554432000 4194304 16246674 140735610535952 140735610535264 13191806 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17699/statm: 326801 95192 868 2943 0 323695 0
[pid=17699/tid=17700] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 95192 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 95192 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 95192 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50045 s]
/proc/loadavg: 2.18 2.21 2.13 3/183 17703
/proc/meminfo: memFree=28982276/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1307204 CPUtime=1.48 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 124541 0 0 0 131 17 0 0 20 0 4 0 9790841 1338576896 124355 33554432000 4194304 16246674 140735610535952 140735610517824 5724032 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 326801 124371 868 2943 0 323695 0
[pid=17699/tid=17700] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 124382 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 124391 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 124402 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.10036 s]
/proc/loadavg: 2.18 2.21 2.13 3/183 17703
/proc/meminfo: memFree=28318884/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 267783 0 0 0 273 36 0 0 20 0 4 0 9790841 1338576896 267597 33554432000 4194304 16246674 140735610535952 140735610517824 5721633 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 326801 267597 868 2943 0 323695 0
[pid=17699/tid=17700] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 267597 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 267597 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 267597 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30036 s]
/proc/loadavg: 2.18 2.21 2.13 3/183 17703
/proc/meminfo: memFree=28318596/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 267941 0 0 0 593 36 0 0 20 0 4 0 9790841 1339625472 267755 33554432000 4194304 16246674 140735610535952 140735610517824 5712622 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 327057 267755 869 2943 0 323951 0
[pid=17699/tid=17700] ppid=17696 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1339625472 267755 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1339625472 267755 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1339625472 267755 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.24 2.22 2.13 4/183 17703
/proc/meminfo: memFree=28316916/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 268274 0 0 0 1233 36 0 0 20 0 4 0 9790841 1340674048 268088 33554432000 4194304 16246674 140735610535952 140735610535128 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 327313 268088 875 2943 0 324207 0
[pid=17699/tid=17700] ppid=17696 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1340674048 268088 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1340674048 268088 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1340674048 268088 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5003 s]
/proc/loadavg: 2.20 2.21 2.13 4/183 17703
/proc/meminfo: memFree=28316432/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 268496 0 0 0 2513 36 0 0 20 0 4 0 9790841 1341722624 268310 33554432000 4194304 16246674 140735610535952 140735610535128 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 327569 268310 876 2943 0 324463 0
[pid=17699/tid=17700] ppid=17696 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1341722624 268310 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1341722624 268310 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1341722624 268310 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1003 s]
/proc/loadavg: 2.26 2.22 2.14 3/183 17703
/proc/meminfo: memFree=28305056/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1318468 CPUtime=51.08 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 270742 0 0 0 5069 39 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 140735610535128 5721633 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 329617 270556 876 2943 0 326511 0
[pid=17699/tid=17700] ppid=17696 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.24 2.23 2.14 3/183 17704
/proc/meminfo: memFree=28303600/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1318468 CPUtime=102.27 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 270742 0 0 0 10188 39 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 140735610517824 5672188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 329617 270556 876 2943 0 326511 0
[pid=17699/tid=17700] ppid=17696 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1318468


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

/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1335876

[startup+1302.3 s]
/proc/loadavg: 2.25 2.32 2.25 3/183 17757
/proc/meminfo: memFree=28274860/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1335876 CPUtime=1301.86 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275479 0 0 0 130087 99 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610535128 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 333969 275165 877 2943 0 330863 0
[pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.35 2.33 2.26 3/183 17758
/proc/meminfo: memFree=28274392/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1335876 CPUtime=1361.84 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275512 0 0 0 136079 105 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610535128 6023713 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 333969 275165 877 2943 0 330863 0
[pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.22 2.30 2.26 4/183 17759
/proc/meminfo: memFree=28274776/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1335876 CPUtime=1421.82 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275523 0 0 0 142072 110 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610535128 5672188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 333969 275165 877 2943 0 330863 0
[pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.31 2.32 2.26 3/183 17760
/proc/meminfo: memFree=28274800/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1335876 CPUtime=1481.81 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275523 0 0 0 148068 113 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610517824 13950199 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 333969 275165 877 2943 0 330863 0
[pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1335876

[startup+1542.3 s]
/proc/loadavg: 2.33 2.32 2.27 4/183 17762
/proc/meminfo: memFree=28274928/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1335876 CPUtime=1541.8 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275523 0 0 0 154065 115 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610518944 5823919 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 333969 275165 877 2943 0 330863 0
[pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.36 2.32 2.27 4/184 17766
/proc/meminfo: memFree=28274648/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1335876 CPUtime=1601.79 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275523 0 0 0 160062 117 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610535048 6011738 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 333969 275165 877 2943 0 330863 0
[pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/183 17767
/proc/meminfo: memFree=28274540/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1335876 CPUtime=1661.79 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275523 0 0 0 166059 120 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610535128 5546116 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 333969 275165 877 2943 0 330863 0
[pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.22 2.28 2.26 3/183 17768
/proc/meminfo: memFree=28273424/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1336900 CPUtime=1721.77 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275779 0 0 0 172055 122 0 0 20 0 4 0 9790841 1368985600 275421 33554432000 4194304 16246674 140735610535952 140735610535128 13950230 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 334225 275421 877 2943 0 331119 0
[pid=17699/tid=17700] ppid=17696 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1368985600 275421 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1368985600 275421 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1368985600 275421 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1336900

[startup+1782.31 s]
/proc/loadavg: 2.25 2.27 2.26 4/183 17769
/proc/meminfo: memFree=28270956/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1339972 CPUtime=1781.77 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 276354 0 0 0 178052 125 0 0 20 0 4 0 9790841 1372131328 275996 33554432000 4194304 16246674 140735610535952 140735610535128 5522977 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 334993 275996 877 2943 0 331887 0
[pid=17699/tid=17700] ppid=17696 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1372131328 275996 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1372131328 275996 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1372131328 275996 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1339972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.26 2.27 2.26 3/183 17818
/proc/meminfo: memFree=28275428/32872528 swapFree=1402008/1579836
[pid=17699] ppid=17696 vsize=1339972 CPUtime=1800.06 cores=0,2,4,6
/proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 276547 0 0 0 179879 127 0 0 20 0 4 0 9790841 1372131328 276189 33554432000 4194304 16246674 140735610535952 140735610517824 5721677 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 334993 276189 877 2943 0 331887 0
[pid=17699/tid=17700] ppid=17696 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1372131328 276189 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17699/tid=17701] ppid=17696 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1372131328 276189 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17699/tid=17702] ppid=17696 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1372131328 276189 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1339972

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 17699 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.8
CPU system time (s): 1.27381
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1339972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.27381
maximum resident set size= 1104756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276547
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= 446
involuntary context switches= 2518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6333 second user time and 6.88495 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-16 13:44:11
IDJOB=4093327
IDBENCH=78664
IDSOLVER=2553
FILE ID=node139/4093327-1466077451
RUNJOBID= node139-1466075487-16983
PBS_JOBID= 19904001
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-66-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-4093327-1466077451/watcher-4093327-1466077451 -o /tmp/evaluation-result-4093327-1466077451/solver-4093327-1466077451 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093327-1466077451.wbo

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

MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148
RANDOM SEED=1612814537

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        29389564 kB
Buffers:           21212 kB
Cached:           105448 kB
SwapCached:          960 kB
Active:          1150108 kB
Inactive:          51612 kB
Active(anon):    1076048 kB
Inactive(anon):     1240 kB
Active(file):      74060 kB
Inactive(file):    50372 kB
Unevictable:     1579836 kB
Mlocked:         1402008 kB
SwapTotal:      67108856 kB
SwapFree:       67100120 kB
Dirty:             33244 kB
Writeback:             0 kB
AnonPages:       2653872 kB
Mapped:            10672 kB
Shmem:                 0 kB
Slab:             567648 kB
SReclaimable:      11656 kB
SUnreclaim:       555992 kB
KernelStack:        1480 kB
PageTables:         9376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2797972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71596 MiB
End job on node139 at 2016-06-16 14:14:12